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

摘要

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