【摘 要】
：
作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多地被用在大型系统中,尽管其表达简单明了,易于理解,但缺乏准确语义,难以对其进行语义分析和验证的问题。
【机 构】
：
北京航空航天大学计算机学院 北京 100083
论文部分内容阅读
作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多地被用在大型系统中,尽管其表达简单明了,易于理解,但缺乏准确语义,难以对其进行语义分析和验证的问题。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题;而Petri网有严格的形式化语义,而且有许多成熟的分析方法。针对这个问题,首先对状态图变迁上的各个元素用Petri网描述,提出了TES模型,然后提出了一种基于元模型的状态图到Petri网的转化方法,以便于用Petri网进行形式化分析。
其他文献
不斷地總結,推廣各地先進教師和教學小組的優良經驗,對於中等教育的教學改革工作,將起很大的推動作用。這裹發表的遼西省文教廳總結的四平師範『齊泰辰教學小組』的經驗,雖然
在国家投资的带动下,我国经济逐渐复苏,但在经济转暖关口,楼市、股市的快速升温引起业内广泛关注。近期某些大城市“地王”频现,上半年一些地方商品房销售额同比增长100%以
目前,传统内核调试器存在着干扰操作系统行为、难于透明控制系统运转以及对时间敏感代码难以调试等缺陷。Simics是一款高性能全系统模拟器,它提供了一个受控制的,确定的,全系
分析了由上下文无关文法的开始符号推导产生句子的策略、推导过程中存在的问题和解决方案,以及影响选择产生式的因素,给出了用于选择候选产生式的产生式期望值计算公式。产生
经省工程技术干部技术职称评定委员会考核评定,并报请省人民政府审核批准,最近有八十位同志晋升为高级工程师。他们的简历如下: 李昌泽:生于1936年10月,1956年毕业于重庆大
急性淋巴细胞白血病(ALL)是常见的白血病之一,好发于儿童,在成人急性白血病中占15%~20%。随着化疗方法的不断改进,儿童缓解率达90%以上,成人ALL已有75%~89%可获得完全缓解(CR
当细胞遭受各种压力刺激后,内质网会积累大量未折叠蛋白,产生内质网应激,对细胞产生损害.为了削弱这种损害,细胞会通过启动未折叠蛋白应答途径,促进下游基因表达来帮助细胞生
为了揭示绒毛白蜡种质之间的遗传多样性和亲缘关系,本试验选取50份绒毛白蜡种质,采用荧光标记AFLP技术,利用筛选出的9对EcoR Ⅰ/Mse Ⅰ引物对绒毛白蜡种质进行遗传变异及遗传
Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对组装高可用实时网构软件提出了新的要求。本文提出了一种基于Agent的高可用实时
那是一个春光明媚的时节,我在瑞士苏黎世的一家小旅馆里度过了一个不眠之夜。翌日清晨,我独自一人前往机场,去搭乘奥地利航空公司的班机,旅程的终点是维也纳。天气晴朗。道