Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Business-to-business interactions: issues and enabling technologies
The VLDB Journal — The International Journal on Very Large Data Bases
Flexible Interface Matching for Web-Service Discovery
WISE '03 Proceedings of the Fourth International Conference on Web Information Systems Engineering
Meteor-s web service annotation framework
Proceedings of the 13th international conference on World Wide Web
Protocol-Based Business Process Modeling and Enactment
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Adapting Web Services in a Heterogeneous Environment
ICWS '04 Proceedings of the IEEE International Conference on Web Services
ACM SIGMOD Record
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Interoperability among independently evolving web services
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
WWW '05 Proceedings of the 14th international conference on World Wide Web
A formal approach to component adaptation and composition
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Asynchronous Messaging between Web Services Using SSDL
IEEE Internet Computing
The Current State of Software Component Adaptation
SKG '05 Proceedings of the First International Conference on Semantics, Knowledge and Grid
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
COMA: a system for flexible combination of schema matching approaches
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Similarity search for web services
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
An aspect-oriented framework for service adaptation
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Adapt or perish: algebra and visual notation for service interface adaptation
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
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Automating integration of heterogeneous COTS components
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
A reuse-based approach to the correct and automatic composition of web-services
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
An approach to adapt service requests to actual service interfaces
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Architectural concerns for flexible data management
SETMDM '08 Proceedings of the 2008 EDBT workshop on Software engineering for tailor-made data management
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A Development Process for Self-adapting Service Oriented Applications
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
An Event-Based Model for the Management of Choreographed Services
EC-Web '08 Proceedings of the 9th international conference on E-Commerce and Web Technologies
Modelling and analysing interoperability in service compositions using COSMO
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Diagnosing Differences between Business Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
BESERIAL: Behavioural Service Interface Analyser
BPM '08 Proceedings of the 6th International Conference on Business Process Management
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:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Automated Service Composition with Adaptive Planning
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Service Oriented Architecture: Overview and Directions
Advances in Software Engineering
Service and document based interoperability for European ecustoms solutions
Journal of Theoretical and Applied Electronic Commerce Research
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
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Adapting service requests to actual service interfaces through semantic annotations
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolving Services from a Contractual Perspective
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Dinapter: Automatic Adapter Specification for Software Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Ensuring interoperable service-oriented systems through engineered self-healing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Diagnosing and Measuring Incompatibilities between Pairs of Services
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Constructing minimal protocol adaptors for service composition
Proceedings of the 4th Workshop on Emerging Web Services Technology
Assessment of Service Protocols Adaptability Using a Novel Path Computation Technique
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
An Automatic Approach to Enable Replacement of Conversational Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
A pattern-based approach to protocol mediation for web services composition
Information and Software Technology
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
FormSys: form-processing web services
Proceedings of the 19th international conference on World wide web
Separation of concerns in service-oriented applications based on pervasive design patterns
Proceedings of the 2010 ACM Symposium on Applied Computing
Distributed behavioural adaptation for the automatic composition of semantic services
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Clint: a composition language interpreter (tool paper)
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
SEIM: static extraction of interaction models
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
Programming evolvable web services
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
Automated assembly of Internet-scale software systems involving autonomous agents
Journal of Systems and Software
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
Computer Languages, Systems and Structures
Task-oriented user modeling method and its application to service navigation on the web
DASFAA'10 Proceedings of the 15th international conference on Database systems for advanced applications
Mediating connector patterns for components interoperability
ECSA'10 Proceedings of the 4th European conference on Software architecture
Cross-layer adaptation and monitoring of service-based applications
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
A case study in model-based adaptation of web services
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A theory of mediators for eternal connectors
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A distributed framework for reliable and efficient service choreographies
Proceedings of the 20th international conference on World wide web
An evaluation of process mediation approaches in web services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Adaptation of service-based systems
Service research challenges and solutions for the future internet
Conceptual modeling approaches for dynamic web service composition
The evolution of conceptual modeling
A model-driven framework for runtime adaptation of web service compositions
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Verifying mediated service interactions considering expected behaviours
Journal of Network and Computer Applications
On-demand conversation customization for services in large smart environments
IBM Journal of Research and Development
Journal of Web Engineering
ECSA'11 Proceedings of the 5th European conference on Software architecture
QoS driven dynamic binding in-the-many
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Automated creation and assessment of component adapters with test cases
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Adaptation of web service interactions using complex event processing patterns
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
Automating the wrapping of software building blocks with test cases
Proceedings of the 17th international doctoral symposium on Components and Architecture
Change impact analysis in service-based business processes
Service Oriented Computing and Applications
Construction of messaging-based enterprise integration solutions using AI planning
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Structural reconfiguration of systems under behavioral adaptation
Science of Computer Programming
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
Towards an automatic service discovery for UML-based rich service descriptions
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Test-and-adapt: An approach for improving service interchangeability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
A survey of change management in service-based environments
Service Oriented Computing and Applications
EasySOC: Making web service outsourcing easier
Information Sciences: an International Journal
Hi-index | 0.00 |
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints defined on legal operation invocation sequences). The typical approach to enable interoperation in such a heterogeneous setting is through developing adapters. There have been approaches for classifying possible mismatches between service interfaces and business protocols to facilitate adapter development. However, the hard job is that of identifying, given two service specifications, the actual mismatches between their interfaces and business protocols. In this paper we present novel techniques and a tool that provides semi-automated support for identifying and resolution of mismatches between service interfaces and protocols, and for generating adapter specification. We make the following main contributions: (i) we identify mismatches between service interfaces, which leads to finding mismatches of type of signature, merge/split, and extra/missing messages; (ii) we identify all ordering mismatches between service protocols and generate a tree, called mismatch tree, for mismatches that require developers' input for their resolution. In addition, we provide semi-automated support in analyzing the mismatch tree to help in resolving such mismatches. We have implemented the approach in a tool inside IBM WID (WebSphere Integration Developer). Our experiments with some real-world case studies show the viability of the proposed approach. The methods and tool are significant in that they considerably simplify the problem of adapting services so that interoperation is possible.