Skip to Main content Skip to Navigation
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 (http://www.hit2gap.eu/)
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01592920
Contributor : Lara Kallab <>
Submitted on : Tuesday, February 27, 2018 - 4:42:51 PM
Last modification on : Thursday, March 5, 2020 - 7:16:12 PM
Long-term archiving on: : Monday, May 28, 2018 - 4:37:44 PM

File

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

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

221

Files downloads

875