Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Communication and Concurrency
Conversation Support for Business Process Integration
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Verification of Web Service Flows with Model-Checking Techniques
CW '02 Proceedings of the First International Symposium on Cyber Worlds (CW'02)
Meteor-s web service annotation framework
Proceedings of the 13th international conference on World Wide Web
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Adapting Web Services in a Heterogeneous Environment
ICWS '04 Proceedings of the IEEE International Conference on Web Services
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Understanding SOA with Web Services (Independent Technology Guides)
Understanding SOA with Web Services (Independent Technology Guides)
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Evaluating the Process Control-Flow Complexity Measure
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
A hybrid approach for generating compatible WS-BPEL partner processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Reasoning about interaction patterns in choreography
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
Hi-index | 0.00 |
With more automation in inter-organizational supply chains and proliferation of Web services technology, the need for organizations to link their business services and processes is becoming increasingly important. Ideally, such linking must be automated and also possible to do on-the-fly in an ad hoc manner. In this paper, we view business processes in terms of standard patterns, and describe a pattern compatibility matrix and rules that allow us to simplify the task of checking compatibility between two or more processes because these prerequisite rules can be applied to each pattern separately, thus reducing the search space. We give an algorithm for applying these rules to check process compatibility. If two processes are compatible, we determine whether an adapter is required, and if so, a minimal adapter is generated by another algorithm. Two variants of the algorithm (PBA and PBA-MIN) are implemented, and experimental results and comparisons with an existing algorithm are given.