While UML is rapidly becoming the industry standard for modeling, its standard definition does not contain a precise semantics. The semantics of UML is defined by a textual description coming with some meta-modeling description (an of abstract syntax of the language). This paper presents a UML formalization approach using Abstract State Machines (ASM).
Did you find this white paper useful?
16 out of 34 users found this white paper useful
Related white papers
Visualising Action Contracts in Object-Oriented Modelling
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper builds on a...
Project Delivery Date from a UML Model in 60 Minutes!
Your organization has standardized on the Unified Modeling Language (UML) and the Rational Unified Process, (note: you can use any structured software development process). You’re planning the first iteration in...
UML 2001: a Standardization Odyssey
In a relatively short period of time the Unified Modeling Language has emerged as the software industry’s dominant modeling language. UML is not only a de facto modeling language standard....
UML Profiles Considered Redundant
In this paper we discuss the "Profile" mechanism outlined in the OMG White Paper Document ad/99-04-07, and show that the proposed need could be met by a generalization of the...
The Unified Modeling Language (UML) - Two Years After Adoption of the Standard
The UML is an evolutionary general-purpose, broadly applicable, tool- supported, and industry standardized modeling language for specifying, visualizing, constructing, and documenting the artifacts of a system-intensive process. The language is...
The Unified Modeling Language (UML) - One Year After Adoption of the Standard
The UML is an evolutionary general−purpose, broadly applicable, tool−supported, industry standardized modeling language for specifying, visualizing, constructing, and documenting the artifacts of a system−intensive process .A brief introduction of the...
Extending the Unified Modeling Language (UML)
The architecture of the UML and its extension mechanisms have a profound impact on realizing the benefits of a standardized modeling language. Because the UML’s extension mechanisms are the core...
