Home // ICIW 2012, The Seventh International Conference on Internet and Web Applications and Services // View article

A Validation Framework for the Service-Oriented Process Designing

Authors:
Guoqiang Li
Lejian Liao
Fuzhen Sun

Keywords: graph planning; BPEL; service orchestration; fault handling; compensation mechanism

Abstract:
In the service-oriented software systems, the services composition process is modeled using the service orchestration languages whose fault-handling and compensation mechanisms are crucial to guarantee the process running successfully. In this paper we propose to extend the syntax of BPEL to improve these two mechanisms. In order to validate their correctness, the composition is transformed to the planning graph. Then the validation of the fault-handling mechanism is regarded as a problem of seeking solution from the solution sets gained from the planning graph. We analyze the services composition structures and construct a relationship matrix to complete the validation of the compensation mechanism. A validation framework is proposed and an experiment is implemented to show our method effectiveness.

Pages: 1 to 6

Copyright: Copyright (c) IARIA, 2012

Publication date: May 27, 2012

Published in: conference

ISSN: 2308-3972

ISBN: 978-1-61208-200-4

Location: Stuttgart, Germany

Dates: from May 27, 2012 to June 1, 2012