节点文献
并发模型构件的状态迁移派生图及等价判定
On Equation Determination of Concurrent Model Components Based on Derivative Graph
【Author】 LIU Fang, YANG Xing-lin, DAI Jun (College of Ecnomic Management, Jiangsu University of Science & Technology, Zhenjiang 212003 China)
【机构】 江苏科技大学经济管理学院;
【摘要】 模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一,它可以提高企业建模的效率。针对模型复用,提出了基于代数理论的并发模型构件,刻画了模型构件的状态迁移语义和派生图,给出了基于派生图的并发模型构件等价判定算法。与已有的方法相比,综合考虑了模型构件的状态迁移属性和并发属性,实现了动态过程下并发模型构件的等价性判定。
【Abstract】 Model reuse is one of effective methodology for avoiding work repetition in the establishing process of enterprise model, and thereby improves its efficiency. Model reuse pose a concurrence model component based on algebra theory, with its description of the status transfer semantics of the model component and the derivation tree. It also offers the equipollence determination calculus of the concurrence model component based on the derivation tree. Different from existing methods, model reuse takes into consideration the status transfer property of the model component along with its concurrence property, and realizes the equipollence determination of the concurrence model component in the dynamic process.
- 【会议录名称】 2006年全国开放式分布与并行计算学术会议论文集(一)
- 【会议名称】2006年全国开放式分布与并行计算学术会议
- 【会议时间】2006-10
- 【会议地点】中国陕西西安
- 【分类号】TP311.52
- 【主办单位】中国计算机学会开放系统专业委员会