Automatic translation of process modeling formalisms

Authors:
George T. Heineman
Affiliations:
Columbia University
Venue:
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Year:
1994

Citing 2
Cited 2

STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
Rule Chaining in Marvel: Dynamic Binding of Parameters

IEEE Expert: Intelligent Systems and Their Applications

Eliciting software process models with the E3 language

ACM Transactions on Software Engineering and Methodology (TOSEM)
Federating Process-Centered Environments: The Oz Experience

Automated Software Engineering

Quantified Score

Hi-index	0.02

Visualization

Abstract

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 specified using Statemate into a MARVEL environment that supports the enaction of the process.