Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop
In this paper, we describe ongoing work on the development of tool support for formal description of domains found in Problem Diagrams. The purpose of the tool is to handle the generation of a CPN model based on a collection of Problem Diagrams. The Problem Diagrams are used for representing the structure and parallel decomposition of a software development problem while the CPN model is used for formal specification of assumed and desired behaviour of the domains found in the Problem Diagrams. After generation, the CPN model will be manually refined and during this process, it is repeatedly validated against structural constraints found in the Problem Diagrams. The generation and validation algorithms as well as the definitions of the two modeling formalisms are specified using VDM++.
Innovations in Systems and Software Engineering, 2008, Issue 3, p. 25-34
Main Research Area:
The Fourth VDM-Overture Workshop at Formal Methods 2008 (FM 2008)