A mechanism for grid service composition behavior specification and verification

Authors:
Jing Zhou;Guosun Zeng
Affiliations:
Department of computer Science and Technology, Tongji University, Shanghai 201804, China and Department of Statistics, University of California, Berkeley, CA 94720, USA;Department of computer Science and Technology, Tongji University, Shanghai 201804, China
Venue:
Future Generation Computer Systems
Year:
2009

Citing 18
Cited 1

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
A formal language for composition

Foundations of component-based systems
Communication and Concurrency

Communication and Concurrency
Grid Services for Distributed System Integration

Computer
A Petri net-based model for web service composition

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Contracts and types

Communications of the ACM - Service-oriented computing
Describing and Reasoning on Web Services using Process Algebra

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Towards Autonomous Service Composition in A Grid Environment

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Compatibility Verification for Web Service Choreography

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Modelling and verifying web service orchestration by means of the concurrency workbench

ACM SIGSOFT Software Engineering Notes
Web services: a process algebra approach

Proceedings of the 2nd international conference on Service oriented computing
Hybrid Composition of Web Services and Grid Services

EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development

WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
From BPEL4WS to OWL-S: Integrating E-Business Process Descriptions

SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Synchronizability of Conversations among Web Services

IEEE Transactions on Software Engineering
Analysis of business process integration in Web service context

Future Generation Computer Systems
Bio-STEER: A Semantic Web workflow tool for Grid computing in the life sciences

Future Generation Computer Systems
Optimal task partition and distribution in grid service system with common cause failures

Future Generation Computer Systems - Special section: Information engineering and enterprise architecture in distributed computing environments

Model checking grid security

Future Generation Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Current grid service choreography proposals remain at the descriptive level, without providing any kind of reasoning mechanism to check the compatibility and validity of grid service composition. How to formalize and verify the behavior of the grid service composition is therefore imperative. A novel process algebra, Cpi-calculus (Conditional Pi-calculus), is proposed in this paper. By analyzing the interactive behavior of composite grid services, we present a grid service composition signature. Based on the signature, we construct Interactive Behavior Model (IABM) for grid service composition and specify the interactive behavior using the Cpi-calculus. The case study shows that the mechanism for grid service specification and verification could be the algebraic foundation to be used afterwards in automatic and dynamic composition.