On the Formalized Semantics of Static Modeling Elements in UML

Authors:
Yan-Bing Jiang;Wei-Zhong Shao;Zhi-Yi Ma;Yao-Dong Feng
Affiliations:
-;-;-;-
Venue:
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Year:
2002

Citing 3
Cited 0

The Unified Modeling Language user guide

The Unified Modeling Language user guide
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Core meta-modelling semantics of UML: the pUML approach

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

Along with the research and application of UML in depth, people in software development have cognized that the semantics of UML mainly described in nature language have some drawbacks such as ambiguity and scarcity of accuracy etc. In this paper, we first summarize the necessary of a kind of formalized semantics and previous studies, then provide some semantics of static modeling elements in UML on principle of conciseness, clarity, intelligibility and practicality from two aspects of extension and intension. Thus we provide an effective method of apprehending these modeling elements in depth quickly and exactly, and a basis for the study the semantics of static diagram, translation between elements and models, and the model extension.