A Petri Net Solution to Protocol-Level Mismatches in Service Composition

Document Type

Syllabus

Publication Date

4-7-2015

Abstract

This chapter models multiple web service interaction with a Petri net called Composition net (C-net). It presents Petri-net-based method to find protocol-level mismatches and then generates solutions to fix the mismatch problems. Technically, the approach consists of three steps. First, the chapter adopts BPEL for web services as the web service composition language. The BPEL description of a composite service is translated into a Petri net model. Second, a mixed-integer 624 a petri net solution to protocol-level mismatches in service composition programming formulation is used to detect the maximal empty siphons, which are then used to find protocol-level mismatches. Third, an algorithm is proposed to find siphon-based solutions for protocol-level mismatches by adding tokens in siphons to prevent them from becoming empty. Finally, time complexity comparisons are made between the approach and existing ones. The proposed one can achieve higher efficiency for resolving protocol-level mismatching issues.

Identifier

85016467997 (Scopus)

ISBN

[9781118271865, 9781119036821]

Publication Title

Contemporary Issues in Systems Science and Engineering

External Full Text Location

https://doi.org/10.1002/9781119036821.ch17

First Page

619

Last Page

643

Grant

1421561

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS