戴俊
- 作品数:2 被引量:0H指数:0
- 供职机构:江苏科技大学经济管理学院更多>>
- 发文基金:江苏省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 并发模型构件的状态迁移派生图及等价判定
- 2006年
- 模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一,它可以提高企业建模的效率。针对模型复用,提出了基于代数理论的并发模型构件,刻画了模型构件的状态迁移语义和派生图,给出了基于派生图的并发模型构件等价判定算法。与已有的方法相比,综合考虑了模型构件的状态迁移属性和并发属性,实现了动态过程下并发模型构件的等价性判定。
- 刘芳杨兴林戴俊
- 关键词:等价
- 并发模型构件的状态迁移派生图及等价判定
- 模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一,它可以提高企业建模的效率。针对模型复用,提出了基于代数理论的并发模型构件,刻画了模型构件的状态迁移语义和派生图,给出了基于派生图的并发模型构件等价判定算法。与...
- 刘芳杨兴林戴俊
- 关键词:等价
- 文献传递