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

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

作　　者：姜军[1] 柏晓丽[1] 罗雪山[1] 罗爱民[1] 

机构地区：[1]国防科学技术大学信息系统与管理学院C~4ISR技术重点实验室,湖南长沙410073

出　　处：《系统工程与电子技术》2008年第12期2434-2438,共5页Systems Engineering and Electronics

基　　金：国防预研基金资助课题(9140A06020306KG01)

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

关 键 词：IDEF3过程模型 对象PETRI网 模型转换 

分 类 号：N94[自然科学总论—系统科学]