Implementing Activity Structures Process Modeling On Top Of The MARVEL Environment Kernel
Gail E. Kaiser, Israel Ben‐Shaul, Steven S. Popovich · 1991
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.