A dynamic logic model for the formal foundation of object-oriented analysis and design

The authors present an object-oriented conceptual model representing the information acquired during object-oriented analysis and design. It fulfills the three requirements for conceptual models: formality, usability and flexibility. The proposed conceptual model integrates both of the levels in the architecture of modeling notations (i.e. model and metamodel levels) into a single conceptual framework based on dynamic logic. This way, the formal model allows the specification of interconnections between the two different levels. This integration is particularly useful for the description of evolution of system specification (e.g. evolution of business rules). For example, it is possible to specify how a modification made to a model impacts on the modeled system