Abstract: 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.

Key words: eXtensible Markup Language(XML), Unified Modeling Language(UML), Petri net, transformation

摘要： 针对统一建模语言(UML)时序图与Petri网间转换的问题，提出基于消息的UML时序图向Petri网转换的映射算法。以XMI, XPDL, XSLT为核心，建立基于可扩展标记语言(XML)的实现该映射算法的3层转换方案。结合XML应用环境要求，建立映射处理流程，并通过实例对方案可行性进行了验证。

关键词: 可扩展标记语言, 统一建模语言, Petri网, 转换

CLC Number: 

• TP311