具有混合约束的离散事件系统的Petri网控制器的研究

针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Petri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的.先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显.针对于约束的不同情况,给出了相应的控制器设计方法,最后通过几个例子对该方法的简单性和有效性进行了验证.     

Jackson设计方法中关于结构冲突的处理

Jackson设计方法是一种面向数据结构的设计方法,本文对此方法的内容给予简单介绍,并对此方法所涉及的输出输出结构冲突问题给予扩充处理。     

具有不可控变迁的离散事件系统Petri网控制器的研究

针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题,分析了系统中存在不可控变迁时的情况,并基于局部设计和Petri网简化技术,提出了一种新的控制器设计方法。该方法首先将约束条件分为允许约束和非法约束,并通过矩阵转换方法将非法约束转换为允许约束,然后通过约束矩阵设计出相应的控制器。该方法由于只考虑与约束库所、约束变迁及不可控变迁相关联的局部关联矩阵,降低了矩阵的维数,简化了控制器的设计,避免了死锁。最后,基于两个实例验证了该方法的高效性。     

可信业务构件的框架模型及其实现机制

目前,对于业务构件模型的研究主要是关注于业务构件的识别和描述方法两方面,而业务构件的质量则较少得到关注。质量必然是满足构件使用者的基本前提,而业务构件的可信则全面体现了业务构件的质量。本文提出了可信业务构件的框架模型和四大可信要素,同时给出了可信要素的实现机制,重点阐述了逻辑可信的实现机制。     

多数据库环境下的模式集成及查询分解

在不同数据库表模式间定义了一种结构冲突,并通过元数据的方法,描述了具有结构冲突的表模式间的模式集成。讨论了将集成后的表模式上的查询转换到原表模式上的查询分解方法。     

AOP中结构冲突解决方案研究及其支撑工具设计

提出了一种基于概念模型的AOP框架,它能从语义上解决AOP系统中的结构冲突问题.为了实现该框架,设计了概念模型配置工具、基础程序标注生成工具、概念层信息更新工具和基础程序转换工具.概念模型配置工具便于程序员设计概念模型中物理信息、逻辑信息及其映射关系,基础程序标注生成工具能根据概念层信息自动为基础程序增加或更新标注,概念层信息更新工具能把修改后的基础程序信息自动更新到概念层,基础程序转换工具能把标注后的基础程序自动生成用逻辑信息表示的概念层程序.这些支撑工具的研究与设计,使基于概念模型的AOP框架更具实用性,便于该框架的应用.     

基于图归约法的工作流模型验证

详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则，根据这些规则即可判定工作流模型中存在的结构冲突，从而迅速对其进行修正。