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...

Protocol State Machines (PSM) in UML 2.0 [13] describe valid sequences of operation calls. To support modeling components, UML 2.0 introduces a Port associated with a set of provided and required interfaces. Unfortunately, a PSM is applicable only to a single interface, either a provided or required one; moreover, nested calls cannot be modeled with a PSM. Furthermore, the definition of protoco...

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...