并发模型构件的状态迁移派生图及等价判定

摘要：

模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一,它可以提高企业建模的效率.针对模型复用,提出了基于代数理论的并发模型构件,刻画了模型构件的状态迁移语义和派生图,给出了基于派生图的并发模型构件等价判定算法.与已有的方法相比,综合考虑了模型构件的状态迁移属性和并发属性,实现了动态过程下并发模型构件的等价性判定.

关键词： 企业建模 构件 派生图 等价

作者: 刘芳 杨兴林 戴俊

作者单位: 江苏科技大学经济管理学院,江苏,镇江,212003

会议类型: 国内会议

会议名称: 2006年全国开放式分布与并行计算学术会议

会议地点: 西安

会议语种:中文

页码: 200-202

在线出版日期: 2006-10-19（万方平台首次上网日期，不代表论文的发表时间）