A method for the definition of integrity constraints in object-oriented conceptual modeling languages

We propose a new method that eases the definition of integrity constraints in object-oriented conceptual modeling languages. The essence of the method is to represent constraints by special operations that we call constraint operations. The formal specification of these operations is the definition of the corresponding constraints. The method allows the specialization of constraints and the definition of exceptions. The main application of the method is for static constraints. However, a variant of it can also be applied for creation-time and deletion-time constraints, two particular classes of temporal constraints. The method can be adapted to any object-oriented language, and we show its adaptation to the UML. We also show that our method has several advantages over existing methods.     

Enhancing the semantics of UML association redefinition

Association redefinition is a UML construct that permits us to define an association end more specifically in a particular context. Concretely, it allows specifying some additional participation and cardinality constraints on the association. Association refinements, which have been studied and used by many authors in conceptual modelling languages prior to UML, are closely related to association redefinitions. They also permit to refine the ends of an association adding participation and cardinality constraints. In this paper, we analyze and compare the semantics of both concepts and propose to extend the semantics of association redefinitions in UML to cover all the constraints that may be expressed by association refinements in other conceptual modelling languages. Additionally, we present how to integrate previous results on validation of association refinements to UML and how to generate code for a relational technology platform. Finally, we provide a prototype tool to verify the feasibility of the approach.     

A UML profile for multidimensional modeling in data warehouses

The multidimensional (MD) modeling, which is the foundation of data warehouses (DWs), MD databases, and On-Line Analytical Processing (OLAP) applications, is based on several properties different from those in traditional database modeling. In the past few years, there have been some proposals, providing their own formal and graphical notations, for representing the main MD properties at the conceptual level. However, unfortunately none of them has been accepted as a standard for conceptual MD modeling.

In this paper, we present an extension of the Unified Modeling Language (UML) using a UML profile. This profile is defined by a set of stereotypes, constraints and tagged values to elegantly represent main MD properties at the conceptual level. We make use of the Object Constraint Language (OCL) to specify the constraints attached to the defined stereotypes, thereby avoiding an arbitrary use of these stereotypes. We have based our proposal in UML for two main reasons: (i) UML is a well known standard modeling language known by most database designers, thereby designers can avoid learning a new notation, and (ii) UML can be easily extended so that it can be tailored for a specific domain with concrete peculiarities such as the multidimensional modeling for data warehouses. Moreover, our proposal is Model Driven Architecture (MDA) compliant and we use the Query View Transformation (QVT) approach for an automatic generation of the implementation in a target platform. Throughout the paper, we will describe how to easily accomplish the MD modeling of DWs at the conceptual level. Finally, we show how to use our extension in Rational Rose for MD modeling.     

面向方面的UML建模

为了解决软件开发中建模对于系统级关注点被忽略的问题,提出了面向方面的UML建模模型。对面向方面技术和UML进行全面介绍,使其了解它们的主要构成及参数,并基于AspectJ语言扩展UML中的特征文件(profile),来实现面向方面UML建模(AUML)。该扩展是UML体系的一种扩充,它既结合了UML面向对象的特点,又对面向方面横切关注点在语义和结构上进行了规范。最后就图书管理系统进行举例说明,总结了面向方面软件开发(AOSD)profile的参数。     

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的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

基于UML的彩色建模技术的研究与应用

建模技术是进行业务系统设计的关键技术。彩色建模技术是在UML建模的基础上,运用色彩进行的可视化建模技术。文中对彩色建模技术进行了介绍和研究,并针对专家在线咨询系统的设计过程,运用彩色建模技术进行了建模的研究工作。介绍了彩色建模的4种常用的模型原型及相应的色彩着色方案,给出了在实践中运用彩色建模技术的实现策略。对于在实践中运用彩色建模技术进行业务系统建模工作具有指导意义。     

An investigation into applying UML to the Zachman framework

The Zachman framework is considered to be the most referenced framework for the purpose of enterprise architecture. It is commonplace to compare other frameworks with this basic one in order to show correctness and usability of those frameworks. However, this is more than a fashion, the Zachman framework is actually the best one. Despite of its popularity, the Zachman framework could be a challengeable one in practical situations because there are not enough well-known methods and tools covering all of its aspects. Three major challenges in using this framework, are discussed in this article. These challenges are lack of a methodology, a well-defined repository and a popular modeling notation. Focus of this article is on solving the last problem with the help of notations in UML (Unified Modeling Language) and UML Business Profile. At the first glance the topic seems to be already researched by others, but there are some major distinctions between this work and the others', which make it a unique one. Most of the other work tried to cover the framework using multiple class diagrams stereotyped in different ways. This work tries to cover the Zachman framework using all of the UML features, especially those, which are convenient in common modeling tools as well as ignoring unfamiliar symobls as it is used by some authors. A case study is used upon which we show how to apply the selected notation on a sample enterprise to develop cells in second and third rows of the framework. Models are tested to consider if they are supporting Zachman rules governing the framework. Furthermore, in order to see if they could be convincing enough, a statistical study is employed. Although results of these tests are relatively acceptable, the problem of inventing new modeling notations is mentioned as an open problem.     

What do the pictures mean? Guidelines for experimental evaluation of representation fidelity in diagrammatical conceptual modeling techniques

It is important to articulate the objectives and underlying assumptions behind a growing body of experimental research in conceptual modeling. We provide four guidelines for developing materials for experiments that evaluate conceptual modeling techniques, under the assumption that a primary purpose of conceptual modeling is to facilitate communication between analysts and users in validating domain knowledge during systems development. These guidelines assist in developing experimental materials that support meaningful tests of domain semantics. We present empirical evidence indicating the value of two of the guidelines. We also evaluate selected recent experiments on conceptual modeling with respect to the guidelines.     

基于UML的面向对象建模研究

本文介绍了UML的基本概念和主要内容,以及UML的建模机制,并结合实例描述了基于UML的面向对象建模过程。     

Consistency checking and querying in probabilistic databases under integrity constraints

We address the issue of incorporating a particular yet expressive form of integrity constraints (namely, denial constraints) into probabilistic databases. To this aim, we move away from the common way of giving semantics to probabilistic databases, which relies on considering a unique interpretation of the data, and address two fundamental problems: consistency checking and query evaluation. The former consists in verifying whether there is an interpretation which conforms to both the marginal probabilities of the tuples and the integrity constraints. The latter is the problem of answering queries under a “cautious” paradigm, taking into account all interpretations of the data in accordance with the constraints. In this setting, we investigate the complexity of the above-mentioned problems, and identify several tractable cases of practical relevance.     

基于UML的MIS开发方法研究

本文对UML的建模机制作了系统的概述,然后以MIS的开发为背景,探索了基于UML的特定应用领域的系统开发方法及UML各图形之间的内在联系,说明了基于UML的系统开发过程是以用例为中心的开发方式。     

UML技术在软件可靠性测试中的应用

软件操作剖面的建立是进行软件可靠性测试的基础.介绍了使用UML技术建立软件操作剖面的方法,并结合具体应用实例说明了使用该技术构建软件操作剖面的过程.     

UML及其在图书管理系统中的应用

UML是面向对象的标准化的建模语言,它融入了软件工程领域的新思想、新方法和新技术。文章介绍了UML的主要内容,并以图书管理系统为实例,探讨了基于UML的建模过程。     

扩展UML用于面向方面的建模

面向方面编程(AOP)向用户提供了把贯穿特性模块化和编排的能力，以便获得最大的代码重用以及解决代码混乱的问题。然而，目前还没有合适的对AOP的建模语言。文中讨论了一种扩展UML用于面向方面的建模的方法，并通过一个例子来说明这种方法的应用。     

基于UML的概念模型的Petri网映射算法研究

概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证.在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性.方法有利于检查模型映射前后的一致性,同时具有可扩展的优点.     

基于UML顺序图的Petri网建模

UML(统一建模语言)是一种功能较强的面向对象图形建模工具,但其过程描述中缺乏严格的语义,而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来,阐述了UML类图、顺序图的Petri网建模转换方法,避免直接进行Petri网建模过程的烦琐,使建模过程清晰可见。     

基于UML的高校科研管理系统建模

以高校科研管理系统开发为背景,探讨了UML在该系统建模中的应用问题。在对系统进行需求分析的基础上,采用Rational Rose工具对系统进行了需求模型、静态模型、动态模型及实现模型的建模。此过程中,UML为面向对象系统的开发和支持环境的建造提供了一种丰富、严谨、扩充性强的表达方式。     

面向对象的标准建模语言UML

面向对象的标准建模语言ＵＭＬ,是当今软件工程领域中最具有意义的成果之一,它定义的一统一定义和符号表示可以规范面向对象技术市场,使项目源于一个成熟的标准模语言,从而拓宽了所研制与开发的软件系统的适用范围,并提高其灵活程度。本文就ＵＭＬ中的一些特征与技术作了一个总体概述。     

电网分析仪监控系统的UML建模

以电网分析仪监控系统为背景,探讨了基于UML的面向对象系统建模方法,并与传统系统建模方法进行了比较,展示了UML在获取系统功能需求、增强系统可视性和可维护性等方面具有的优点。