首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 93 毫秒
1.
为提高软件生产过程的质量,文章提出了一种基于UML的概念建模方法.概念建模的目的是用一种规约详细描述系统的功能,主要工作是寻找系统必需的类.该方法利用熟知的UML的标准符号和技术,介绍了以时序图作为分析工具,将高层次的软件需求分解成更详细规约的需求分析过程(RAP),并讨论了确认、验证和可跟踪性问题.  相似文献   

2.
为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现。该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制。  相似文献   

3.
比较了面向过程和面向对象两种软件建模技术的特点;分析了统一建模语言(UML)的建模机制;通过应用UML进行高炉开炉装料系统建模,介绍了UML建模技术的建模步骤和实现细节。  相似文献   

4.
面向服务领域软件系统的模型驱动建模方法   总被引:1,自引:0,他引:1  
面向服务体系结构(SOA)的工程化和建模对现有的建模技术和方法提出了新的挑战.提出了一种基于web服务的领域服务原型系统的快速模型驱动建模框架.从服务构件的概念和标准统一建模语言(UML)2.0的建模构造出发,给出了一个综合的服务软件建模过程.在此基础上,讨论了模型驱动的web服务的特性描述,重点是介绍一种基于UML扩充机制的面向web服务描述语言(WSDL)的建模技术.通过一个流通领域的面向服务企业资源计划(ERP)系统的实际建模,展示了所提方法是切实可行的.  相似文献   

5.
UML是以对象模型为基础的适用于编制软件蓝图的标准化语言,它提供了软件过程和方法的描述基础。本文介绍UML的主要内容,并以学生选课系统为实例,探讨了基于UML的建模过程。  相似文献   

6.
工作流是解决企业复杂业务过程信息化的一种技术,运用UML模型指导工作流管理系统开发,可以提高软件的一致性和可重用性。分析了基于J2EE架构的轻量级工作流管理系统的体系结构,简要介绍了一种贯穿软件开发整个生命周期的建模步骤和方法,并以此为依据,使用面向对象的建模语言UML对系统建模,给出了系统开发各个阶段的模型描述。  相似文献   

7.
UML是当今最流行的标准建模语言,嵌入式系统是以应用为中心、以计算机技术为基础的专用计算机系统,是软件和硬件的综合体;而嵌入式系统设计的好坏是数字商品成功荫关键。本文重点讨论UML建模中重要的概念,以及如何在嵌入式系统设计中使用UML OOD建模技术,并结合实例“微波炉小灯”演示采用UML的嵌入式系统设计过程。  相似文献   

8.
基于UML的嵌入式指纹识别系统软件建模   总被引:2,自引:0,他引:2  
标准建模语言UML是广泛使用的可视化面向对象系统的建模方法。该文介绍了使用UML对嵌入式指纹识别系统进行面向对象软件分析与建模设计的过程。论述了利用UML的各种标准符号进行需求分析、系统整体设计的整个过程。  相似文献   

9.
张敏 《福建电脑》2009,25(11):117-118
统一建模语言(UML)是面向对象分析和设计过程中重要的建模工具,适用于软件生命周期的各个阶段。使用UML对机房管理系统进行需求建模,静态建模,动态建模和实现模型的建模。将UML应用在系统的的需求,设计,实现等阶段.提高了系统的可维护性和扩展性。  相似文献   

10.
基于UML的面向对象建模   总被引:8,自引:0,他引:8  
统一建模语言(UML)是一种面向对象的建模语言,本文简要介绍了UML的建模机制,并以UML为工具进行了在线图书销售系统的实际建模,简要演示了应用UML建模的思路和过程。  相似文献   

11.
一种基于UML的软件产品线可变性建模方法   总被引:2,自引:0,他引:2  
罗代忠  赵文耘  彭鑫 《计算机应用》2008,28(8):2137-2140
将UML引入到软件产品线开发中,在产品线可变性分析的基础上,提出了一种基于UML的产品线可变性建模方法。该方法不仅支持可选、多选一等可变点类型的描述,还支持软件产品线可变性的约束建模。在此基础上,还通过一个手机应用软件的产品线可变性建模实例验证了该方法的有效性。  相似文献   

12.
Current XML editors do not provide conceptual modeling for XLink. This leads to inefficient development processes, and a low potential for reuse. To address these shortcomings, this study presents a Model Driven Architecture (MDA) approach with the UML profile to build XLink applications for various domains. This investigation demonstrates how users can use the UML profile to provide a conceptual and visual modeling for XLink applications, and automatically generate different XLink-based documents for various domains. The proposed methodology enables Web-based system developers to generate relationships between resources, and to improve software quality by adopting software engineering techniques in XML development.  相似文献   

13.
Mashup is now a major Web 2.0 technology because, rather than simply aggregating Web content, it combines various Web resources from other websites. Considering Web 2.0 mashups from a software engineering perspective, a visual modeling approach is crucial. Current Web 2.0 developments, however, do not support a conceptual modelling for Web 2.0 applications. This leads to inefficient development processes and a low potential for reuse. The Unified Modeling Language (UML) is a general-purpose modeling language that may be used in widely varying application domains. However, UML often lacks elements for modeling and representing concrete concepts of specific domains such as Web 2.0 mashup modeling. To address these shortcomings, this study proposes Web2.0MUML, a Model Driven Architecture (MDA) approach and UML profile for modeling Web 2.0 mashups. The Web2.0MUML profile extends UML by using a profile mechanism for Web 2.0 mashup modeling that presents the relevant structural properties of Web 2.0 at the conceptual level.  相似文献   

14.
Aspect-oriented modeling (AOM) emerged as a promising paradigm for handling crosscutting concerns, such as security, at the software modeling level. Most existing AOM contributions are presented from a practical perspective and lack formal syntax and semantics. In this paper, we present a practical and formal AOM framework for software security hardening. Our contributions are threefold. First, we define an AOM approach for the specification of security aspects at the unified modeling language (UML) design level. Second, we design and implement the matching and the weaving processes into UML design models. Third, we elaborate formal specifications for aspect matching and weaving in UML activity diagrams. Finally, we demonstrate the viability and the relevance of our propositions using a case study. The proposed framework is supported by a tool built on top of IBM-Rational Software Modeler.  相似文献   

15.
在基于组件的软件开放方式(CBD)下,软件系统是一些盯互联系的可重用组件的集合,因此需要对系统的每一个组件以及组件之间的相互关系有很好的理解。UML作为一种标准建模语言,不仅可以支持面向对象的分析与设计,而且能够有力地支持从需求分析开始的软件开发全过程。但是UML对组件建模的支持并不理想,这就需要开发一种能很好支持组件建模的方法。本文提出一种用UML描述组件规格说明的方法。将组件规格说明分解成组件接口规格说明。通过对组件的每个接口和组件接口之间的相互关系加以形式描述,从而达到组件规格说明的清晰性和精确性。  相似文献   

16.
Many architectural languages have been proposed in the last 15 years, each one with the chief aim of becoming the ideal language for specifying software architectures. What is evident nowadays, instead, is that architectural languages are defined by stakeholder concerns. Capturing all such concerns within a single, narrowly focused notation is impossible. At the same time, it is also impractical to define and use a “universal” notation, such as UML. As a result, many domain-specific notations for architectural modeling have been proposed, each one focusing on a specific application domain, analysis type, or modeling environment. As a drawback, a proliferation of languages exists, each one with its own specific notation, tools, and domain specificity. No effective interoperability is possible to date. Therefore, if a software architect has to model a concern not supported by his own language/tool, he has to manually transform (and, eventually, keep aligned) the available architectural specification into the required language/tool. This paper presents DUALLy, an automated framework that allows architectural languages and tools interoperability. Given a number of architectural languages and tools, they can all interoperate thanks to automated model transformation techniques. DUALLy is implemented as an Eclipse plugin. Putting it in practice, we apply the DUALLy approach to the Darwin/FSP ADL and to a UML2.0 profile for software architectures. By making use of an industrial complex system, we transform a UML software architecture specification in Darwin/FSP, make some verifications by using LTSA, and reflect changes required by the verifications back to the UML specification.  相似文献   

17.
《Software, IEEE》2002,19(1):8-10
These days, practically everyone involved in developing software draws pictures that represent some aspect of the software or its requirements. They do this to improve their own understanding and, usually, to communicate that understanding to others. But all too often, the understanding is muddled and confused because the designer hasn't clearly established the picture's purpose or explained how others should interpret it. Surprisingly, this is true even when the designer uses an established modeling standard, such as the Unified Modeling Language (UML). The article looks at implementation, specification, and conceptual models in order to explain the intricacies of model based software design  相似文献   

18.
提出了一种将UML模型转换成SDL模型的方法.UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便.但是,UML缺乏形式化语义,因此不能满足协议精确性的要求.SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它.在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点.通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换.  相似文献   

19.
I‐Ching Hsu 《Software》2012,42(10):1211-1227
Web 2.0 Mashups offer entirely new opportunities for context‐aware application (CAA) developers by integrating Web 2.0 technologies to facilitate interoperability among heterogeneous context‐aware systems. From a software engineering perspective, a visualized approach for Web 2.0‐based CAA modeling is crucial. Current CAA development, however, cannot provide a conceptual model for Web 2.0‐based CAA. Therefore, the development efficiency and potential for reuse are decreased. The UML is a general purpose modeling language with potential for use in many application domains. However, UML often lacks elements needed to model concepts in specific domains, such as Web 2.0‐based CAA modeling. To address the above issues, this study presents the Web 2.0‐based CAA UML profile, a UML profile for modeling Web 2.0‐based CAA. Copyright © 2011 John Wiley & Sons, Ltd.  相似文献   

20.
一种基于对象序列图的组件交互协议设计方法   总被引:2,自引:0,他引:2  
魏峻  王栩  李京 《软件学报》2001,12(7):996-1006
基于组件的软件开发(component-basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被广泛采用的思想是,分离组件的功能与交互特征,使用独立部件-交互协议来协调组件之间的交互.基于这种思想,探讨运用UML(unifiedmodelinglanguage)的对象序列图(objectsequencediagram,简称OSD)方法进行组件交互协议设计的多个方面的研究,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法,并为开发组件交互协议提出了一个集成OSD可视化建模和形式分析技术的软件工具框架.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号