The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Theory of Bisimulation for the pi-Calculus
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Semantics and analysis of business process models in BPMN
Information and Software Technology
Instantiation Semantics for Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Detecting and Resolving Process Model Differences in the Absence of a Change Log
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Improved model management with aggregated business process models
Data & Knowledge Engineering
A Look Around the Corner: The Pi-Calculus
Transactions on Petri Nets and Other Models of Concurrency II
Data & Knowledge Engineering
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Soundness verification of business processes specified in the Pi-calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Analyzing BPEL4Chor: verification and participant synthesis
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Calculating the semantic conformance of processes
BPM'07 Proceedings of the 2007 international conference on Business process management
Towards a formal framework for reuse in business process modeling
BPM'07 Proceedings of the 2007 international conference on Business process management
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Content-based validation of business process modifications
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Interaction soundness for service orchestrations
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Hi-index | 0.00 |
Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be on a path from the initial to the final activity, that after the final activity has been reached no other activities should become active, and that there are no unreachable activities. Relaxed soundness softens soundness by stating that each activity should be able to participate in the business process, whereas weak soundness allows unreachable activities. However, all these kinds of soundness are not satisfactory for processes containing discriminator, n-out-of-m-join or multiple instances without synchronization patterns that can leave running (lazy) activities behind. As these patterns occur in interacting business processes, we propose a solution based on lazy soundness. We utilize the π-calculus to discuss and implement reasoning on lazy soundness.