【摘 要】
：
统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .
【机 构】
：
南京大学计算机科学与技术系,南京大学计算机软件新技术国家重点实验室
【基金项目】
：
国家自然科学基金 ( 6 0 2 0 70 3 6 ;6 0 2 3 3 0 2 0 );国家“八六三”高技术研究发展计划基金 ( 2 0 0 1AA1 1 3 2 0 3 ;2 0 0 2AA1 1 6 0 90 );江苏省自然科学基金 (BK2 0 0 1 0 3 3 )资助
论文部分内容阅读
统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)上 ,而作者将UML活动图的时间约束放在活动状态上 .在此基础上 ,用整型时间的验证技术对实时活动图的时间性质加以分析 ,为实时系统的建模打下了基础 .
其他文献
研学旅行是研与学共同组织的教育活动,全体师生以游玩的形式获取知识,训练思维方式,培养学生德智体美劳全面发展。由于欠发达地区经济思想等方面比较落后,在实施研学旅行过程
目的超声心动图右室功能指标是否适用于心房颤动患者评估的研究甚少。本研究以心脏磁共振显像(MRI)为金标准,对超声心动图评价心房颤动患者右心结构及功能的敏感性、特异性及
学前儿童舞蹈的创编是舞蹈和学前两门学科的交叉运用。儿童绘本丰富的故事题材、鲜明的人物形象、生动的故事情节,为学前儿童舞蹈创编的主题设计提供了很多具有探索价值的内
<正>江苏省2015年按照化解过剩产能5年行动方案,将在钢铁等产能过剩行业再确定一批淘汰项目。目前已确定化解炼铁产能110万吨,炼钢产能150万吨。江苏省政府2013年12月发布的
<正> 1851—1864年爆发的太平天国起义,是一场伟大的农民战争。这场起义将中国历史上农民战争的水平推向了顶蜂。由于这场起义爆发于一个特殊的历史时代,即中国封建社会已到
通过对比试验对石屑混凝土外加剂复掺的掺量进行了优选。在此基础上,对石屑混凝土力学性能以及长期性能进行了试验研究,结果表明外加剂的加入可以在基本不改变混凝土的力学性
20世纪上半叶,西方传教士在中国西南少数民族地区从事了大量的翻译活动。本文以传教士在傈僳族地区的翻译活动为例,考察特定语境下宗教翻译对民族身份建构所产生的影响。本文
<正>总结2011年1月至2013年6月,我院采取同步交叉方法安排系统内护士进行轮转培训的经验,旨在提高本系统护士急救与重症护理能力,同时使高压力科室护士相对减压,报告如下。对
基于微信订阅号开发了东南大学苏州研究院学生服务系统,旨在为在校学生群体建立一个全方位、立体化的校园服务平台。微信公众平台是一个很好的方式,它提供了开发模式,可以通
目的探讨不同程度的糖尿病肾病(DN)与高敏C-反应蛋白(HS-CRP)、白介素-6(IL-6)、肿瘤坏死因子-α(TNF-α)水平的关系。方法根据糖尿病(DM)患者是否伴有24h尿白蛋白(UAE)以及U