【摘 要】
：
1引言统一建模语言UML(Unified Modeling Language)[6]是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模.然而,UM
【机 构】
：
西安电子科技大学软件工程研究所,上海贝尔有限公司研发部
论文部分内容阅读
1引言统一建模语言UML(Unified Modeling Language)[6]是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模.然而,UML却是半形式化的--其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的[4,5].由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性[1,2].
其他文献
目的 分析加巴喷丁治疗神经根型颈椎病的疗效。方法 将70例神经根型颈椎病患者,按照硬币法将其分为研究组和对照组,每组35例。对照组患者采用常规药物治疗,研究组在对照组的
目的探求治疗新生儿上消化道出血的有效方法。方法胃管内注入蒙脱石并静脉滴注西咪替丁。结果治疗组新生儿上消化道出血的止血效率明显高于对照组。结论蒙脱石和西咪替丁是治
几年来,脱贫攻坚工作取到了瞩目的成效,作为连接政府与基层的重要桥梁,社会工作者在扶贫攻坚中也担任着不可或缺的角色。本文以广州市某街道社工服务站为例,分享社区工作在脱
近日,财政部国库司会同住房和城乡建设部标准定额司召开政府采购支持绿色建材促进建筑品质提升试点工作推进视频会议,针对下步试点工作进行了部署安排。会议强调,各试点城市
在当前高等职业教育教学改革的形势下,数据结构作为计算机类专业承上启下的核心基础课程,探索其课程思政的建设思路和教学设计,对于高职院校进行德育教育和高素质高技能人才
近年来,我院对30例消化性溃疡大出血的患者采用紧急内镜检查,明确诊断并立即止血,将取得成功的病例随机分成两组,继续予抑酸治疗,效果较满意,结果报告如下.
目的通过分析胫骨平台骨折的手术疗效，探讨其相关并发症，总结相关经验并提出有效预防措施和方法。方法回顾性分析胫骨平台骨折手术患者38例，按Schatzker分型，Ⅰ型4例，Ⅱ型11例，Ⅲ型
前言据说人们养蚕已经有5000年的历史。栖息在野外的蚕(Bombyx mori)的祖先桑蚕(Bombyx mandarina)的蛾,虽然至今都还能飞翔,但是蚕蛾却不能飞翔。蚕作为“家畜化的昆虫”对