An approach to integrating semi-formal and formal notations in software specification
Sergiu M. Dascalu, Peter B. Hitchcock · 2002
In this paper the integration of graphical, semi-formal modeling languages with formal notations for software specification purposes is discussed and a proposal for a procedural frame based on the combined use of UML and Z++ is presented. This procedural frame, organized in stages and steps, provides the methodological basis for a pragmatic and rigorous object-oriented modeling approach aimed at the construction of larger software systems, including real-time systems. Within the proposed frame a regular flow of modeling activities is suggested and alternative modeling scenarios are considered. A brief presentation of the Harmony integrated specification environment, a tool designed to support the proposed approach, is also included in the paper.