e-journal

Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets

---

Recently, the temporal constraint satisfiability is regarded as an important criterion in Web service composition to guarantee its timely completion. This leads to a new challenge in analyzing the compatibility of Web services under temporal constraints. The existing methods either do not consider message mismatches between services in a composition or suffer from state-space explosion by verifying a service composition model as a whole; or lack the ability to generate execution paths of each
participating service. In this paper, we present a Petri net-based method to address these three issues in a holistic manner, and also in a modular way. Compared with the existing work, the proposed
approach not only composes Web services by adding a mediation net to deal with message mismatches, but also checks the compatibility w.r.t. temporal constraints by generating modular timed state graphs. Furthermore, the reliable and usable execution paths that satisfy the timed compatibility can be derived to guide service execution and avoid any temporal exception. Note to Practitioners—Web service composition is an emerging and important area for workflow automation. This work presents a novel Petri net-based divide-and-conquer method to analyze the compatibility of composed Web services under temporal
constraints. The proposed method not only checks the temporal violations of a multiple-service composition efficiently by generating the modular timed state graphs of a composition, but also
provides the reliable and usable execution paths of participating services to guide users in securing successful service executions. It consists of three phases: 1) modeling the composition of Web
services via a mediation net; 2) constructing the modular timed state graph of a composition in a modular way; and 3) verifying the timed compatibility and deriving the usable and reliable execution paths for services. A real-life case is used to illustrate the feasibility of the proposed concepts and method.

---

Ketersediaan

Tidak ada salinan data

Informasi Detail

Judul Seri

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

No. Panggil

-

Penerbit

: ., 2014

Deskripsi Fisik

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 11, NO. 2, APRIL 2014

Bahasa

English

ISBN/ISSN

-

Klasifikasi

-

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

VOL. 11, NO. 2

Subjek

TEKNIK

Info Detail Spesifik

-

Pernyataan Tanggungjawab

yuli/agus

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar