Automated Analysis of Industrial Workflow-based Models

Abstract : Modelling and governance of business processes are important concerns in companies all over the world. By better understanding business processes, different optimizations are made possible, concretely resulting into potential efficiency gains, cost reductions and improvements in agility. The use of formal specification languages for the modelling of business processes paves the way for different kinds of automated analysis. Such analysis can be used to infer properties from the modelled processes that can be used to improve their design. In this paper, we particularly explore two important classes of verification, namely verification of behavioural properties using model checking techniques and data-based analysis using SAT solving. Those verifications are fully automated by using different tools such as the CADP verification toolbox and the Z3 solver. We illustrate our approach on a real-world case study.
Document type :
Conference papers
SAC 2018 - 33rd Annual ACM Symposium on Applied Computing, Apr 2018, Pau, France. ACM, pp.120-127, 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. 〈10.1145/3167132.3167142〉
Liste complète des métadonnées

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01781315
Contributor : Ajay Krishna <>
Submitted on : Monday, April 30, 2018 - 10:18:46 AM
Last modification on : Thursday, December 6, 2018 - 3:43:25 PM
Document(s) archivé(s) le : Thursday, September 20, 2018 - 1:19:19 AM

File

main-SAC18.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Mario Cortes-Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün. Automated Analysis of Industrial Workflow-based Models. SAC 2018 - 33rd Annual ACM Symposium on Applied Computing, Apr 2018, Pau, France. ACM, pp.120-127, 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. 〈10.1145/3167132.3167142〉. 〈hal-01781315〉

Share

Metrics

Record views

257

Files downloads

68