A Marvelous Extended Transaction Processing Model.
Gail E. Kaiser · 1989
A key flaw in previous software development environment research is the lack of a transaction model supporting fault tolerance, concurrency control, consistent publication of changes and user control of commit and abort 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-serializability semantics and describe the application of this model to the existing MARVEL architecture for software development environments. MARVEL supports rule-based automation of software development activities and integrates commercial off-the-shelf tools.