摘要
软件建模是软件开发中的一个重要环节。UML是一种很有效的方法,但由于缺乏形式化的语义,使得其应用受到一定限制。Petri网具有形式化的语义和成熟的分析技术,因此,研究了将UML通信图转换为Petri网的转换规则,还讨论了这个转换的逆转换,以及自动转换程序的必要性及可行性。从而使得在系统建模的早期阶段就可以利用Petri网的各种分析方法对系统模型进行分析验证。
Software modeling is an important part of software development. UML is one of the efficient means to modeling. Because of scarcity of formalization, UML has some restrictions in its application. On the other hand, Petri Net is a formal model with mature analysis techniques. This paper tries to find a method to transform UML Communication Diagram to Petri Net. Also discusses the reversible transformation and the necessity of the auto-transform program. Then system model can be analyzed and validated by Petri Net analysis techniques in the early age of system modeling.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期104-107,共4页
Journal of System Simulation