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

• 作者: 刘芳 戴俊 杨兴林
• 来源期刊: 微电子学与计算机
• 关键词: 企业建模 构件 派生图 等价
• 年，卷（期）: 2006,（9）
• 页码范围: 200-202
• 页数: 3页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.09.068

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨兴林	江苏科技大学经济管理学院	77	320	10.0	14.0
2	戴俊	江苏科技大学经济管理学院	15	7	2.0	2.0
3	刘芳	江苏科技大学经济管理学院	1	0	0.0	0.0