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

On Equation Determination of Concurrent Model Components Based on Derivative Graph

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

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.