With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...

Unified Modeling Language (UML) is a standard language for modeling of a system. UML is used to visually specify the structure and behavior of a system. The system requirements are captured and then converted into UML specification. UML specification uses a set of rules and notations, and diagrams to specify the system requirements. In this paper, we present a tool for developing the UML specif...

UML sequence diagrams used to define basic interactions between objects at the level of method invocation while they are not well-suited for describing the complex interactions as they occur in multi-agent systems. In order to solve this problem, Agent UML is proposed based on UML2.0 by OMG and FIPA. Three extensions to UML are analyzed and an example is utilized to show the Agent UML sequence ...

This paper discusses a Unified Modelling Language (UML) based formal verification methodology for early error detection in the model-based software development cycle. Our approach proposes UML-based process utilising functional and behavioural modelling artifacts of UML. It reinforces these with model transition property verification. The main contribution is UML to Labelled Transition System (...

Unified Modeling Language (UML) has emerged as the software industry’s dominant modeling language. It is the de facto modeling language standard for specifying, visualizing, constructing, and documenting the components of software systems. Despite its prominence and status as the standard modeling language, UML has its critics. Opponents argue that it is complex and difficult to learn. Some que...

While UML is recognized as the de-facto standard in modeling software systems, it is at the same time often criticized for being too large and complex. To be able to evolve UML to overcome this criticism, evidence is needed about which parts of UML are actually used. In this respect, a few studies exist that investigate which diagram types of UML are commonly used. However, to the best of our k...

An isomorphic UML mapping of SpecC syntax and its semantic preserving transformation is presented. SpecC is one of several competing efforts to deal with the system-level specification and design of embedded systems, and for which we have formalized UML mappings, into what is collectively known as YES-UML. YES-UML is a broadspectrum notation built as a series of extensions to UML to support exi...