A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Using Colored Petri Nets for Verifying RESTful Service Composition
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 (Highly Innovative building control Tools Tackling the energy performance GAP http://www.hit2gap.eu). ; The authors acknowledge that the development work is carried out in a complementary manner with SIBEX: a French project funded by the Energy Transition Institute INEF 4.
Using Colored Petri Nets for Verifying RESTful Service Composition
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 (Highly Innovative building control Tools Tackling the energy performance GAP http://www.hit2gap.eu). ; The authors acknowledge that the development work is carried out in a complementary manner with SIBEX: a French project funded by the Energy Transition Institute INEF 4.
Using Colored Petri Nets for Verifying RESTful Service Composition
Kallab, Lara (author) / Mrissa, Michael (author) / Chbeir, Richard (author) / Bourreau, Pierre (author)
2017-10-20
oai:zenodo.org:1193256
Lecture Notes in Computer Science 10573 505-523
Article (Journal)
Electronic Resource
English
DDC:
690
Verifying soundness of geodata web service composition based on Petri nets
| British Library Online Contents | 2017
Hierarchical Colored Petri Nets Based Modeling and Analyzing for Web Service Composition
| British Library Online Contents | 2011
Hierarchical Colored Petri Nets Based Components for Workflow Systems
| British Library Online Contents | 2006
Traffic Signal Priority/Preemption Control with Colored Petri Nets
| British Library Conference Proceedings | 2005