Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair

Abstract : Correctness of workflow design cannot be evaluated by checking the execution for one single instance of the workflow, because instances, even when being independent from the data perspective, depend on each other with respect to the resources they rely on for executing tasks. The resources are shared among the instances of the same workflow; moreover, other workflows can use the same resources. Therefore, we enrich the workflow model with the model of its environment that captures the resource perspective. This allows us to investigate the verification of workflows extended with resources in a more general setting than it was previously done. We focus on the soundness property, which means the ability to terminate properly from any reachable state of the system, for every instance of the system. We show the decision procedure for soundness and how to repair a workflow that is unsound from the resource perspective by synthesizing a controller such that the composition of the workflow and the controller is sound by design.
Type de document :
Communication dans un congrès
Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.150-167, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_10〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01514666
Contributeur : Hal Ifip <>
Soumis le : mercredi 26 avril 2017 - 15:22:08
Dernière modification le : mercredi 26 avril 2017 - 15:26:38
Document(s) archivé(s) le : jeudi 27 juillet 2017 - 13:00:48

Fichier

978-3-642-40213-5_10_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Elham Ramezani, Natalia Sidorova, Christian Stahl. Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.150-167, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_10〉. 〈hal-01514666〉

Partager

Métriques

Consultations de la notice

64

Téléchargements de fichiers

26