Using Colored Petri Nets for Verifying RESTful Service Composition

Lara Kallab, Michael Mrissa, Richard Chbeir, Pierre Bourreau. Using Colored Petri Nets for Verifying RESTful Service Composition. In Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike P. Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman, editors, 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, Part I. Volume 10573 of Lecture Notes in Computer Science, pages 505-523, Springer, 2017. [doi]

Abstract

Abstract is missing.