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

摘要：

针对UML建立ATM自动取款机系统模型时缺乏精确的语义描述、无法进行形式化的分析和验证等缺点,本文提出了一种基于UML-Petri网的ATM自动取款机建模方法.该方法首先采用UML对ATM自动取款机系统进行建模,然后参照一定的映像规则将UML模型转换为Petri网模型进行验证和分析,最后根据分析结果对UML模型进行修正和优化.结果表明,该方法合理将面向对象的UML建模方法和形式化的Petri网建模方法有效结合,取长补短,提高了系统的正确性、可靠性和开发效率,具有一定的理论价值和实际应用价值.

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

所属期刊栏目：20

分类号：TP311.52(计算技术、计算机技术)

在线出版日期：2016-06-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：91-94