Verifying Business Processes using (original) (raw)
Related papers
Verifying business processes using SPIN
1998
Using SPIN and STeP to Verify Business Processes Specifications
2003
Towards the Verification of Business Process Modeling
2011
An open platform for business process modeling and verification
Database and Expert …, 2011
Compositional Verification of Business Processes by Model-Checking
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, 2010
Scenario Modeling and Verification for Business Processes
Lecture Notes in Computer Science, 2012
Visual Specification Language and Automatic Checking of Business Process
2014
BProVe: A formal verification framework for business process models
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
BProVe: Tool support for business process verification
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017
Modelling and verification of BPEL business processes
Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06), 2006
A method for verifiable and validatable business process modeling
2008
Model Checking Analysis of Semantically Annotated Business Processes
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2000
A Unified Toolset for Business Process Model Formalization
IEEE Transactions on Information Theory, 2010
An ECLIPSE Plug-In for Formal Verification of BPMN Processes
2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, 2010
Overview of Verification Tools for Business Process Models
Annals of Computer Science and Information Systems, 2017
Automatic verification of business process integrity
International Journal of Simulation and Process Modelling, 2008
Formal verification of complex business processes based on high-level Petri nets
Information Sciences, 2017
A rigorous methodology for specification and verification of business processes
Formal Aspects of Computing, 2009
Seaflows toolset���compliance verification made easy for process-aware information systems
2011
A Tool for the Verification of Data-Aware Business Processes
2018
Verification of business process specifications with arithmetic and data dependencies
An approach for formal verification of business processes
2009
Applying Model Checking to BPEL4WS Business Collaborations
Proceedings of the 2005 …, 2005
An Open Platform for Business Process Modeling and
Database and Expert …, 2010
Fundamenta …, 2010
Compositional Verification of Business Processes Modelled with BPMN
Proceedings of the 12th International Conference on Enterprise Information Systems, 2010
Business Process Modelling with Continuous Validation
Lecture Notes in Business Information Processing, 2009
Formal Verification of BPEL4WS Business Collaborations
2004