Automatic Code Generation From a High-Level Petri Net Based Specification of Dialogue

L.I.S., Universite Toulouse IPlace Anatole France, 31042 Toulouse Cedex, France{palanque, bastide, senges}@cix.cict.frAbstract. This paper shows how the code for the user interface part of aninteractive application can be automatically generated from an object-orientedspecification formalism based on high-level Petri nets. The technique describedhere is very general and may be applied with any event-driven UIMS. The paperfirst describes the formalism called Interactive Cooperative Objects (ICO). Itthen presents a simple case study and details the techniques involved in the codegeneration process by applying them to this case study.Keywords. Formal methods, mathematical analysis, code generation