Database Development of a Work-Flow Planning and Tracking System Using VDM-SL
Rudolf Schlatte, Bernhard K. Aichernig · 2005
. This paper presents the techniques and experiences of an industrial project, applying the formal method VDM in order to develop a work-flow planning and tracking system. A method for creating formal models of relational databases has been developed --- specifically, formal representations of SQL datatypes, a model of the structure of a database including primary and foreign keys and the formulation of queries in the model. With this approach, familiar informal design methods from the database world can be used without giving up the expressive power of formal methods. The transition from the informal to the formal world can be automated, keeping the relevant parts of the formal model synchronized with minimal effort. The formal method used is VDM, but the results are easily transferred into similar model oriented methods. 1 Introduction During the last few years the interest in so called light-weight formal methods has been growing rapidly [4, 5, 16, 13, 11, 6]. One of the main reaso...