Deviation Management during Process Execution
| Autor: | Reda Bendraou, Marcos Aurélio Almeida da Silva, Xavier Blanc |
|---|---|
| Přispěvatelé: | Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2011 |
| Předmět: |
Software Engineering Process Group
Process modeling Computer science Team software process 02 engineering and technology Software walkthrough Software development process 020204 information systems Formal specification 0202 electrical engineering electronic engineering information engineering [INFO]Computer Science [cs] Software verification and validation business.industry Empirical process (process control model) Software development 020207 software engineering Business process modeling Formal methods Risk analysis (engineering) Goal-Driven Software Development Process Personal software process Software construction Design process Package development process Avionics software Software design Software engineering business |
| Zdroj: | 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), Nov 2011, Lawrence, Kan, United States. pp.528-531, ⟨10.1109/ASE.2011.6100116⟩ ASE |
| DOI: | 10.1109/ASE.2011.6100116⟩ |
| Popis: | International audience; Software development companies have been putting a lot of effort in adopting process models, however two main issues remain. On the one hand, process models are inherently incomplete, since companies can not capture all possible situations in a single model. On the other hand, managers can not force process participants (agents) to strictly follow these models. The effect of both issues is that companies need to be able to handle deviations during process enactment. In order to make sure that process agents follow the process model and that their deviations get detected and handled, they adopt the so-called Process-centered Software Engineering Environments (PSEEs). Unfortunately, the options proposed by these tools, when it comes to handling a deviation, are rather limited to basically ignoring or forbidding it. In the present work, we face this limitation by presenting an approach for detecting, managing and tolerating agent deviations. Besides, in this paper we present the formal specification for this approach in the Linear Temporal Logic (LTL). It has been used as a the basis of our PSEE prototype. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|