Computing compatibility in dynamic service composition

Authors:
Zhaohui Wu;Shuiguang Deng;Ying Li;Jian Wu
Affiliations:
Zhejiang University, College of Computer Science and Technology, 310027, Hangzhou, People’s Republic of China;Zhejiang University, College of Computer Science and Technology, 310027, Hangzhou, People’s Republic of China;Zhejiang University, College of Computer Science and Technology, 310027, Hangzhou, People’s Republic of China;Zhejiang University, College of Computer Science and Technology, 310027, Hangzhou, People’s Republic of China
Venue:
Knowledge and Information Systems
Year:
2009

Citing 0
Cited 4

Model driven orchestration: design for service compatibility

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Measuring the compatibility of service interaction protocols

Proceedings of the 2011 ACM Symposium on Applied Computing
Evaluating the compatibility of conversational service interactions

Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Design for service compatibility

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Dynamically composing services requires mechanisms to ensure component services compatible with each other both at all of the syntax, semantic and behavioral level. This paper focuses on the issue of behavioral compatibility in a service composition. It adopts the π-calculus to model service behaviors and interactions in a formal way. Based on the formalization, it proposes a method to automatically check the behavioral compatibility in a qualitative way. Furthermore, it presents an algorithm to compute the compatibility degree in a quantitative way. The algorithm is implemented in a prototype and its performance analysis is also carried out to show that it can help composing services on the fly and ensure the services compatible with each other to provide functions with newly-added values.