Spade is a prototype environment supporting software processes defined in an extended Petri net-based formalism, integrated with an object-oriented database system (O2). Among the key features of Spade are: the ability to support evolving processes and the ability to support different integration schemes for introducing tools in the environment.
Sentinel is a less mature effort. Process are described in Sentinel using logic-based formalisms. The main goal of this research is to investigate inconsistencies that can arise during the process, language constructs handling them, and environment support to tolerate them. The lessons learned so far in these two projects can be generalized from software processes to the wider field of "human-centered environments", i.e., environments supporting creative human tasks. A conceptual framework will be provided to formalize the notions of inconsistencies and deviations in such environments.
Referent: Prof. Dr. Carlo Ghezzi Zeitpunkt: Freitag, 26. April 1996, 14 Uhr Ort: HS 3 der Universitaet Klagenfurt