Year: 1995
Type: conference-paper
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
Authors: G. Cugola, E. Di Nitto, C. Ghezzi, M. Mantione
Institution: Politecnico di Milano
Language: English
Subfield: Management Information Systems
Domain: Social Sciences
Open Access status: bronze
OpenAlex ID: W2171278366