Modeling service compatibility with pi-calculus for choreography

Authors:
Shuiguang Deng;Zhaohui Wu;Mengchu Zhou;Ying Li;Jian Wu
Affiliations:
College of Computer Science, Zhejiang University, Hangzhou, China;College of Computer Science, Zhejiang University, Hangzhou, China;Department of Electrical and Computer Engineering, New Jersey Institute of Technology, NJ;College of Computer Science, Zhejiang University, Hangzhou, China;College of Computer Science, Zhejiang University, Hangzhou, China
Venue:
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Year:
2006

Citing 11
Cited 5

A Calculus of Communicating Systems

A Calculus of Communicating Systems
The Mobility Workbench - A Tool for the pi-Calculus

CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Web Service Conversation Modeling: A Cornerstone for E-Business Automation

IEEE Internet Computing
Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web
Compatibility Verification for Web Service Choreography

ICWS '04 Proceedings of the IEEE International Conference on Web Services
DartGrid II: A Semantic Grid Platform for ITS

IEEE Intelligent Systems
A survey on web services composition

International Journal of Web and Grid Services
Formalizing Web Service Choreographies

Electronic Notes in Theoretical Computer Science (ENTCS)
A methodology for e-service substitutability in a virtual district environment

CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
When are two web services compatible?

TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Using process algebra for web services: early results and perspectives

TES'04 Proceedings of the 5th international conference on Technologies for E-Services

Composite process oriented service discovery in preserving business and timed relation

Proceedings of the 2008 international workshop on Context enabled source and service selection, integration and adaptation: organized with the 17th International World Wide Web Conference (WWW 2008)
Towards trace semantics for WS-CDL with alignments

Proceedings of the 2008 ACM symposium on Applied computing
Checking Protocol Compatibility using Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
Translating Pi-calculus into LOTOS NT

IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A generic framework for n-protocol compatibility checking

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Service choreography has become an emerging and promising technology to design and build complex cross-enterprise business applications. Dynamic composition of services on the fly requires mechanisms for ensuring that the component services in the composition are compatible with each other. Current service composition languages provide notations for describing the interactions among component services. However, they focus only on the compatibility at the syntax and semantic level in an informal way, yet ignoring the dynamic behavior within services. This paper emphasizes the importance of the behavior in the compatibility verification between services and utilizes the π-calculus to model the service behavior and the interaction in a formal way. Based on the formalization, it proposes a method based on the operational semantics of the π-calculus to automate the verification of compatibility between two services and presents an algorithm to measure the compatibility degree quantitatively.