2. 您的位置
3. 首页
4. 期刊论文
5. UML Statechart图的操作语义

UML Statechart图的操作语义

来源 :软件学报 | 被引量 : 0次 | 上传用户：yang759152944

【摘 要】

：

面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statechart图的形式化操作语义.该语义覆盖了UML Sta

【作 者】

：

李留英 王戟 齐治昌 

【机 构】

：

国防科学技术大学,国防科学技术大学

【出 处】

：

软件学报

【发表日期】

：

2001年12期

【关键词】

：

操作语义 UML语言 Statechart图 软件测试 软件开发 UML (unified modeling language)  operational se 

【基金项目】

：

国家自然科学基金，国家高技术研究发展计划(863计划)，国家重点实验室基金，教育部霍英东教育基金会高等院校青年教师基金

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statechart图的形式化操作语义.该语义覆盖了UML Statechart图的绝大部分特征,为UML Statechart图的代码产生、模拟和测试用例生成奠定了基础.根据上述语义,基于Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟.

其他文献

植物蓝光受体研究进展

植物蓝光调节的反应主要有向光性、抑制幼茎伸长、叶绿体迁移、刺激气孔张开和调节基因表达等。蓝光反应的有效波长是蓝光和近紫外光(320～400nm),故蓝光受体也叫蓝光/近紫外光受体。植物蓝光受体研究近年来取得较大进展。以拟南芥为例,已得到确认的受体至少有隐花色素(CRY1、2)和向光蛋白(phototropin)两大类。转基因拟南芥对蓝光、紫外光和绿光敏感,并发现CRY1是一个可溶性蛋白。CRY2编

期刊

植物蓝光受体隐花色素拟南芥向光蛋白blue-light receptors cryptochrome phototropins Arabidop

阴式子宫切除术与经腹子宫切除术临床效果对比分析

随着现代医学科技的发展，微创技术已越来越多的应用于妇产科。现对我院76例阴式子宫切除术与80例经腹全子宫切除术患者临床效果进行分析对比，报告如下。

期刊

脱垂子宫经阴道子宫切除经腹子宫切除

普通高中新课程改革问题解答（二）

根据我区高中教育实际,2010年秋季开始,我区高中学校将全部进入普通高中新课程改革。1、此次新课程改革是我国进行的第几轮基础教育课程改革在建国以来的近60年,我国基础教育

期刊

新课程改革普通高中问题解答2010年高中教育高中学校

神舟飞船舱门的"守护者"——记天津市"海河工匠"孙占海

孙占海,现为中国航天科技集团有限公司第五研究院特级技师,从业30多年来,他攻克航天技术难题90余项,研制航天器工艺装备40余套,排除航天器发射隐患百余项,圆满完成了多艘神舟

期刊

载人航天工程航天技术航天器发射空间实验室全国技术能手天津市滨海工艺装备神舟飞船

土壤重金属污染的酶学诊断—紫色土中的镉,铜,铅,砷对水稻根系...

通过四川酸性紫色土、中性紫色土,石灰性紫色土中不同浓度的Cd、Cu、Pb、As对水稻根系过氧化物酶的影响研究,揭示了过氧化物酶受抑制与产生抗性的过程.在低浓度时,上述元素对

期刊

土壤污染物酶学诊断水稻根系soil peroxidase heavy metal.

土壤锌,铜,铁,锰形态区分方法的选择

用化学连续提取的方法将土壤中的锌、铜、铁、锰依结合状态区分为交换态、碳酸盐结合态(石灰性土壤)、氧化锰结合态、有机结合态、无定形氧化铁结合态、晶形氧化铁结合态和硅

期刊

土壤微量元素形态提取方法trace elements fractionation soil

达赖是阻挠藏传佛教建立正常秩序的最大障碍

今年3月10日，十四世达赖在所谓的“西藏3·10和平抗暴51周年纪念集会”上又大发谬论，宣称西藏各寺院已变为游览场所，僧尼如同失去自由的囚犯，已经丧失了研修佛法的机会，这是一

期刊

藏传佛教达赖秩序周年纪念西藏和平囚犯自由

多媒体在聋生语文教学中的作用

新课标在关于“课程的基本理念”的第四部分明确提出，语文课程应该“注重……现代科技手段的应用”。加强计算机、网络等现代技术手段在语文教学中的运用，即是语文教学自身的需

期刊

语文教学聋生多媒体现代科技手段现代技术手段教育技术发展语文课程抽象思维

世界技能大赛获奖选手成长案例调查报告

一、调查对象　　本次调查的主要对象为我国参加第42、43、44届世界技能大赛获奖的70名优秀选手，其中金牌选手 23 名，银牌选手8名，铜牌选手7名，优胜奖选手32名。二、调查目的　　第一，了解大赛获奖选手的基本情况，推测参赛者的参赛动机。　　第二，了解大赛获奖选手的群体特征，为技能大赛提供科学指导。　　第三，了解大赛获奖选手的选拔参赛途径、集训方式方法。　　第四，了解赛场上影响参赛选手发挥的因素

期刊

技能大赛选手世界案例群体特征科学指导参赛者金牌

气溶胶污染对地面太阳紫外辐射的影响

<正> 一、前言太阳光通过大气层时经过了各种影响因素的衰减后到达地面,其中臭氧分子吸收,气溶胶粒子吸收和散射的影响作用最为主要.当臭氧浓度或气溶胶粒子浓度改变时,到达

期刊

气溶胶污染紫外辐射臭氧层aerosol pollution ultraviolet radiation ozone layer.