Academic Commons

Reports

Implementing Activity Structures Process Modeling On Top Of The MARVEL Environment Kernel

Kaiser, Gail E.; Ben-Shaul, Israel Z.; Popovich, Steven S.

Our goal was to implement the activity structures model defined by Software Design & Analysis on top of the MARVEL environment kernel. This involved further design of the activity structures process definition language and enaction model as well as translation and run-time support in terms of facilities provided by MARVEL. The result is an elegant declarative control language for multi-user software processes, with data and activities defined as classes and rules in the previously existing MARVEL Strategy Language. Semantics-based concurrency control is provided by a combination of the MARVEL kernel‘s lock and transaction managers and the send/receive synchronization primitives of the activity structures model.

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-027-91
Published Here
March 17, 2012