【摘 要】
：
针对UML建立ATM自动取款机系统模型时缺乏精确的语义描述、无法进行形式化的分析和验证等缺点,本文提出了一种基于UML-Petri网的ATM自动取款机建模方法。该方法首先采用UML对
论文部分内容阅读
针对UML建立ATM自动取款机系统模型时缺乏精确的语义描述、无法进行形式化的分析和验证等缺点,本文提出了一种基于UML-Petri网的ATM自动取款机建模方法。该方法首先采用UML对ATM自动取款机系统进行建模,然后参照一定的映像规则将UML模型转换为Petri网模型进行验证和分析,最后根据分析结果对UML模型进行修正和优化。结果表明,该方法合理将面向对象的UML建模方法和形式化的Petri网建模方法有效结合,取长补短,提高了系统的正确性、可靠性和开发效率,具有一定的理论价值和实际应用价值。
其他文献
在环境污染问题频发的背景下,发展绿色金融已经成为我国的一项战略举措,在我国的倡议下,绿色金融成为2016年G20杭州峰会一项重要议题,2017年国务院决定在浙江等五省区开展绿
阐述了PVC密封胶材料的组成及功能,传统密封胶向"湿碰湿"涂装工艺的改进,并通过试板工艺试验和试生产,验证了PVC密封胶材料与涂料"湿碰湿"涂装工艺的可行性,为涂装生产线的改
本文将简单介绍混合式教学,分析其在计算机基础教学改革中的重要性,并就相应改革策略加以探讨。
为探索大豆浓缩蛋白(SPC)替代鱼粉水平对大黄鱼(Larimichthys crocea)幼鱼生长、体成分和血清生化指标以及肝组织学的影响。以初始体重为(10.50±0.04)g的大黄鱼幼鱼为研究对
领导干部的高素质和专业化主要体现在政治立场坚定、政治方向正确、政治理论扎实、政治品德高尚、身体与心理健康、工作能力过硬、依法行政能力达标、学习能力超强、沟通协调
资源型企业长期以来主要依赖其所拥有的自然资源禀赋开展生产经营活动,近几年由于全球经济增长乏力,生产资料价格大幅下降,自然资源日益枯竭,资源型企业面临着巨大的发展困难
本文从城乡区别、农村薄弱学校发展、择校及民办教育几个方面展开,探寻促进绥化市义务教育均衡发展的策略.
我们从1984年起利用网箱在响洪甸水库投饵饲养草鱼，当年利用面积28平方米的网箱14只，投放草鱼种4，634尾，经160天的饲养，获得箱均180．5公斤的产量，1985年继续试验，设成鱼箱26只，箱均产
新型冠状病毒感染的肺炎疫情防治期间,如何将网络在线课程充分服务应用于高职院校顶岗实习“准员工”岗位技能培训教学环节的探索与研究.
酒店业的快速发展,满足酒店业的需求,各级旅游管理和酒店管理实习已成为酒店服务人员的新力量,占据了大部分第一部门,同一职位。选择也会增加。与常规培训相比,酒店的邮政轮