综合业务网理论及关键技术国家重点实验室基金(ISN1102001)
- 作品数：3 被引量：2H指数：1
- 相关作者：段振华罗玲张曼师亚田聪更多>>
- 相关机构：西安电子科技大学更多>>
- 发文基金：综合业务网理论及关键技术国家重点实验室基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 工作流网合成规则及其在流程设计中的应用被引量：1
- 2012年
- 针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则.
- 张曼段振华
- 关键词：工作流PETRI网
- PN2MSVL:工作流网到MSVL的转换
- 2014年
- 现有的工作流网到程序设计语言的转换所生成的程序不仅可读性较差而且难以进行验证.针对这一情况,该文给出了一个工作流网到建模、仿真和验证语言(MSVL)的结构化转换工具PN2MSVL.该文首先定义了注释工作流网,然后以注释工作流网为中间模型,利用一组转换规则不断地压缩注释工作流网中的正规结构,最终得到MSVL程序.PN2MSVL生成的MSVL程序不仅具备更好的可读性,而且可以利用MSVL的支持工具MSV进行建模、仿真和验证.另外,该文通过一个应用实例详细地展示了PN2MSVL的执行过程,并通过大量的实验分析了PN2MSVL的可用性.
- 师亚段振华田聪
- 关键词：工作流网仿真PETRI网
- 扩展π演算对时间相关移动并发系统的建模与推演被引量：1
- 2014年
- 针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。
- 罗玲段振华
- 关键词：Π演算形式化建模
