Kaiser Gail E. author Columbia University. Computer Science Ben-Shaul Israel Z. author Columbia University. Computer Science Popovich Steven S. author Columbia University. Computer Science Columbia University. Computer Science originator contributor text Technical reports New York Department of Computer Science, Columbia University 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. Computer science CUCS-027-91 http://hdl.handle.net/10022/AC:P:12829 English NNC NNC 2012-03-17 19:06:58 -0400 2012-03-17 19:13:10 -0400 6831 eng