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/)
Type de document :
Communication dans un congrès
OTM Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2017, Rhodes, Greece. 10573, pp.505-523, 2017, On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings,. 〈10.1007/978-3-319-69462-7_32〉
Domaine :
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01592920
Contributeur : Lara Kallab <>
Soumis le : mardi 27 février 2018 - 16:42:51
Dernière modification le : mardi 10 juillet 2018 - 15:46:46
Document(s) archivé(s) le : lundi 28 mai 2018 - 16:37:44

Fichier

Using Colored Petri-nets for V...
Fichiers produits par l'(les) auteur(s)

Identifiants

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. 10573, pp.505-523, 2017, On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings,. 〈10.1007/978-3-319-69462-7_32〉. 〈hal-01592920〉

Partager

Métriques

Consultations de la notice

133

Téléchargements de fichiers

101