TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Architectural styles and the design of network-based software architectures
Architectural styles and the design of network-based software architectures
A layered architecture for flexible Web service invocation
Software—Practice & Experience
YAWL: yet another workflow language
Information Systems
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Non-intrusive monitoring and service adaptation for WS-BPEL
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
Dynamic Service Substitution in Service-Oriented Architectures
SERVICES '08 Proceedings of the 2008 IEEE Congress on Services - Part I
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
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
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
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
Speaking a common language: a conceptual model for describing service-oriented systems
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
An approach to enable replacement of SOAP services and REST services in lightweight processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
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
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
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
Satisfying requirements for pervasive service compositions
Proceedings of the 7th Workshop on Models@run.time
Achieving interoperability through semantics-based technologies: the instant messaging case
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Synthesizing self-adaptive connectors meeting functional and performance concerns
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
| Hi-index | 0.00 |
In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of the research efforts supporting this replacement assume that the interface of the interchangeable services are the same and known at design time. Such assumption is not realistic since it implies that providers of the same kinds of services agree on the interfaces the services offer. By interface mapping we mean the class of approaches aiming at relaxing this assumption. Most of those approaches available in the literature focus on stateless services and simply address mapping operation names and data structures. Instead, this paper focuses on conversational services for which the sequence of required operation calls, i.e., the interaction protocol , matters. We use model checking to automatically identify the interaction protocols mapping. We validate our technique both by applying it to the invocation of two real services (Flickr and Picasa), and by quantitatively comparing it to a related approach.