This article will attempt to provide a fast track introduction for those that need to learn the UML basics and to begin to start understanding UML so that it can be incorporated into your development project. I shall begin by clarifying exactly what UML is and is not. Then question why we should use the UML at all. Then I will conclude part 1 of this article with a high-level tour of the UML mo...

The use of UML for developing real-time systems is rapidly gaining attention from the industry. The future release of a response to the OMG RFP for a “UML profile for performance, scheduling and time” [1] will probably boost the acceptance of UML by the real-time development community. The team formed inside OMG’s Real-Time Analysis and Design working group, preparing the response to the above ...

Hazard and Operability (HazOp) and Fault Tree Analyses (FTA) are embedded into UML component models. The latter are constructed by employing UML's extension mechanisms in conjunction with component-based software techniques. Taking an application's safety-related requirements into consideration, the elements of HazOp and FTA are defined as component attributes, and assigned to a UML component m...

This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation preand postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and...

Model simulation is a credible approach for model validation, complementary to others such as formal verification and testing. For UML 2.x, model simulations are available for state machines and communication diagrams; alternative finer-grained simulations, e.g., as are supported for Executable UML, are not available without significant effort (e.g., via profiles or model transformations). We p...

This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...

The Unified Modeling Language (UML) is a language for specifying, visualizing and documenting object-oriented systems, and serves as a standard OO modeling notation. As the semantics of UML constructs is given informally in natural language, it is, for example, difficult to formally reason about correctness of a system design. Formal methods provide a rigor that is lacking in most of OO modelin...

Zusammenfassung Bei der hier vorgestellten Arbeit geht es darum, die Eignung der Uni ed Modeling Language (UML) zur Modellierung von Software-Entwicklungsprozessen zu erproben. Als Demonstrationsbeispiel wurde das Vorgehensmodell EOS (für Evolutionäre, Objektorientierte Software-Entwicklung) gewählt. Zur Modellierung wurden primär UML-Klassendiagramme, Aktivitätsdiagramme und Zustandsdiagramme ...

Distributed, reactive software systems, e.g. process control tools, can be modelled with the Unified Modelling Language (UML). Recently such UML models are used to generate source code automatically. Because of the complexity of UML, it is necessary to restrict the usage of its constructs by defining UML profiles to allow the automatic generation of source code. In this paper a UML profile for ...

There have been several attempts to visualize OWL ontologies with UML style diagrams. Unlike ODM approach of defining a UML profile for OWL, we propose an extension to UML class diagrams (hard extension) that allows a more compact OWL visualization. The compactness is achieved through the native power of UML class diagrams extended with optional Manchester encoding for class expressions thus av...