摘要
针对统一建模语言(UML)时序图与Petri网间转换的问题,提出基于消息的UML时序图向Petri网转换的映射算法。以XMI,XPDL,XSLT为核心,建立基于可扩展标记语言(XML)的实现该映射算法的3层转换方案。结合XML应用环境要求,建立映射处理流程,并通过实例对方案可行性进行了验证。
Aiming at the problem for Unified Modeling Language(UML) sequence diagram transformation to the Petri net, this paper proposes the mapping constructs algorithm. The three-level transformation plan based on XMI, XPDL. and XSLT. It establishes the environment requests for applying XML, the process for UML sequence diagram transformation to the Petri net based on XML. Example shows the correctness of the transformation plan.
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第22期84-87,共4页
Computer Engineering
关键词
可扩展标记语言
统一建模语言
PETRI网
转换
eXtensible Markup Language(XML)
Unified Modeling Language(UML): Petri net
transformation