摘要
概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证。在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性。方法有利于检查模型映射前后的一致性,同时具有可扩展的优点。
It is difficult to validate the dynamic part of Conceptual Model for its complexity. For the Conceptual Model described with UML, the sequence diagram can be mapped to Petri Net and the model can be validated with the analysis of Petri Net. The sequence diagram is analyzed deeply firstly. Then, to supply the gap of current mapping, a new mapping algorithm is given based on message, which includes sequence structure, optional structure, alternative structure, parallel structure and loop structure. Finally, the mapping algorithm proved to be correct.
出处
《计算机仿真》
CSCD
北大核心
2009年第3期112-116,共5页
Computer Simulation
