Design, use and implementation of SPELL, a language for software process modeling and evolution

Abstract

SPELL is a language fot software process modeling based on a structurally object-oriented data-model with relations. It extends the underlying versioned EPOSDB, and is based on Prolog with full object-orientation, concurrency, persistency, distribution, and tool invocation facilities. SPELL can express multiple level of abstraction/composition of process information. A process model is a set of types to describe activities (tasks), products, tools and projects (management information). Task instantiation can be partly automatized. SPELL also provides a platform for modeling and experimenting with software meta-activities to model, analyze, and support software processes.