Can I find a partner? Undecidability of partner existence for open nets
Information Processing Letters
Efficient Controllability Analysis of Open Nets
Web Services and Formal Methods
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
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
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Business process architecture: use and correctness
BPM'12 Proceedings of the 10th international conference on Business Process Management
Hi-index | 0.00 |
Business processes are instrumental to manage work in organisations. To study the interdependencies between business processes, Business Process Architectures (BPA) have been introduced. These express trigger and message flow relations between business processes. When we investigate real world business process architectures we find complex interdependencies, involving multiple process instances. These aspects have not been studied in detail so far, especially concerning correctness properties. In this paper, we propose a modular transformation of BPAs to open nets for the analysis of behavior involving multiple business processes instances with multi-communication.