| Formal Foundations of Object-Oriented Modeling Notations (2007) | |||||||||||||||
Abstract | |||||||||||||||
| In this paper, the different solutions that have been suggested to realize the integration of graphic modeling languages, known and accepted by the software developers, with formal modeling languages having analysis and verification tools are described and classified. Inspired from that classification, a new integration proposal, based on first-order dynamic logic, is defined. The principal benefits of the proposed formalization can be summarized as follows: the different views on a system are integrated in a single formal model. This allows us to define rules of compatibility between the separate views, on syntactical and semantic level. Using formal manipulation, it is possible to deduce further knowledge from the specification. The faults of specifications expressed using a user-friendly notation can be revealed using analysis and verification techniques based on the formal kernel model. The main difference between this model and other object-oriented formal models is that it inte... | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||