Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Detecting Behavioural Incompatibilities between Pairs of Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Diagnosing and Measuring Incompatibilities between Pairs of Services
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Data & Knowledge Engineering
Service research challenges and solutions for the future internet
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Diagnosing SCA components using WOMBAT
BPM'06 Proceedings of the 4th international conference on Business Process Management
Systems-theoretic view of component-based software development
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Change impact analysis in service-based business processes
Service Oriented Computing and Applications
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
A survey of change management in service-based environments
Service Oriented Computing and Applications
| Hi-index | 0.00 |
The Business Process Execution Language for Web Services provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services - backed by various development and runtime environments of major software companies. Nevertheless, modeling and composing BPEL processes is still a complicated, time and money consuming, and errorprone activity. Formal methods like Petri nets enable the effective analysis of one single BPEL process as well as the comparison of multiple given BPEL models, and the generation of a BPEL model out of another. The current paper presents an prototypically implemented analysis framework that integrates those methods into IBM's business integration tools. The value of such a framework is illustrated by analyzing behavioral compatibility between BPEL processes, one of the most crucial properties in real-world B2B scenarios.