Paper Info
Title
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.
Year
DOI
Venue
2018
10.1145/3167132.3167142
SAC 2018: Symposium on Applied Computing Pau France April, 2018
Keywords
Field
DocType
Business process management, SAT, Validation, Data
Business process management,Corporate governance,Model checking,Software engineering,Business process,Computer science,Toolbox,Formal specification,Solver,Workflow
Conference
ISBN
Citations 
PageRank 
978-1-4503-5191-1
0
0.34
References 
Authors
18
4
Name
Order
Citations
PageRank
Mario Cortes Cornax1408.82
Ajay Krishna224.10
Adrian Mos312912.78
Gwen Salaün498871.03