共查询到10条相似文献,搜索用时 437 毫秒
1.
《江苏科技大学学报(社会科学版)》2017,(3)
软件工程实践中广泛采用UML作为建模语言,UML模型在演进过程中会引入UML模型一致性问题.采用Event-B形式化技术可以协助分析UML模型的一致性,提出UML模型向Event-B模型转换的方法和规范性要求,设计具体的转换算法,证明这些算法的规范性以及采用这些算法转换得到的Event-B模型和原UML模型的等价性.文中提出了基于EventB形式化分析UML模型一致性的方法,并通过具体的案例说明了方法的具体执行过程.结果证明:基于Event-B形式化分析UML模型一致性的方法是有效的,可帮助改进UML模型质量. 相似文献
2.
统一建模语言UML是一种面向对象的建模语言。本文以UML为工具进行高校教材管理信息系统建模,讨论了设计过程中获取用例图的增量迭代法,这种方法使系统分析、设计、实现之间形成了一个良性循环,同时对基于UML进行的MIS开发具有一定的指导意义。 相似文献
3.
4.
介绍一种基于UML的防空兵指挥决策系统建模方法。在对防空兵指挥决策系统建模过程进行分析研究的基础上,利用UML对防空兵指挥决策系统进行建模,构建用例图、状态图、顺序图、活动图以及协作图等模型。结果表明所建UML模型易于理解、操作,建模过程完整。 相似文献
5.
6.
7.
8.
9.
在对TRIBON数据库结构及3种不同的数据抽取方法进行分析比较的基础上,选用"部件模型对象"(COM-object)方法对TRIBON底层数据资源进行针对性抽取,开发了基于TRIBON数据库的船舶舾装托盘数据管理系统. 相似文献
10.
针对构建面向服务的舰艇编队一体化作战研讨厅式综合集成作战系统缺乏统一服务模型与成熟开发方法的问题,对一体化指挥决策服务提取技术展开了研究。给出了一体化指挥决策服务的相关概念,分析了面向服务的领域分析与UML的特点,提出了UML与FODA相结合面向服务的领域工程思路,给出了领域分析过程的UML描述模型,建立了基于UML领域分析的舰艇编队一体化指挥决策决策服务提取方法与过程模型,为舰艇编队一体化作战研讨厅式综合集成作战指挥系统的构建提供了技术支撑。 相似文献