基于UML-OCPN的嵌入式系统建模  

Modeling of Embedded System Based on UML-OCPN

作　　者：赵莉苹[1] 张海涛[1] 

机构地区：[1]河南科技大学电子信息工程学院,洛阳471003

出　　处：《计算机工程》2009年第20期56-58,共3页Computer Engineering

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

关 键 词：统一建模语言 PETRI网 嵌入式系统 建模 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]