【摘 要】
：
UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方
【机 构】
：
安徽大学计算机科学与技术学院,安徽大学计算智能与信号处理教育部重点实验室
【基金项目】
：
国家自然科学基金项目(60273043);安徽省自然科学基金项目(050420204);安徽省自然科学基金项目(2006KJ098B);安徽省高校拔尖人才基金项目(05025102)
论文部分内容阅读
UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。
其他文献
美国空军实验室人效部视觉显示系统分部与一些承包商合作．开发出一种彩色头盔显示器（HMD），其可以产生色彩足够明亮的图像，以使飞行员在日间飞行中清晰地观看到图像。该项目研究经
<正>企业通过搭建海外资金管理平台,可以提升集团全球资金集中管理能力来支持、配合集团的整体决策。拥有高水平的财务管理能力,有助于企业的全球化经营。随着中资企业"走出
瘙痒是皮肤科门诊最常见的主诉,也是影响患者生活质量的重要因素。2007年国际瘙痒研究论坛将慢性瘙痒分类,分类方法分为两部分,第一部分根据瘙痒的起源及临床表现分为3组,第
新形势下H7N9的防控不容忽视,H7N9的防控涉及到公共安全、畜牧业的良好发展和人民群众的身体健康。作为一项系统工程,新形势下H7N9的防控要做到突出重点,加强部门协作,严密监
龚丽娟教授认为慢性肾炎病程缠绵,其根本病机为本虚标实、虚实夹杂,在病程的不同时期本虚与标实各有侧重,辨证之时必须分清虚实。辨本虚时以脏腑辨证为主,辅以气血阴阳辨证,
目的：观察艾灸不同穴位对慢性炎症痛模型大鼠行为学改变的影响,进一步探讨艾灸对慢性痛所致心理行为改变的调节规律。方法：将45只雄性Wistar大鼠按分层随机法分为正常组、模型
目的观察射干麻黄汤对哮喘大鼠模型气道重塑和TNF-α、IL-17的影响。方法采用卵蛋白（OVA）联合雾化吸入的方法建立哮喘大鼠模型，50只SD大鼠随机分为5组。观察治疗后各组大鼠的TNF
纵观国内经济现状,房价持续走高是一个典型特征,而近两年更是出现快速攀升。相反,同期经济增速却明显放缓,消费不足问题日益得到关注。在这种背景下,对房价上涨与城镇居民储
从数据挖掘的概念入手,在系统介绍了聚类分析的概念和一般步骤的基础上,详细阐述了聚类分析在数据挖掘中的常用方法。
在《国家认定企业技术中心2005年评价结果》中，国家认定中国航空工业各企业技术中心全部合格。其中，中航一集团黎明航空发动机（集团）公司得到了86．3的高分，排名第21位。