Specifying consistent subsets of UML

نویسندگان

  • Jean-Louis Sourrouille
  • Mohammed Hindawi
  • Lionel Morel
  • Régis Aubry
چکیده

While increasing progressively its expressive power, UML has become more and more difficult to read and understand, especially for beginners. To teach the whole UML is not possible, therefore teachers only deal with a subset of UML. We present a framework for defining precisely a consistent subset of a language, allowing everybody to define his/her own subset. An extended example shows a way to simplify UML sequence diagrams. Our approach use standard UML tools; models in the simplified language are fully compatible with UML; model mapping between metamodels is done automatically from specifications based on marking with stereotypes; constraints are automatically translated from the simplified language to UML.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams

The Unified Modeling Language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML’s built-in semantic variation points and extension mechanisms. The semantics specification of such extensions must be formally integrated and consistent with the standard UML semantics without changing the latter. Feasible semantics approaches must thus allow ad...

متن کامل

Towards Automating Source-Consistent UML Refactorings

With the increased interest in refactoring, UML tool vendors seek ways to support software developers in applying a (sequence of) refactoring(s). The problem with such tools is that the UML metamodel – on which their repository is based – is inadequate to maintain the consistency between the model and the code while one of them gets refactored. Therefore, we propose a set of minimal extensions ...

متن کامل

Towards an UML Profile for the Description of Software Architecture

Existing ADLs (architecture description languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use in industries since ADL users should learn a distinct notation specific to architecture, and ADLs do not address all stakes of development process that is becoming diversified everyday. On the other hand, UML is a de f...

متن کامل

UML 2.0 and agents: how to build agent-based systems with the new UML standard

UML 2.0 is the upcoming standard of the OMG for specifying object-oriented software systems. In this paper we will show how UML 2.0 can be applied for the specification of agent-based systems. Moreover we will give a short overview on existing agent methodologies to have a reference what has to be specified in such systems. The paper concludes with some outlook for further research and open iss...

متن کامل

Mapping OCL Constraints into CTL-like Logic and SML for UML Validation

UML [17] is the de facto standard for specifying both of the structural and behavioral aspects of systems. OCL (Object Constraint Language [16]), an integral part of UML, allows for specifying additional constraints on UML models in a more precise and concise manner. OCL has a mathematical definition based on set theory with a notion of object model and system states. UML and OCL are easy and f...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008