We identify significant weaknesses in the original Abstract State Machine (ASM) based choreography algorithm of Web Service Modeling Ontology (WSMO), which make it impractical for use in semantic web service choreography engines. We present an improved algorithm which rectifies the weaknesses of the original algorithm, as well as a practical, fully functional choreography engine implementation in Flora-2 based on the improved algorithm. Our improvements to the choreography algorithm include (i) the linking of the initial state of the ASM to the precondition of the goal, (ii) the introduction of the concept of a final state in the execution of the ASM and its linking to the postcondition of the goal, and (iii) modification to the execution of the ASM so that it stops when the final state condition is satisfied by the current configuration of the machine. Our choreography engine takes as input semantic web service specifications written in the Flora-2 dialect of F-logic. Furthermore, we prove the equivalence of ASMs (evolving algebras) and evolving ontologies in the sense that one can simulate the other, a first in literature. Finally, we present a visual editor which facilitates the design and deployment of our F-logic based web service and goal specifications.
from #AlexandrosSfakianakis via Alexandros G.Sfakianakis on Inoreader http://ift.tt/2n62Wh5
via IFTTT
Εγγραφή σε:
Σχόλια ανάρτησης (Atom)
Δημοφιλείς αναρτήσεις
-
Publication date: Available online 4 January 2018 Source: European Journal of Radiology Author(s): Peiyao Zhang, Jing Wang, Qin Xu, Zhen...
-
Publication date: March 2017 Source: Free Radical Biology and Medicine, Volume 104 from #AlexandrosSfakianakis via Alexandros G.Sfak...
-
Dtsch med Wochenschr DOI: 10.1055/s-0043-100054 Hintergrund und Fragestellung Ein etablierter Weg, die optimale Behandlung von Tumorpatien...
-
Background Hyperthyroidism is associated with increased thrombotic risk. As contact system activation through formation of neutrophil extrac...
-
Deepak Thapa, Vanita Ahuja, Deepanshu Dhiman Indian Journal of Anaesthesia 2017 61(12):1012-1014 from #AlexandrosSfakianakis via Alexa...
-
BACKGROUND AND PURPOSE: Dengue is a common arboviral disease, which uncommonly involves the brain. There has been a recent surge in dengu...
-
Abstract Limited memory size is considered as a major bottleneck in data centers for intelligent urban computing. It is shown that there e...
-
Vol.36 No.6 from #AlexandrosSfakianakis via Alexandros G.Sfakianakis on Inoreader http://ift.tt/1k8FKtW via IFTTT
-
Linked Article: Maintz et al. Br J Dermatol 2017; 176:481–487 . from #AlexandrosSfakianakis via Alexandros G.Sfakianakis on Inoreader h...
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου