Process modeling in-the-large with SLANG

Abstract

The authors discuss some features provided by the SPADE environment to support the definition, analysis, and enactment of large and evolving software process models. In particular, they introduce the concept of activity, which allows the process designer to create and hierarchically aggregate fragments of process specifications. They then provide an execution model for activities and propose different alternatives for activity execution. They discuss the impact that the activity concept has on other important problems, such as incremental definition and evolution of large process models.<>