顺序图的形式化方法描述

来源 :航空计算技术 | 被引量 : 0次 | 上传用户：rcs84719

【摘要】

：

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数

【作者】

：

张海鸥 LI Wang-long 郑山红

【机构】

：

长春工业大学

【出处】

：

航空计算技术

【发表日期】

：

2004年期

【关键词】

：

形式化方法 B方法统一建模语言顺序图

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.

其他文献

颌间唇弓式活动矫正器治疗替牙期反牙合的临床研究

目的介绍一种临床上行之有效的治疗替牙期功能性反牙合的矫治方法。方法选择25例替牙期反牙合的患者。男18例，女7例，平均年龄10.5岁。均为替牙期功能性反牙合，X线头影测量显示部

期刊

矫正器功能性反牙合替牙期反牙合

毒蛇咬伤早期应用自制简易蛇毒吸排器的效果观察

目的:观察自制简易蛇毒吸排器在毒蛇咬伤早期治疗中的临床疗效.方法:将129例毒蛇咬伤患者早期行伤口消毒、切开后,用自制简易蛇毒吸排器治疗,观察治疗成功率.结果:经自制简易

期刊

毒蛇咬伤自制简易蛇毒吸排器早期应用疗效

关于脑栓塞的护理措施

目的:探讨正确与全面的护理措施,促使脑梗塞患者的恢复.方法:分析2012年7月至2013年7月我院收治的100例脑梗塞患者的治疗与护理情况.结果:经过全方面的治疗与护理后,100例患

期刊

脑梗塞护理措施

氨碘肽注射液治疗玻璃体混浊疗效分析

目的:探讨了氨碘肽注射液治疗玻璃体混浊疗效.方法:回顾性分析我院2011年1月～2013年1月收治的玻璃体混浊患者84例的临床资料,随机分为对照组和治疗组,对照组应用复方血栓通胶

期刊

氨碘肽注射液玻璃体混浊疗效

前列地尔治疗糖尿病肾病的疗效观察

目的:观察前列地尔注射液短期治疗糖尿病肾病的有效性及安全性.方法:将60例2型糖尿病肾病患者随机分为治疗组和对照组(各30例).在完善常规治疗的同时,治疗组每日给予前列地尔

期刊

前列地尔糖尿病肾病尿蛋白肾功能

浅谈药品不良反应与安全用药

随着社会的发展,如何安全、有效、合理的用药已成为社会关注的热点.近年来关于药物不良反应(adverse drug reaction ADR)的报道和讨论比较多,已引起了各方面的注意.临床上对

期刊

合理用药抗生素滥用不良反应安全用药

大中型灌区可持续发展综合评价的一种新方法

针对我国典型大中型灌区存在的问题,结合区域可持续发展的评价理论,提出了灌区可持续发展的评价指标体系,建立了灌区改造综合评价的投影寻踪模型,利用模拟退火算法优化其投影

期刊

大中型灌区可持续发展综合评价

中国成年人自报高血压准确度

正确地确定高血压患病率是制定高血压防治策略和措施的基础和前提.相对于血压测量等其他方法,自报高血压是一个经济、快速的高血压患病指标,但准确度会受到来自调查对象和调

期刊

高血压自报准确度成年人Hypertensionself-reportedValidityAdults

一种改进的基于隶属云模型的蚁群算法

为了解决传统蚁群算法的收敛速度慢和易陷入局部最优等缺陷,做出如下改进:首先采用云模型来自适应控制蚂蚁的随机性;其次缩小了后继城市的搜索范围;最后引入2-opt局部搜索策

期刊

隶属云蚁群算法旅行商问题

脂酶试验与聚合酶链反应鉴别中间普氏菌的比较研究

目的研究脂酶试验和常规生化方法与聚合酶链反应比较在鉴别中间普氏菌Pi中的敏感度和特异度。方法对207株牙周临床分离的产黑色素G-厌氧杆菌分别进行脂酶试验、常规生化法鉴

期刊

脂酶试验聚合酶反应中间普氏菌

顺序图的形式化方法描述

与本文相关的学术论文