Direct Verification of BPMN Processes through an Optimized Unfolding Technique (original) (raw)
Related papers
An ECLIPSE Plug-In for Formal Verification of BPMN Processes
2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, 2010
Towards the Verification of Business Process Modeling
2011
Verification of BPMN 2.0 Process Models: An Event Log-based Approach
Procedia Computer Science, 2016
BProVe: A formal verification framework for business process models
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
Compositional Verification of Business Processes Modelled with BPMN
Proceedings of the 12th International Conference on Enterprise Information Systems, 2010
A method for verifiable and validatable business process modeling
2008
Formal semantics and automated analysis of BPMN process models
2007
Semantics and analysis of business process models in BPMN
Information and Software Technology, 2008
A rigorous methodology for specification and verification of business processes
Formal Aspects of Computing, 2009
BProVe: Tool support for business process verification
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
A Specific Language for Developing Business Process by Refinement based on BPMN 2.0
Proceedings of the 16th International Conference on Software Technologies, 2021
From business process model to consistent implementation: a case for formal verification methods
Proceedings. Sixth International Enterprise Distributed Object Computing, 2002
An approach for formal verification of business processes
2009
Modeling and Validating BPMN Diagrams
… , 2009. CEC'09. IEEE Conference on, 2009
An open platform for business process modeling and verification
Database and Expert …, 2011
Verifying Business Processes using
1998
Analysis and Design of Business Processes Using BPMN
Handbook on Business Process Management 1, 2010
Formal semantics and analysis of BPMN process models
2007
A Rigorous Semantics for BPMN 2.0 Process Diagrams
2014
BPMN: An introduction to the standard
2012
2008
Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language
2011
Declarative Process Modeling in BPMN
Advanced Information Systems Engineering, 2015
Verification of Invariant Properties of Business Process Based on Formal Approach
2007 International Conference on Wireless Communications, Networking and Mobile Computing, 2007