Automatic translation of process modeling formalisms

This paper demonstrates that the enaction of a software process can be separated from the formalism in which the process is modeled. To show this, we built a compiler capable of automatically translating a process model speci ed using Statemate into a Marvel environment which then supports the enaction of the process.

[1]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[2]  Gail E. Kaiser,et al.  Extending a Tool Integration Language , 1991, Proceedings. First International Conference on the Software Process,.

[3]  Marc I. Kellner.  Multiple - Paradigm Approaches For Software Process Modeling , 1991, Proceedings of the 7th International Software Process Workshop, Communication and Coordination in the Software Process'.

[4]  M. L. Kellner,et al.  Software Process Modeling Support for Management Planning and Control , 1991, Proceedings. First International Conference on the Software Process,.

[5]  Gail E. Kaiser,et al.  Rule chaining in Marvel: dynamic binding of parameters , 1991, IEEE Expert.

[6]  Gail E. Kaiser,et al.  An architecture for multi-user software development environments , 1992, SDE 5.

[7]  David Raffo,et al.  Evaluating the impact of process improvements quantitatively using process modeling , 1993, CASCON.

[8]  Christer Fernström.  PROCESS WEAVER: Adding Process Support to UNIX , 1993, ICSP.