The current object-oriented development practice system analysis is documented through UML artifacts such as Class and Sequence diagrams. Since UML is a widely accepted modeling language, it also would be desirable to offer a UML support for the representation of agent-based system analysis artifacts. Although some central UML constructs are suitably matched for agent-based modeling, several im...

The Unified Modeling Language (UML) is commonly used in the development of non-real-time systems and is gaining popularity in the object-oriented real-time community as well. Recently, Rational Software Corporation teamed with ObjecTime, Ltd to develop UML for Real-Time (UML-RT). UML-RT uses the extensibility mechanisms of UML to incorporate concepts from ROOM (Real-time Object-Oriented Modelin...

There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system properties. In this paper we propose a systematic approach to transform UML static models into algebraic specifications. We define the GSBL algebraic language to cope with concepts of UML. Firstly, we give a formal descr...

X3D-UML utilises X3D (eXtensible 3D) to enable standards-based advanced 3D UML visualisations. Using X3D-UML, 3D UML State Machine Diagrams have been evaluated against actual user tasks and data, using the Sequential Evaluation methodology. The results of User Task Analysis, Heuristic Evaluation and Formative Evaluation phases provide clear evidence that the use of UML extended with 3D is a pra...

The Img2UML repository is a repository of UML models. A huge amount of UML models is available on the Internet – mostly in the form of images. This repository aims to offer these UML class diagram as a searchable XMI Database. The information that is in the XMI files is stored in the repository database. This repository will be useful for research as the first corpus of UML models. This reposit...

The definition of modeling languages is a key-prerequisite for model-driven engineering (MDE). In this respect, domain-specific languages (DSL) defined in terms of metamodels and UML profiles are often considered as two alternatives. For interoperability reasons, however, the need arises to bridge modeling languages originally defined as DSLs to UML profiles by defining (1) a specific UML profi...

The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. UML class diagrams are used to depict the static structure of a system with its entities and the relationships between them. The Object Constraint Language (OCL) is a textual language based on first-order logic and can be used to define constraints on the elements of class...

Abstract. Investigation of software projects has shown that requirements analysis is one of the most problematic activities in software development. Textual requirements specifications are difficult to develop, understand, review, and maintain. Graphical modeling is widely recognized as a more effective analysis tool. Software industry has adopted UML (Unified Modeling Language) as de facto sta...

We propose an approach to verify UML model elements based on the transformation of the UML meta-model into B formal specifications. The UML meta-model is described as a combination of graphical notations, natural and formal languages. The semantics of UML elements is expressed by well-formedness rules in the UML metamodel. Their correctness is ensured by the proof of the B specifications. The a...

s of lectures 1. Designing real-time systems with UML – the ROPES method Z H Object-oriented approach becomes dominating in contemporary software engineering. After a period of tempestuous development of object-oriented methods for software development, the Unified Modeling Language (UML) has emerged as a de facto standard. The UML is a graphical language for visualizing, specifying,...