A layered Petri net model to formally analyse time critical web service composition
Fateh Latreche, Faïza Belala · International Journal of Critical Computer-Based Systems · 2017
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.