Using Colored Petri Nets for Verifying RESTful Service Composition - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Using Colored Petri Nets for Verifying RESTful Service Composition

Résumé

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/)
Fichier principal
Vignette du fichier
Using Colored Petri-nets for Verifying RESTful Service Composition (1).pdf (775.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
152 Consultations
870 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More