How to Deal With Deviations During Process Model Enactment

Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione

Abstract

A fundamental problem in software processes is how the mintrinsic rigidity of a predejined (formal) model can be reconciled with the need for flexibility, change, and evolution.We therefore distinguish between software processes, as specified in a process description, and their actual performance by humans.Further, we claim that the two inevitably diverge, and thus it is necessary to provide means to reconcile them.We present a preliminary exploration into the problem.In particular, we illustrate how a temporal logic-based approach can be used to capture and tolerate some deviations from the process description during execution.We present a simple process language (LATIN), and its prototype environment (SENTINEL), in which these ideas are currently experimented.1

BibTeX

@inproceedings{Cugola-al:ICSE95,
  author    = {Gianpaolo Cugola and
               Elisabetta Di Nitto and
               Carlo Ghezzi and
               M. Mantione},
  title     = {How to Deal With Deviations During Process Model Enactment},
  booktitle = {ICSE},
  pages     = {265--273},
  publisher = {{ACM}},
  year      = {1995},
}

How to Deal With Deviations During Process Model Enactment

Abstract

Related papers