Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Adapting Web Services in a Heterogeneous Environment
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Tool Support for Model-Based Engineering of Web Service Compositions
ICWS '05 Proceedings of the IEEE International Conference on Web Services
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
An abstract model for process mediation
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
WSMX process mediation based on choreographies
BPM'05 Proceedings of the Third international conference on Business Process Management
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Using CEP technology to adapt messages exchanged by web services
Proceedings of the 17th international conference on World Wide Web
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
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
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
Service Oriented Architecture: Overview and Directions
Advances in Software Engineering
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
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
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
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
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
Programming evolvable web services
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
An extensible monitoring and adaptation framework
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
An evaluation of process mediation approaches in web services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Towards an approach of formal verification of mediation protocol based on 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
On-demand conversation customization for services in large smart environments
IBM Journal of Research and Development
An aspect-oriented framework for service adaptation
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
Change impact analysis in service-based business processes
Service Oriented Computing and Applications
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
System integration by developing adapters using a database abstraction
Information and Software Technology
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
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
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
A survey of change management in service-based environments
Service Oriented Computing and Applications
Hi-index | 0.00 |
The proliferation of services on the web is leading to the formation of service ecosystems wherein services interact with one another in ways not necessarily foreseen during their development or deployment. A key challenge in this setting is service mediation: the act of retrofitting existing services by intercepting, storing, transforming, and (re-)routing messages going into and out of these services so they can interact in unforeseen manners. This paper addresses a sub-problem of service mediation, namely service interface adaptation, that arises when the interface that a service provides does not match the interface that it is expected to provide in a given interaction. The paper focuses on reconciling mismatches between behavioural interfaces, i.e. interfaces that capture ordering constraints between interactions. It presents a declarative approach to service interface adaptation based on: (i) an algebra over behavioural interfaces; and (ii) a visual language that allows pairs of provided-required interfaces to be linked through algebraic expressions. These expressions are fed into an execution engine that intercepts, buffers, transforms and forwards messages to enact the adaptation logic.