Planning for Declarative Processes

Yoann Laurent 1 Reda Bendraou 1 Souheib Baarir 1 Marie-Pierre Gervais 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Recently, declarative process modeling have gained a wide attention from both industry and academia to model loosely-structured processes, mediating between flexibility and sup-port. Instead of describing step by step in an imperative way the set of activities to perform (e.g., Petri-net, UML Activity, BPMN), declarative languages define constraints between the process activities that must not be violated during the execution. Even if these languages allow for a high degree of flexibility, this freedom leads to some understandability problems. Indeed, having a mental representation of the pos-sible process executions becomes too complex for humans as the number of constraints increases on the model. This paper presents a novel and formal approach to automati-cally synthesize execution plans of declarative processes. At design-time, the plans can increase the understanding and the confidence in the model by providing an early and direct experience with it while being modeled. At run-time, the planning component is primordial to ensure that an execution may still lead to a desired goal by giving the possible execu-tion traces leading to it. A working implementation based on the Alloy model-finding method [10] has been developed. The evaluation of this implementation showed us that plans can be generated efficiently and quickly.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [29 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01088183
Contributor : Yoann Laurent <>
Submitted on : Thursday, November 27, 2014 - 3:14:57 PM
Last modification on : Thursday, March 21, 2019 - 2:16:07 PM
Document(s) archivé(s) le : Friday, April 14, 2017 - 10:14:05 PM

File

SAC14-v3-CMFINAL2.pdf
Files produced by the author(s)

Identifiers

Citation

Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais. Planning for Declarative Processes. SAC'14 - The 29th Annual ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.1126-1133, ⟨10.1145/2554850.2554998⟩. ⟨hal-01088183⟩

Share

Metrics

Record views

138

Files downloads

224