Title: A layered Petri net model to formally analyse time critical web service composition

Authors: Fateh Latreche; Faiza Belala

Addresses: LIRE Laboratory, Constantine 2 University, Constantine, Algeria ' LIRE Laboratory, Constantine 2 University, Constantine, Algeria

Abstract: Analysing flexible, open and time constrained systems like web services is of critical importance. In this work, we propose Timed Mop-ECATNets, a layered Petri net model that makes possible analysis of flexible web services while taking time and data type aspects into account. The proposed model is defined in term of the concurrent semantics of real time rewrite theories. Analysis of the model is carried out using the real time Maude TCTL model checker, instantaneous rewrite rules axiomatise instantaneous behaviour and timed rewrite rules axiomatise the timed behaviour.

Keywords: time critical web services; flexible web service composition; Petri net; real time rewrite theory.

DOI: 10.1504/IJCCBS.2017.084915

International Journal of Critical Computer-Based Systems, 2017 Vol.7 No.2, pp.119 - 137

Received: 06 Mar 2015
Accepted: 08 Feb 2016
Published online: 09 Jul 2017 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article