Supporting Cooperation in the SPADE-1 Environment
IEEE Transactions on Software Engineering
Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
IEEE Transactions on Software Engineering
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Structural Considerations in Defining Executable Process Models
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A deviation management system for handling software process enactment evolution
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Early deviation detection in modeling activities of MDE processes
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Monitoring of real-time properties
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Mining explicit rules for software process evaluation
Proceedings of the 2013 International Conference on Software and System Process
Hi-index | 0.00 |
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.