Abstract: Aiming at the puzzle that the models of Unified Modeling Language(UML) is short of exact formal description so it can not be analyzed and verified, the paper puts forward an improved modeling measure named UML-OCPN. It integrates the merit of UML and OCPN of Petri nets. It uses UML to model systems, changes UML models to Petri nets models, and verifies the Petri models. Experimental result proves that the problems of difficult verification and the need of developers’ upper math knowledge and so on can be solved by this means.

Key words: Unified Modeling Language(UML), Petri nets, embedded system, modeling

摘要： 针对统一建模语言(UML)缺乏精确的形式化的语义描述而不能对其所建模型进行分析和验证的难题，提出一种改进的建模方法——UML-OCPN方法。该方法结合UML和对象着色Petri网(OCPN)的优点，使用UML进行建模，将其转换为Petri网模型再进行模型验证。实验结果证明，该方法能较好地解决单一使用UML或Petri网建模时出现的无法进行验证、需要开发人员具备较高数学水平等问题。

关键词: 统一建模语言, Petri网, 嵌入式系统, 建模

CLC Number: 

• TP391.9