期刊文献+
共找到1,063篇文章
< 1 2 54 >
每页显示 20 50 100
基于UMCS树的UML类图的混合相似性度量
1
作者 袁中臣 马宗民 《计算机应用》 CSCD 北大核心 2024年第3期883-889,共7页
软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含... 软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含语义和结构信息。目前,UML类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于UML类图的非形式化特征,将UML类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。 展开更多
关键词 uml类图 模型转换 混合相似性 最大公共子图树 语义匹配 结构匹配
下载PDF
带有并发行为的UML状态机图的形式语义
2
作者 陈华豪 蒋建民 +2 位作者 谢嘉成 陈卓然 唐国富 《计算机技术与发展》 2024年第5期87-94,共8页
在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、C... 在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、CHAM化学抽象机等作为状态机图的形式语义,但这些语义都是行为语义,并没有从结构上直接形成体现真并发的形式语义。该文提出一种新的模型——统一结构模型作为带有并发行为的UML状态机图的形式语义,该模型不会增加或减少状态机图的任何信息。基于统一结构模型首先定义了状态机图的格局(全局状态),用于表现状态机图的执行过程,并且给出了UML状态机图的格局的转换规则,说明格局如何在状态机图中执行,在此基础上给出了状态机图的可达性算法,然后还对状态机图的死锁等性质进行了介绍,最后开发出一个原型工具,实现了状态机图的可达性分析,并用实例说明了该方法的应用。 展开更多
关键词 统一建模语言 状态机图 形式化模型 并发行为 可达性 死锁
下载PDF
Formalization and Verification of Business Process Modeling Based on UML and Petri Nets 被引量:1
3
作者 颜志军 甘仞初 《Journal of Beijing Institute of Technology》 EI CAS 2005年第2期212-216,共5页
In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activit... In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced. 展开更多
关键词 business process modeling unified modeling language(uml) Petri nets activity diagram
下载PDF
A UML profile for framework modeling 被引量:1
4
作者 徐小良 汪乐宇 周泓 《Journal of Zhejiang University Science》 CSCD 2004年第1期92-98,共7页
The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A n... The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate. 展开更多
关键词 Object oriented frameworks unified modeling language(uml) uml profile Hot spots Design patterns
下载PDF
一种基于UML的智能导检系统设计方法 被引量:2
5
作者 李婧 汪鸿 孙玉良 《医学信息学杂志》 CAS 2023年第9期80-85,共6页
目的/意义探索建立带有智能导检功能的系统,为检验患者提供智能引导。方法/过程以检验科患者为调查对象,采用调查问卷获取并分析患者难点、痛点,利用Enterprise Architect软件、统一建模语言设计导检系统的用例图、时序图、部署图等,以... 目的/意义探索建立带有智能导检功能的系统,为检验患者提供智能引导。方法/过程以检验科患者为调查对象,采用调查问卷获取并分析患者难点、痛点,利用Enterprise Architect软件、统一建模语言设计导检系统的用例图、时序图、部署图等,以测定尿微量蛋白肌酐比为例,设计智能导检系统知识库,依据评价问卷结果优化智能导检系统。结果/结论基于统一建模语言的智能导检系统设计方法可行,智能导检系统形式得到广泛认同,为推进结构化、智能化、知识化电子病历,提升医疗质量提供新思路。 展开更多
关键词 统一建模语言 智能 引导 检验
下载PDF
UML到Event-B的系统化转换方法
6
作者 耿雪 邹盛荣 +1 位作者 刘晓莹 姚聚义 《计算机技术与发展》 2023年第12期113-120,共8页
在面向对象的软件开发中,UML已经成为事实上的建模标准。然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证。Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难... 在面向对象的软件开发中,UML已经成为事实上的建模标准。然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证。Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难以理解和应用。因此,如何结合UML图和Event-B方法的优点是研究的重点,以往的方法都是基于UML零散图到Event-B的转换,缺乏系统的转换方法。系统性的转换方法可以实现UML中的元素与Event-B中的元素相对应统一。一般的软件系统是中型系统,中型系统采用用例图、类图、状态图和顺序图这四种图就可以很好地表达清楚,有了上述的四种图,软件生命周期的需求获取、分析、设计、详细设计就可以完全表达清楚。文章中分别给出了这四种图到Event-B的转换方法,并将该系统的转换方法应用到对安全性和可靠性要求较高的电梯控制系统中。基于该实例的研究,验证了UML到Event-B系统性转换方法的可行性和有效性。UML到Event-B的系统转换方法不仅有利于UML的精确化和软件从业人员的使用,而且增强了形式化方法的可理解性,有利于形式化方法的推广和应用。 展开更多
关键词 统一建模语言 形式化方法 EVENT-B 抽象转换 模型
下载PDF
MODELING OF FMS BASED ON UML AND OPNS
7
作者 Gao Meimei Wu Zhiming (Department of Automation, Shanghai Jiaotong University) 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2000年第2期90-95,共6页
As the main component of computer integrated manufacturing system (CIMS), flexible manufacturing system (FMS) should be an open system with reusability and extenchaility. Moreover, as FMS is a complex asynchronous con... As the main component of computer integrated manufacturing system (CIMS), flexible manufacturing system (FMS) should be an open system with reusability and extenchaility. Moreover, as FMS is a complex asynchronous concurrent system, its model also should have the abilities to express the concurrency in the system and to analyze the behavior of the system. It is difficult to use any one method to model such a complex system as FMS. A modeling method using Object-oriented modeling language-unified modeling language (UML) and object-Oriented Petri nets (OPNs) is proposed. Class diagram in UML is used to represent the static relations among the objects in FMS. OPNs are used to model the dynamic behavior of the objects and conduct performance analysis. OPNs also can be used to identify the attributes and operations of the objects. The model can describe the system integrally and can be used to design FMS control software naturally. 展开更多
关键词 Flexible manufacturing system modeling Object-oriented model unified modeling language Object-oriented Pert nets (Opens)
下载PDF
基于UML活动图的用例识别 被引量:1
8
作者 陈卓然 蒋建民 +2 位作者 唐国富 谢嘉成 陈华豪 《计算机系统应用》 2023年第10期75-84,共10页
在面向对象的软件开发过程中,统一建模语言(unified modeling language, UML)的用例图用于捕获用户的需求.传统描述用例的方法一般是开发者根据自己的经验,从需求中人工获取用例.然而,如何自动生成准确的用例仍然是一个待解决的问题.本... 在面向对象的软件开发过程中,统一建模语言(unified modeling language, UML)的用例图用于捕获用户的需求.传统描述用例的方法一般是开发者根据自己的经验,从需求中人工获取用例.然而,如何自动生成准确的用例仍然是一个待解决的问题.本文提出了一种通过用UML活动图半自动生成用例的方法.首先通过引入形式化模型——统一结构来描述用例图与活动图,其次给出分解活动图的算法,然后根据分解活动图得到的依赖链生成对应的用例的事件流,从而得到用例模型,最后通过所开发的原型CASE工具进行案例的演示,验证了本文所提出的方法的可行性。 展开更多
关键词 uml 用例图 活动图 形式化模型 用例识别
下载PDF
基于UML的企业内部办公流程计算机系统设计研究
9
作者 唐亮 《办公自动化》 2023年第24期1-3,共3页
如今,计算机办公系统的设计与应用已成为各行业加强办公管理智能化、提升办公经济效益的重要手段。在此,介绍企业内部办公流程计算机系统相关技术,分析计算机办公系统的需求,以统一建模语言(UML)为建模工具,对企业内部办公流程计算机系... 如今,计算机办公系统的设计与应用已成为各行业加强办公管理智能化、提升办公经济效益的重要手段。在此,介绍企业内部办公流程计算机系统相关技术,分析计算机办公系统的需求,以统一建模语言(UML)为建模工具,对企业内部办公流程计算机系统进行整体设计和详细的各功能模块分析设计,包括办公流程发起功能设计、办公流程审批功能设计、流程跟踪查询功能设计以及通知公告功能设计,并经过应用测试,证实该计算机办公系统良好,满足各项内部办公流程功能需求,可在企业内部办公工作中投人使用,以期实现企业内部办公流程的有序化、规范化和流程化。 展开更多
关键词 统一建模语言(uml) 内部办公 流程跟踪 计算机系统 自动化
下载PDF
基于MBSE的作战能力跨域描述元建模方法
10
作者 朱刚 郑建成 +2 位作者 李志淮 常春贺 刘华 《火力与指挥控制》 CSCD 北大核心 2024年第8期97-104,共8页
针对作战能力跨域描述存在语义二义性、不利于交流等问题,提出一种基于模型系统工程的元建模方法。抽象出作战能力元模型并给出形式化定义;从能力、作战和信息视角扩展作战能力元模型定义作战能力描述语言;通过UML Profile技术实现作战... 针对作战能力跨域描述存在语义二义性、不利于交流等问题,提出一种基于模型系统工程的元建模方法。抽象出作战能力元模型并给出形式化定义;从能力、作战和信息视角扩展作战能力元模型定义作战能力描述语言;通过UML Profile技术实现作战能力描述语言建模工具;借鉴面向对象分析方法思路提出作战能力描述语言建模方法。以美军“分布式防御”概念为例对提出方法进行实例验证。结果表明,提出的方法易于理解、可靠性和可扩展性强,有效消除语义二义性的同时满足多视角跨域描述作战能力的需求。 展开更多
关键词 元模型 作战能力描述语言 统一建模语言配置 作战能力 跨领域
下载PDF
基于xUML与DODAF的指挥信息系统可执行体系结构建模研究
11
作者 杨双泽 赵有华 +1 位作者 朱丹 陈启航 《现代信息科技》 2023年第5期24-29,共6页
针对体系结构视图产品在验证系统动态行为及状态转换等方面存在的不足,难以有效保证所建模型与具体军事需求的一致性,提出了基于xUML与DODAF的可执行体系结构建模及验证方法,分析了该方法的可行性与适用性,及其在验证系统动态行为方面... 针对体系结构视图产品在验证系统动态行为及状态转换等方面存在的不足,难以有效保证所建模型与具体军事需求的一致性,提出了基于xUML与DODAF的可执行体系结构建模及验证方法,分析了该方法的可行性与适用性,及其在验证系统动态行为方面的优势,给出了利用该方法进行建模的具体步骤。最后结合区域防空指挥信息系统开发实例,通过建模对该系统的部分动态行为进行了验证和分析,进一步证明了该方法的有效性。 展开更多
关键词 可执行体系结构 体系结构验证 可执行统一建模语言 动作规约语言
下载PDF
面向业务自动化转型的铁路运输调度业务数据模型构建方法研究 被引量:1
12
作者 郑然斐 孟令云 +3 位作者 苗建瑞 蒋熙 廖正文 潘钰雯 《铁道运输与经济》 北大核心 2024年第6期73-80,共8页
铁路运输生产调度业务自动化、智能化转型改进是推动铁路运输效率提升的重要手段。探讨业务转型过程中对业务各场景各颗粒度控制逻辑和信息流通的梳理建模方法,从而推动业务高效转型,在对运输生产调度业务深入分析的基础上,抽象了调度... 铁路运输生产调度业务自动化、智能化转型改进是推动铁路运输效率提升的重要手段。探讨业务转型过程中对业务各场景各颗粒度控制逻辑和信息流通的梳理建模方法,从而推动业务高效转型,在对运输生产调度业务深入分析的基础上,抽象了调度业务组织的关键影响要素和关键关联关系,梳理了工作流、信息流、信息流通机制与上述抽象的调度业务要素及这些要素间关联关系的对应关系,设计了一种刻画业务工作流、信息流和信息流通机制的数据模型构建方法。考虑到铁路运输生产调度业务分散协作、多级耦合的多层级多场景特点,设计了工作流、信息流数据模型的分化、细化关联机制,以实现对不同层级、场景调度业务的数据模型间有机关系的刻画,最后结合实际调度业务进行了应用分析。结果表明该方法构建的数据模型可以规范调度业务在不同场景、不同颗粒度下的控制逻辑和信息流通,从而为业务自动化转型过程中的信息系统开发和作业流程再造提供参考。 展开更多
关键词 调度指挥 数据模型 工作流 信息流 统一建模语言
下载PDF
UMLStatecharts的模型检验方法 被引量:40
13
作者 董威 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2003年第4期750-756,共7页
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁... 统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统. 展开更多
关键词 umlStatecharts 模型检验方法 软件开发 统一建模语言
下载PDF
UML Statechart图的操作语义 被引量:22
14
作者 李留英 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2001年第12期1864-1873,共10页
面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代... 面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代码产生、模拟和测试用例生成奠定了基础 .根据上述语义 ,基于 Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟 . 展开更多
关键词 操作语义 uml语言 Statechart图 软件测试 软件开发
下载PDF
基于ARENA的UML建模及其在飞行保障中的应用 被引量:12
15
作者 方绍强 卫克 +2 位作者 陈伟鹏 赵尚弘 李勇军 《系统仿真学报》 CAS CSCD 北大核心 2008年第11期3020-3023,3027,共5页
航空兵场站飞行保障是一个复杂的动态过程。结合Arena与UML两种工具的优点,利用UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图和活动图。并构建了CMV(模型-视图-控制)仿真软件架构。并对CMV进行了详细阐述。利用... 航空兵场站飞行保障是一个复杂的动态过程。结合Arena与UML两种工具的优点,利用UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图和活动图。并构建了CMV(模型-视图-控制)仿真软件架构。并对CMV进行了详细阐述。利用Arena对CMV架构进行了程序实现。按照主动保障和被动保障两种策略分别对UML模型进行了仿真。仿真结果表明,在现有保障装备的基础上,通过优化保障流程可以较大的提高场站的飞行保障效能。 展开更多
关键词 飞行保障过程 统一建模语言(uml) 建模 仿真
下载PDF
应用UML开发智能继电保护的整定计算程序 被引量:12
16
作者 张沛超 郁惟镛 +1 位作者 李翔 李航 《电网技术》 EI CSCD 北大核心 2001年第4期32-35,39,共5页
电力系统复杂应用软件的开发必能采用先进的软件工程学方法。统一建模语言 ( U nified Modeling L anguage,U ML )是近年来软件工程领域内取得的最重要成果之一。文章介绍了 UML 的产生背景及特点 ,然后详细讨论了 U ML在智能继电保护... 电力系统复杂应用软件的开发必能采用先进的软件工程学方法。统一建模语言 ( U nified Modeling L anguage,U ML )是近年来软件工程领域内取得的最重要成果之一。文章介绍了 UML 的产生背景及特点 ,然后详细讨论了 U ML在智能继电保护整定计算及管理系统 ( ICAPE)开发中的应用。结果表明 ,统一建模语言 ( UML )具有标准性、系统性、可视化、自动化等优点 ,在电力系统复杂软件的开发中 ,将其合理地应用于软件开发的各个阶段 ,有助于提高软件开发效率及软件质量。因此 ,UML 展开更多
关键词 电力系统 智能继电保护 整定计算程序 uml语言 开发
下载PDF
UML 软件开发过程和支持环境研究 被引量:33
17
作者 张莉 葛科 +1 位作者 王云 周伯生 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期407-410,共4页
从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(UnifiedModelingLanguage),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设... 从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(UnifiedModelingLanguage),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题. 展开更多
关键词 软件工具 uml 建模语言 柔性软件开发
下载PDF
基于UML的航空发动机仿真建模研究 被引量:20
18
作者 窦建平 黄金泉 周文祥 《航空动力学报》 EI CAS CSCD 北大核心 2005年第4期684-688,共5页
面向对象建模技术是建立可重用和扩展灵活的航空发动机仿真软件的有效途径。本文论述了应用可视化面向对象统一建模语言(UnifiedModelingLanguage)建立航空发动机仿真软件模型的方法和过程,首次运用UML表示法中的用例图、类图、顺序图... 面向对象建模技术是建立可重用和扩展灵活的航空发动机仿真软件的有效途径。本文论述了应用可视化面向对象统一建模语言(UnifiedModelingLanguage)建立航空发动机仿真软件模型的方法和过程,首次运用UML表示法中的用例图、类图、顺序图和活动图描述了发动机仿真软件模型,并用C++编程实现了仿真软件中发动机模型类库、算法类及图形界面类,在此仿真平台上成功的实现了某双轴涡扇发动机的稳态仿真和动态仿真。结果表明,UML是建立扩展灵活的发动机仿真软件的有力工具。 展开更多
关键词 航空 航天推进系统 面向对象建模 统一建模语言 仿真
下载PDF
基于UML的系统需求分析 被引量:34
19
作者 孔军 孙怡宁 +1 位作者 蒋敏 毕宝庆 《计算机工程与应用》 CSCD 北大核心 2003年第15期217-219,共3页
该文以高速公路征费系统软件为例,探讨了基于UML的系统需求分析的设计方法。意在说明UML的若干视图具有从多角度描述系统的优点,阐述了这种建模机制如何为实际业务系统应用中的需求分析提供新的技术和方法。
关键词 uml 面向对象 建模方法 需求分析
下载PDF
基于UML的软件Markov链使用模型构造研究 被引量:29
20
作者 颜炯 王戟 陈火旺 《软件学报》 EI CSCD 北大核心 2005年第8期1386-1394,共9页
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软... 软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性. 展开更多
关键词 统一建模语言 统计测试 MARKOV链使用模型 软件可靠性
下载PDF
上一页 1 2 54 下一页 到第
使用帮助 返回顶部