The UML sequence diagram is the second most common that represents how objects interact and exchange messages over time. Sequence diagrams show events or activities in a use case are mapped into operations of object classes class diagram. general acceptance can be attributed to their relatively intuitive nature ability describe partial behaviors (as opposed such as state charts). However, studi...

A lot of work has been done in order to put the Unified Modeling Language (UML) on a formal basis by translating concepts into various formal languages, e.g., set theory or graph transformation. While the abstract UML syntax is defined by using an endogenous approach, i. e., UML describes its abstract syntax using UML, this approach is rarely used for its semantics. This paper shows how to appl...

Unified Modeling Language (UML) is considered as one of the widespread modeling language standardized by the Object Management Group (OMG). Therefore, the model driving engineering (MDE) community attempts to provide reuse of UML diagrams, and do not construct it from scratch. The UML model appears according to a specific software development process. The existing method generation models focus...

A software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve their consistency, since these diagrams are subject to continuous changes due to successive refinements or evolutions. Contemporary UML tools provide unsatisfactory support for maintaining the consistency between different versions of UML diagrams. To solve this problem, an extension of th...

Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different aspects of the application. Their interpretation, extension, revision and integration becomes awful difficult if developers use the full freedom of UML, apply their own semantics and do not agree an common parts. We propose an...

3.1 UML Language Architecture.............................................................................8 3.1.1 BASIC BUILDING BLOCKS OF UML ........................................................................9 3.1.2 RELATIONSHIPS...................................................................................................10 3.1.3 DIAGRAMS ...............................................

In this article we describe an approach towards increasing the robustness of the UML refinement machinery. The aim of this work is not to formalize the UML notation itself, but to substantiate a number of intuitions about the nature of possible refinement relations in UML, and even to discover particular refinement structures that designers do not perceive as refinements in UML.

Groupware is explicitly designed to support the cooperation among group members. The implementation of cooperation-aware groupware is supported by several object-oriented toolkits and frameworks, but there is no uni®ed way to model applications built on top of these. We have proposed UML-G as an extensible UML pro®le for modeling groupware and are in the process of turning it into a community e...