Maintaining constraints of UML models in distributed collaborative environments

Constraint maintenance plays an important role in keeping the integrity and validity of UML models in embedded software design. While constraint maintenance capabilities are reasonably adequate in existing UML modeling applications, little work has been done to address the distributed constraint maintenance issue in multi-user collaborative modeling environments. The nature of the issue is to maintain constraint consistently across distributed sites in a collaborative modeling environment in the face of concurrency. In this paper, we propose a novel solution to this issue, which can retain the effects of all concurrent modeling operations even though they may cause constraint violations. We further contribute a distributed constraint maintenance framework in which the solution is encapsulated as a generic engine that can be mounted in a variety of single-user UML modeling applications to support collaborative UML modeling and distributed constraint maintenance in embedded software design processes. This framework has been implemented in a prototype distributed collaborative UML modeling application CoRSA.     

基于UML的C3I系统软件建模

UML是一种通过面向对象分析确定由类图和行为图表述的逻辑体系结构和通过面向对象设计确定由构件图和配置图表述的物理体系结构的方法,目前已经成为面向对象分析与设计建模事实上的标准;首先介绍了UML技术及其在开发应用程序中的一般框架,并以此为依据,使用UML结合光电干扰武器系统C3I的建模应用实例对其进行了具体论述。     

基于UML的系统分析与设计框架

UML是一种标准的建模语言,但它并没有定义一个标准的开发过程.根据多年的教学科研和开发实践,提出一个基于UML的面向对象分析与设计框架,以用例为核心,描述软件系统的功能需求,静态结构,动态行为和物理结构4个方面.该框架展示了UML建模在系统开发中的应用,深入地研究建模过程中所用的模型图及其之间的关系,解决了开发过程中的模型平稳过渡问题,时面向对象分析与设计具有很强的指导性.     

基于UML的图书管理系统的建模过程

UML是一种建模语言,它取代软件界的众多分析和设计方法,已经成为被业界认可的标准建模语言,在软件领域和其他领域都起着举足轻重的作用。UML支持从需求分析、系统设计到具体实现的软件开发全过程。本文通过对图书管理系统的分析,介绍UML的基本概念和建模过程,从而说明UML在实际问题中的应用。     

基于同态映射的从UML导出可综合Verilog算法

UML建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点，而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为，故更精细的系统级建模方法变得日趋重要。本文构建了UML元模型与可综合Verilog间的同态映射，定义了一个从UML模型子集导出可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而使运用UML进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。     

Test Synthesis from UML Models of Distributed Software

The object-oriented software development process is increasingly used for the construction of complex distributed systems. In this context, behavior models have long been recognized as the basis for systematic approaches to requirements capture, specification, design, simulation, code generation, testing, and verification. Two complementary approaches for modeling behavior have proven useful in practice: interaction-based modeling (e.g., UML sequence diagrams) and state-based modeling (e.g., UML statecharts). Building on formal V&V techniques, in this article we present a method and a tool for automated synthesis of test cases from scenarios and a state-based design model of the application, remaining entirely within the UML framework. The underlying "on the fly" test synthesis algorithms are based on the input/output labeled transition system formalism, which is particularly appropriate for modeling applications involving asynchronous communication. The method is eminently compatible with classical OO development processes since it can be used to synthesize test cases from the scenarios used in early development stages to model global interactions between actors and components, instead of these test cases being derived manually. We illustrate the system test synthesis process using an air traffic control software example     

基于MetaEdit+的元建模

统一建模语言UML的广泛使用大大提升了模型在软件开发中的作用,以模型为核心的软件开发方法逐渐被人们所接受.但由于UML是作为一种通用建模语言而设计的,它既庞大而又复杂,所以不容易为领域专家所学习和掌握,常常使软件设计人员陷入繁重的建模工作而不能脱身.使用面向特定领域的建模语言DSL(Domain Specific La...     

探讨基于UML的软件体系结构开发方法

在软件工程领域中,必须对软件体系结构进行系统准确的开发,才能保证软件系统的独特性、科学性与智能性。ADL作为一种常用的描述语言,虽然在一些体系结构语言中能够进行一定的定义与开发,但目前仍然很难和主流的开发方法集成在一起。而随着软件技术的不断发展,UML已经逐渐被工业界认可。从UML软件系统的4种模型入手,利用实例的分析方法,从而使大家能对UML的相关技术有进一步的了解。     

MeDEA: A database evolution architecture with traceability

One of the most important challenges that software engineers (designers, developers) still have to face in their everyday work is the evolution of working database systems. As a step for the solution of this problem in this paper we propose MeDEA, which stands for Metamodel-based Database Evolution Architecture. MeDEA is a generic evolution architecture that allows us to maintain the traceability between the different artifacts involved in any database development process. MeDEA is generic in the sense that it is independent of the particular modeling techniques being used. In order to achieve this, a metamodeling approach has been followed for the development of MeDEA. The other basic characteristic of the architecture is the inclusion of a specific component devoted to storing the translation of conceptual schemas to logical ones. This component, which is one of the most noteworthy contributions of our approach, enables any modification (evolution) realized on a conceptual schema to be traced to the corresponding logical schema, without having to regenerate this schema from scratch, and furthermore to be propagated to the physical and extensional levels.     

数据库应用系统的建模研究

介绍了当今的软件建模发展现状及UML的建模框架和策略,并针对高校机房计费系统的实例,讲解与RUP相容的建模框架,给出了基于UML的数据库应用系统建模的整体设计流程。     

Model interoperability via Model Driven Development

Among the factors that contribute to the inherent complexity of the software development process is the gap between the design and the formal analysis domains. Software design is often considered a human oriented task while the analysis phase draws on formal representation and mathematical foundations. An example of this dichotomy is the use of UML for the software design phase and Petri Nets for the analysis; a separation of concerns that leads to the creation of heterogeneous models. Although UML is widely accepted as a language that can be used to model the structural and behavioural aspects of a system, its lack of mathematical foundations is seen as a serious impediment to rigorous analysis. Petri Nets on the other hand have a strong mathematical basis that are well suited for formal analysis; they lack however the appeal and the ease-of-use of UML. A pressing concern for software developers is how to bridge the gap between these domains and allow for model interoperability and the integration of different toolsets across them, and thus reduce the complexity of the software development process. The aim of this paper is to present a Model Driven Development (MDD) model transformation which supports a seamless transition between UML and Petri Nets. This is achieved by model interoperability from UML Sequence Diagrams to Petri Nets and supported by tool integration. The model transformation framework allows a software system to be designed in terms of UML Sequence Diagrams and subjected to formal analysis by taking advantage of the strong mathematical framework of Petri Nets. The behaviour of a Personal Area Network will be used to illustrate the proposed approach and to highlight model interoperability and tool integration through the design, the transformation and the analysis phases.     

A framework for an integrated unified modeling language

The unified modeling language (UML) is one of the most commonly used modeling languages in the software industry. It simplifies the complex process of design by providing a set of graphical notations, which helps express the objectoriented analysis and design of software projects. Although UML is applicable to different types of systems, domains, methods, and processes, it cannot express certain problem domain needs. Therefore, many extensions to UML have been proposed. In this paper, we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical (iUML-g) form. iUML-g integrates the existing UML extensions into one integrated form. This includes an integrated diagram for UML class, sequence, and use case diagrams. The proposed approach is evaluated using a case study. The proposed iUML-g is capable of modeling systems that use different domains.     

A generic framework: from modeling to code

Model-driven development (MDD) is a very popular technique in the area of software development, but this technique is criticized due to lack of a formal semantics. MDD is used for large-scale system development using semi-formal techniques like UML (Unified Modeling Language), which are not amenable to formal analysis and consistency checking. Formal methods with MDD may provide an assurance of correctness of the system. This paper advocates an approach to building generic framework for rigorous MDD that is based on combining semi-formal notations with formal modeling languages, correctness of the system using model checker and automatic code generation from the verified formal specification. The main objective of this work is to apply model-driven techniques and tools with formal verification and its code generation for designing critical systems. An assessment of the proposed framework is given through a case study, relative to the development of a cardiac pacemaker system.     

Reasoning about UML/OCL class diagrams using constraint logic programming and formula

Model Driven Engineering promotes the use of models as the main artifacts in software and system development. Verification and validation of models are key activities to ensure the quality of the system under development. This paper presents a framework to reason about the satisfiability of class models described using the Unified Modeling Language (UML). The proposed framework allows us to identify possible design flaws as early as possible in the software development cycle. More specifically, we focus on UML Class Diagrams annotated with Object Constraint Language (OCL) invariants, which are considered to be the main artifacts in Object-Oriented analysis and design for representing the static structure of a system. We use the Constraint Logic programming (CLP) paradigm to reason about UML Class Diagrams modeling foundations. In particular, we use Formula as a model-finding and design space exploration tool. We also present an experimental Eclipse plug-in, which implements our UML model to Formula translation proposal following a Model Driven Architecture (MDA) approach. The proposed framework can be used to reason, validate, and verify UML Class Diagram software designs by checking correctness properties and generating model instances using the model exploration tool Formula.     

基于UML的电子商务系统的分析和设计

随着商业软件的发展,传统的系统分析设计的方法已不能很好地适应现在的要求。该文通过介绍eBox电子商务系统的分析和设计,介绍了UML的概念和如何在系统分析设计中应用UML,实践表明在应用软件开发中应用UML对提高应用软件的开发效率和质量有很大的帮助,它很好地解决了现存的问题。UML在软件开发中具有很广阔的应用前景。     

基于UML的城市污水处理系统的建模研究

利用Rational Rose工具创建UML模型,以城市污水处理过程为建模对象,从软件开发的整体高度,再现污水处理过程的框架及其步骤,为此,进行了用例图、活动图和时序图的建模分析设计,用于辅助研发污水处理仿真软件。同时介绍了UML在实际软件开发流程中的应用,最后完成了污水处理仿真软件的框架设计和开发。     

An expanded SEMATECH CIM framework for heterogeneous applications integration

A significant effort in recent computer-integrated manufacturing (CIM) development was carried out by SEMATECH who had laid out and created an open framework for the integration of manufacturing execution system applications running in semiconductor industries at the factory operation level. This paper presents the feasibility to incorporate basic manufacturing applications at the factory engineering level, which include product design, process planning, and material requirement planning, into the SEMATECH CIM framework to form a generic framework across both factory operation level and factory engineering level. The CIM framework established in this paper was aimed to provide a reusable integrated system framework that clearly specifies the functional interface boundaries and standard information model of the required components, in general, manufacturing systems at both factory operation and factory engineering levels. Standard unified modeling language (UML) diagrams and Petri nets have been utilized to model and analyze the specifications and dynamic behaviors of this generic CIM framework. The goal is to build a framework by creating a common, modular, flexible, and integrated object model that unifies an advanced object-oriented architecture concept and heterogeneous manufacturing application development in an open and multisupplier CIM system environment.     

基于NTFS文件系统的数字证据收集技术

分析了NTFS文件系统的物理结构和逻辑框架,提出了计算机取证软件的开发需要先解决元数据的读取和碎片文件的恢复等问题,并编程实现了信息收集模块,为计算机取证软件的设计提供了一种方案。     

Secure business process model specification through a UML 2.0 activity diagram profile

Business processes have become important resources, both for an enterprise's performance and to enable it to maintain its competitiveness. The languages used for business process representation have, in recent years, been improved and new notations have appeared. However, despite the wide acceptance of the importance of business process security, to date the business analyst perspective in relation to security has hardly been dealt with. Moreover, security requirements cannot be represented in modern business process modeling notations.In this paper, we present an extension of UML 2.0 activity diagrams which will allow security requirements to be specified in business processes. Our proposal, denominated as BPSec (Business Process Security), is Model Driven Architecture compliant since it is possible to obtain a set of UML artifacts (Platform Independent Model-PIM) used in software development from a Secure Business Process model specification (Computation Independent Model-CIM). We also present the application of our approach to an example based on a typical health care institution, in which our M-BPSec method is employed as a framework for the use of our UML extension.     

基于UML和组件技术的软件开发环境IUMLSE的研究与实现

统一建模语言UML（Unified Modeling Language）正逐步成为面向对象技术领域内占主导地位的建模语言。而组件（Component）技术的蓬勃发展使基于组件组装的软件开发成为可能。两者正无可争议地成为当今和未来软件开发的主流技术。文章对UML和组件技术进行了描述,探讨了两者在软件开发中的作用和相互之间的联系,以及新一代的软件开发环境应该如何对两者提供支持,然后详细介绍了基于UML和组件技术的软件开发环境IUMLSE的设计和实现。