【摘 要】
：
统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证.而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法.综合运用Petri网和UML能够提高软件
【基金项目】
：
国家自然科学基金资助项目(61262082);国家教育部重点资助项目(212025);内蒙古杰出青年学者科学基金资助项目(2012JQ03);内蒙古自然科学基金资助项目(2011MS0911)资助
论文部分内容阅读
统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证.而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法.综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性.研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter.此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证.
其他文献
玉米是受低温胁迫较敏感的作物，利用化控手段调控玉米抗性能够促进植物体内蛋白合成，增加体内酶的活性，以此来提高抗性。本研究以寒地玉米品种丰禾1号为材料，探究水杨酸对玉米幼
设计了圆柱形和平板形两种电容传感器 ,其输出的 4～ 2 0mA的信号 ,可与任何一种自动控制仪表及相应执行部件构成油水界面自动监控系统。只需通过简单的标定 ,便可用于各种油品
<正> 中国创立的天然物中草药,具有悠久的历史,丰富的内容和科学内涵。它在与化学合成西药长期并存和比较过程中,表现出了强大的优势,因而受到世界各国的重视,尤在化学合成物
<正> 家父们煊,早岁从师苏城名医曹融甫氏,习内外科,在苏行医四十年。茲摘录医案数则于下: 血崩赵××:女,经冲如崩,反复不已,血室空虚,气无所依,腹部脐下尽痛,偏左按之硬,得
戏曲文化有极高的艺术价值和教育价值,其中蕴含的儒家德育美育思想,具有深厚的人文底蕴。医学院校开展戏曲文化教育,使医学生经过戏曲文化的浸润,无形中能丰富其历史、文化、
创新创业教育与公共艺术教育在促进人的全面发展上具有本质、行动和价值上的一致性,高职院校公共艺术教育在推动学生创新创业素养提高方面具有积极作用,文章从公共艺术教育在
<正>综合机械化采煤工艺是目前井工开采的主要方法,工作面供电供液使用的变压器、开关及乳化泵站等设备必须随着工作面的推进而移动,迁移方式一般为使用慢速绞车牵引固定在车
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
<正>具备仪式感的结婚纪念日安排,既可以是一次浪漫的双人旅行,也可以是一顿温馨有爱的烛光晚宴,或者是一件精心挑选的礼物。生活需要仪式感,对大多数人而言,日常结婚纪念日
目的:观察真武汤合五苓散治疗阳虚阴盛型高血压的临床效果。方法:选择2017年4月—2019年9月我院收治的阳虚阴盛型高血压患者80例,以随机数表法分为治疗组和参照组,观察两组血