A calculus of mobile processes, II
Information and Computation
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Distributed and Parallel Databases
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Understanding SOA with Web Services (Independent Technology Guides)
Understanding SOA with Web Services (Independent Technology Guides)
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM and SOA: synergies and challenges
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Towards a unifying theory for web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A Look Around the Corner: The Pi-Calculus
Transactions on Petri Nets and Other Models of Concurrency II
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Modeling high assurance agent-based Earthquake Management System using formal techniques
The Journal of Supercomputing
Real-time web services orchestration and choreography
Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
Hi-index | 0.00 |
Recent research in the area of business process management (BPM) introduced the application of a process algebra--the π-calculus-- for the formal description of business processes and interactions among them. Especially in the area of service-oriented architectures, the key architecture for today's BPM systems, the π-calculus--as well as other process algebras--have shown their benefits in representing dynamic topologies. What is missing, however, are investigations regarding the correctness, i.e. soundness, of process algebraic formalizations of business processes. Due to the fact that most existing soundness properties are given for Petri nets, these cannot be applied. This paper closes the gap by giving characterizations of invariants on the behavior of business processes in terms of bisimulation equivalence. Since bisimulation equivalence is a well known concept in the world of process algebras, the characterizations can directly be applied to π-calculus formalizations of business processes. In particular, we investigate the characterization of five major soundness properties, i.e. easy, lazy, weak, relaxed, and classical soundness.