A Marvelous Extended Transaction Processing Model

The key flaw in programming environment research is the lack of a transaction model supporting fault tolerance, concurrency control, consistent publication of changes and user-initiated rollbacks for software development activities. The atomicity properties of the classical transaction model make it unsuitable for industrial software development efforts. We sketch an extended transaction model with a commit-serializabiliry semantics and describe the application of this model to the existing MARVEL architecture for programming environments. MARVEL realizes rule-based process modeling and integrates commercial-off-the-shelf tools via controlled automation.