Using Colored Petri Nets for Verifying RESTful Service Composition - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Using Colored Petri Nets for Verifying RESTful Service Composition


RESTful services are an attractive technology for designing and developing web-based applications, as they facilitate reuse, interoperability, and loosely coupled interaction with generic clients (typically web browsers). Building RESTful service composition has received much interest to satisfy complex user requirements. However, verifying the correctness of a composition remains a tedious task. In this paper, we present a formal approach based on Colored Petri Nets (CPNs) to verify RESTful service composition. First, we show how CPNs are utilized for modeling the behavior of resources and their composition. Then, we present how this formal model can be used to verify relevant composition behavior properties. Our solution is illustrated with a scenario built upon an energy management web framework developed within the HIT2GAP H2020 European project (
Fichier principal
Vignette du fichier
Using Colored Petri-nets for Verifying RESTful Service Composition (1).pdf (775.72 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01592920 , version 1 (27-02-2018)



Lara Kallab, Michael Mrissa, Richard Chbeir, Pierre Bourreau. Using Colored Petri Nets for Verifying RESTful Service Composition. OTM Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2017, Rhodes, Greece. pp.505-523, ⟨10.1007/978-3-319-69462-7_32⟩. ⟨hal-01592920⟩
151 View
857 Download



Gmail Facebook X LinkedIn More