IDEF3过程模型转换为对象Petri网模型方法研究

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、合理地反映系统的需求进行描述。提出了一种如何将IDEF3过程模型转换为对象Petri网模型的方法,给出了转换规则和步骤。并利用对象Petri网模型对大型、复杂并发系统强有力的建模、仿真能力,对转换后的IDEF3过程模型进行执行,获取了IDEF3过程模型的行为特性。

Study on the method of transforming IDEF3 process model to object Petri-net model

The IDEF3 process model is a powerful modeling tool for describing complex,concurrent system business logics and has complete modeling semantics,and in nous being used widely in business process modeling.Though,the IDEF3 process model describes system's complex business processes,it does not describe the dynamic logics of business processes,especially concerning whether it could express system's requirements correctly and rationally with the lapse of time.So,this paper discusses how to translate IDEF3 process model into object Petri-net model and gives the rules and steps,and then uses the powerful modeling capability of the object Petri-net model to execute the transformed IDEF3 process model and gets the behavior characteristics of the IDEF3 Process Model.