Formal System Development Using Method Integration: a Case Study
Demissie B. Aredo, Olaf Owe · NORA - Norwegian Open Research Archives · 2004
In this paper, we demonstrate feasibility of a development framework that integrates semi-formal graphical modeling techniques with formal methods (FMs). In particular, the framework integrates the Unified Modeling Language (UML) with the PVS environment to exploit the synergy between them. System descriptions are given in the graphical UML notations and translated into PVS specifications based on semantic definitions, which we have proposed for the UML notations.