Skip to Main content Skip to Navigation
New interface
Conference papers

Using Colored Petri Nets for Verifying RESTful Service Composition

Abstract : 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 (
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Lara Kallab Connect in order to contact the contributor
Submitted on : Tuesday, February 27, 2018 - 4:42:51 PM
Last modification on : Monday, November 7, 2022 - 5:24:33 PM
Long-term archiving on: : Monday, May 28, 2018 - 4:37:44 PM


Using Colored Petri-nets for V...
Files produced by the author(s)




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⟩



Record views


Files downloads