A key aspect of successfully using UML is understanding the semantics of the notations. UML 2 will increase the already substantial collection of notations supported by UML 1.x. At the same time, this will augment the difficulty users experience in understanding semantics. In this paper we propose that while the diverse notations may render concepts differently, the concepts can often be consid...

This study is concerned with the developing criteria for learning the semantics of UML models in an intelligent tutorial system. This is achieved by going through literature and studying the current approaches for checking the semantics of UML diagrams. This paper concerns with the ability of learning the semantics of UML models using formal methods, For this reason this research enhance an exi...

The topic of UML model consistency is becoming increasingly important. Having a tool that checks the consistency of UML models is very useful. Using the XMI standard, the consistent models can be transferred from the checker tool to any other UML tool. By means of practical examples, this paper shows that using a framework based on OCL is a valuable approach when checking UML models. The result...

UML class diagrams can be used as a language for expressing a conceptual model of a domain. We use the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [1], to evaluate the ontological correctness of a conceptual UML class model and to develop guidelines for how the constructs of the UML should be used in conceptual modeling. In particular, we discuss the ...

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