Academic Commons

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.

Subjects

Files

More About This Work

Academic Units
Computer Science
Publisher
Department of Computer Science, Columbia University
Series
Columbia University Computer Science Technical Reports, CUCS-036-93
Published Here
January 27, 2012