Portal de Periódicos da CAPES

The UML as a formal modeling notation

1998; Elsevier BV; Volume: 19; Issue: 7 Linguagem: Inglês

10.1016/s0920-5489(98)00020-8

1872-7018

Robert France, A. William Evans, Kevin Lano, Bernhard Rumpe⋆,

Formal Methods in Verification

The Unified Modeling Language (UML) is an Object Management Group (OMG) object-oriented (OO) modeling notation standard. It consists of a set of notations for modeling systems from a variety of views and at varying levels of abstraction. While the UML reflects some of the best OO modeling experiences available, it suffers from a lack of precise semantics that is necessary if one is to use the notations to precisely model systems and to rigorously reason about the models. In this paper we discuss some of the problems with the current UML semantic document and present the approach that the precise UML group (pUML) group is using to develop a precise semantics for the UML. The approach utilizes mathematical techniques to explore and gain insights into appropriate semantics for UML modeling concepts. The insights and formal expressions will then be used to develop a UML semantics document written in natural language that defines the semantics in a precise, consistent, and understandable manner.