A Colored Petri Nets Based Model and Verification for Services Composition
Hasan A. H. Naji, Qingji Xue, Lingxiao Zhang, Ke Zheng · Journal of Physics Conference Series · 2019
Abstract Service composition process generates composite services in order to fullfill service consumer’s requirements that cannot be satisfied by a single service. Literature review addressed services composition but ignored verifying the existence of several serious issues, which may affect Service composition and may lead to failure of the given composite services in the execution time, including consistency of the functionality and QoS Criteria. This paper adopts Colored Petri Nets based model for Services Composition and proposes a QoS aware algorithm for verifying the consistency of composite services. A case study is provided for demonstrating the applicability of the proposed model and algorithm using concepts and values of QoS Criteria of composite services.