Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Communication and Concurrency
A hierarchy of communication models for message sequence charts
Science of Computer Programming
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
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
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
Business-to-business interactions: issues and enabling technologies
The VLDB Journal — The International Journal on Very Large Data Bases
Verification of Web Service Flows with Model-Checking Techniques
CW '02 Proceedings of the First International Symposium on Cyber Worlds (CW'02)
ebXML: Concepts and Application
ebXML: Concepts and Application
Meteor-s web service annotation framework
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
Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
YAWL: yet another workflow language
Information Systems
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
The Service Adaptation Machine
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Mismatch Patterns and Adaptation Aspects: A Foundation for Rapid Development of Web Service Adapters
IEEE Transactions on Services Computing
Constructing minimal protocol adaptors for service composition
Proceedings of the 4th Workshop on Emerging Web Services Technology
An Automatic Approach to Enable Replacement of Conversational Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Enterprise Information Systems
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
Freedom of Privacy: Anonymous Data Collection with Respondent-Defined Privacy Protection
INFORMS Journal on Computing
Towards Integrated Service Adaptation A New Approach Combining Message and Control Flow Adaptation
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Generating Minimal Protocol Adaptors for Loosely Coupled Services
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
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
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
A discourse on complexity of process models
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Reducing Adapter Synthesis to Controller Synthesis
IEEE Transactions on Services Computing
A Systematic Review of Business and Information Technology Alignment
ACM Transactions on Management Information Systems (TMIS)
Hi-index | 0.00 |
A key issue in process-aware e-commerce collaboration is to orchestrate business processes of multiple business partners throughout a supply chain network in an automated and seamless way. Since each partner has its own internal processes with different control flow structures and message interfaces, the real challenge lies in verifying the correctness of process collaboration, and reconciling conflicts in an automated manner to make collaboration successful. The purpose of business process adaptation is to mediate the communication between independent processes to overcome their mismatches and incompatibilities. The goal of this article is to develop and compare efficient approaches of optimal adapter (i.e. one that minimizes the number of messages to be adapted) creation for multiple interacting processes under both synchronous and asynchronous communication. We start with an analysis of interactions of each message pair, and show how to identify incompatible cases and their adaptation elements for both types of communication. Then, we show how to extend this analysis into more general cases involving M messages and N processes (M, N 2). Further, we present optimal adapter creation algorithms for both scenarios based on our analysis technique. The algorithms were implemented in a Java-based prototype system, and results of two experiments are reported. We compare and discuss the insights gained about adapter creation in these two scenarios.