基于UML - CPN的自动取款机系统建模分析

• 作者: 赵立新
• 来源期刊: 首都教育学报
• 关键词: UML Petri网 系统建模 ATM系统
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 理论纵横
• 页码范围: 56-58
• 页数: 3页
• 语种: 中文

摘要

针对UML语言建立的自动取款机模型不能进行分析和验证的难题,本文采用UML - CPN方法对银行取款机进行建模,该方法结合UML和Petri网的优点,首先利用UML进行建模,然后再将其转化为Petri网进行模型的验证.实验结果表明,该方法能够较好的解决单一的UML或Petri网建模时无法进行验证的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵立新	三门峡职业技术学院信息工程系	31	32	3.0	4.0