Specification and Verification of Timed Semantic web Services
Amel Boumaza, Ramdane Maamri · 2014
Abstract – It is widely recognized that temporal aspects are indispensable for Web Service modeling. Unfortunately, the current Semantic web Services description languages suffer from the lack of useful concepts needed for timing description. For this purpose, we propose a global methodology for the specification of timing behavior with an extended OWL-S ontology and verification of temporal properties with UPPPAL tool. The applicability is illustrated through the multimodal transport use case.