1993 Reports

Automatic Translation of Process Modeling Formalisms

Heineman, George T.

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 present a means of automatically translating a process' specification, modeled using the statemate approach, into an active environment, using the Marvel system, which then supports the enaction of the process.