一种基于UML-Petri网的ATM自动取款机建模方法  

Modeling Method of ATM Based on the UML-Petri Network

作　　者：刘丰年[1] 

机构地区：[1]三门峡职业技术学院信息传媒学院,河南三门峡472000

出　　处：《宁波职业技术学院学报》2016年第1期91-94,共4页Journal of Ningbo Polytechnic

摘　　要：针对UML建立ATM自动取款机系统模型时缺乏精确的语义描述、无法进行形式化的分析和验证等缺点,本文提出了一种基于UML-Petri网的ATM自动取款机建模方法。该方法首先采用UML对ATM自动取款机系统进行建模,然后参照一定的映像规则将UML模型转换为Petri网模型进行验证和分析,最后根据分析结果对UML模型进行修正和优化。结果表明,该方法合理将面向对象的UML建模方法和形式化的Petri网建模方法有效结合,取长补短,提高了系统的正确性、可靠性和开发效率,具有一定的理论价值和实际应用价值。The paper puts forward a modeling method of ATM based on the UML-Petri network according to the problem of the lacking of the precise semantic description when UML constructs the ATM system model and the disadvantage of failing in analyzing and verifying the results. The method applies UML into ATM modeling and then analyzes and verifies the results by translating the UML model into Petri network model in referance to a certain image rule. At last, the paper makes the modification and optimization of the UML model according to the results. The results of the experiment show that the new method can combine the object-oriented UML modeling method and the fomalized Petri network modeling method effectively, which improves the the validity, the reliability and the efficiency and so it’s quite valuable in theory and application.

关 键 词：ATM自动取款机 系统建模 UML-Petri网 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]