【摘 要】
：
UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为
论文部分内容阅读
UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分.
其他文献
目的探讨恩替卡韦联合长效干扰素治疗慢性乙型肝炎的临床疗效及其安全性。方法选取常德市第一人民医院2017年5月—2018年7月收治的慢性乙型肝炎患者74例,根据患者入院时间分
多孔氧化铝是目前世界上应用最广泛的催化剂载体之一,但是用于能源化工过程中的强吸/放热及高通量(如环境催化)反应时,存在着导热性能差、压降大和扩散限制等问题.研究表明,
本文论述了一个组织以ISO9000质量标准、ISO14000环境标准和OHSAS18000职业健康安全标准为模式建立一体化管理体系的市场背景和客观需求，以及建立一体化管理体系的基本原则，这
干部教育培训是建设高素质干部队伍的先导性、基础性、战略性工程；网络技术和现代远程教育的发展是干部教信息化建设的技术保障；通过建立以网络为载体的干部教育培训平台，能突破
目的:2020年中国食品科学技术学会益生菌分会根据益生菌的最新研究进展,形成《益生菌的科学共识(2020年版)》。方法:组织科技界与产业界的相关专家以专题研讨会的形式,发言、
新形势下,如何从解放思想的角度,放开思路,树立群众观点,强化群众立场,牢记人民的利益高于一切,不断改善文化民生,让人民群众共享文化发展成果,就要加强和改进基层宣传思想文
The Mohr stress circle for three-dimensional stress is usually determined by equations,which is lack of intuitionistic meanings and difficult to understand. In
通过水溶性多羟基化合物C60(OH)n和聚醚聚氨酯(PEO-PU)预聚体反应合成了一系列新型的C60星形聚醚聚氨酯,并用傅里叶红外分析(FTIR)、差式扫描量热分析(DSC)、热重分析(TGA)等
本文通过认真学习《国防法》的相关内容,对兵团＂三位一体＂联防机制进行了深入分析和探讨,认为创新发展是兵团＂三位一体＂联防机制生命之树常青的根本所在。
20世纪90年代，欧盟发生了举世震惊的二噁英、疯牛病、掺假橄榄油等事件，造成了惨重的损失。这一系列事件暴露了欧盟的食品法规在设计和应用上的缺陷，打击了公众对食品产业和国家