Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Managing the Evolution of Service Specifications
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Computing compatibility in dynamic service composition
Knowledge and Information Systems
Contract-Based Discovery and Composition of Web Services
Formal Methods for Web Services
Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
A Framework for Dynamic Service Discovery
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
A fuzzy extension of the XPath query language
Journal of Intelligent Information Systems
Synthesizing adapters for conversational web-services from their WSDL interface
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Self-Supervising BPEL Processes
IEEE Transactions on Software Engineering
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Hi-index | 0.00 |
Service-oriented systems live in an open world, one in which their functionality and quality of service depend on how the services they interact with evolve. System adaptation has been indicated as a way to cope with the evolution these partner services may have. When a partner does not behave as expected, in an adaptable system we can substitute it with an alternative compatible one. Finding a compatible alternative, however, is a difficult task if we consider conversational services that impose a specific interaction protocol and specific data-types. In this paper we introduce Interaction Sequence Charts (ISC) as an effective notation for describing the interactions a service has with its partners, and an algorithm that uses these charts to establish a "degree of compatibility" between interacting services. The algorithm considers both interaction protocol requirements and datatype similarity, for which fuzzy techniques are adopted. The expressive power of ISC is validated by using it to describe the complex behaviour that can be defined using BPEL 2.0, while the algorithm is validated on an example in the field of Tele-Radiology, and shown to be advantageous in practice.