Portal de Periódicos da CAPES

Rigorous object-oriented modeling: Integrating formal and informal notations

1997; Springer Science+Business Media; Linguagem: Inglês

10.1007/bfb0000473

1611-3349

Robert B. France, Jean‐Michel Bruel, Maria M. Larrondo‐Petrie, Emanuel S. Grant,

Business Process Modeling and Analysis

The high-quality modeling experiences embedded in the more mature graphical OO methods (OOMs) makes their application to complex systems attractive, but the lack of firm semantic bases for the modeling notations can significantly hamper the development of such systems. One approach to making OOMs more precise and amenable to rigorous analysis is to integrate them with suitable formal modeling techniques. In this paper we describe a technique for integrating an OOM, the Fusion method, and a formal specification notation, Z.