基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

Modeling the Value-Based Software Process with Object-Petri-Nets

Commercial organizations increasingly need software processes sensitive to busi- ness value, quick to apply, supportive of multi-stakeholder collaboration, and capable of early analysis for subprocess consistency and compatibility. This paper and a companion paper \Applying Value-Based Software Process: An ERP Example" present our experience in ap- plying a lightweight synthesis of a Value-Based Software Quality Achievement (VBSQA) process and an Object-Petri-Net (OPN) based process model to achieve a stakeholder win- win outcome for software quality achievement in an ERP software project in China. We attempt to answer such questions as (1) whether it is possible to model various project stakeholder perspectives using formal process modeling languages in a real-world project? (2) how to make stakeholders synchronize and stabilize their value propositions, activities and commitments as needed. The companion paper presents the VBSQA process and its application to the ERP project; this paper presents the OPN-based process modeling and its application. The application results of OPN process modeling conˉrmed that (1) the OPN- based process model provided project managers with a synchronization and stabilization framework for process activities, success-critical stakeholders and their value propositions; (2) process visualization and simulation tools signiˉcantly increased management visibility and controllability for the success of the software project.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于Grails的综合网络管理系统的设计

介绍了网络环境下对各种网络资源、服务对象以及业务活动进行分析与处理的网络综合管理系统的设计.该系统在基于JavaEE平台的Grails环境下设计,通过工作流建模、业务活动监控、建立统一门户等技术,实现高效的网络监控和管理运行.与传统单一网管系统相比,该系统具有特定网络环境全业务支持、高度定制、使用方便、性能优越等特点.     

天然彩色棉/绢丝混纺原料对织物风格的影响

为了解混纺比对天然彩色棉/绢丝混纺织物风格的影响,制备了系列天然彩色棉(棕)/绢丝混纺机织物,并采用FAST对混纺织物的风格进行测试与分析.研究表明,随着绢丝含量的增加,天然彩色棉/绢丝混纺织物的强伸性能得到明显改善,织物的风格变得相对滑爽,柔软,但造型性有所变差.少量绢丝的加入(＜10%)对织物柔软性的改善明显.     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.     

基于Petri网和逻辑电路的网络安全验证

利用Petri网的库所和变迁来描述网络的状态和行为,用逻辑代数的0和1形象表示库所的状态,将复杂的PN模型转换成简单的逻辑表达式,提出了Petri网与逻辑电路相结合的新型网络数据流验证方式。这种方法具有的形式化步骤与数学模型相支持,是一种新型快捷的网络安全验证方法。     

Petri网融合蚁群算法的柔性装配系统调度

为解决柔性装配系统的调度问题,采用分层时延Petri网模型与蚁群优化算法相结合,将柔性装配系统分解成诸多个装配体,每个装配体再分解成多个柔性装配单元,对装配单元分别建模并用蚁群算法对装配方案遍历优化,最后确定装配系统的时延Petri网模型.该方法融合了Petri网和蚁群算法各自的优点,较好地解决了柔性装配系统中的装配建模和装配任务的分配优化问题.实验证明该研究可行有效.     

基于CPN的工作流异常处理模型设计

工作流异常处理是工作流管理系统中的重要组成部分,但是它的实现既复杂又耗时。为了支持面向服务的工作流,层次化地描述异常处理,提出一种基于CPN的异常处理模型。在形式化描述工作流异常的基础上,采用补偿法作为异常处理方式,详细描述了处理结构中的异常监控、异常分析和补偿案例执行三个子过程。结合茶餐厅的运营模型的仿真实验证明了该模型可有效地分离工作流的异常处理逻辑和运行逻辑,并支持工作流管理系统的实施。     

基于有色Petri网的1553B总线建模及分析

针对1553B总线的实时性评估问题,提出一种基于有色Petri网(Colored Petri Net,CPN)的1553B总线模型;该模型基于分层建模的思想,分别建立了1553B总线的拓扑模型、总线控制器模型、远程终端模型和总线信道模型,有效刻画了1553B总线的拓扑结构和动态行为;仿真实验验证了所建模型的正确性和有效性,该模型可为构建满足特定实时性要求的1553B总线系统提供理论依据。