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)
Δημοφιλείς αναρτήσεις
-
Background Hyperthyroidism is associated with increased thrombotic risk. As contact system activation through formation of neutrophil extrac...
-
UM-Chor1: establishment and characterization of the first validated clival chordoma cell line. J Neurosurg. 2017 Apr 21;:1-9 Authors:...
-
Publication date: Available online 10 May 2017 Source: Journal of Dairy Science Author(s): R.E. Vibart, M. Tavendale, D. Otter, B.H. Schw...
-
Competency-based psychiatric education for Indian medical undergraduates Vijayalakshmi Pernenkil Archives of Mental Health 2019 20(1):1-2 Be...
-
Related Articles Developmental control of macrophage function. Curr Opin Immunol. 2017 Dec 13;50:64-74 Authors: Bonnardel J, Guillia...
-
from #AlexandrosSfakianakis via Alexandros G.Sfakianakis on Inoreader http://ift.tt/2tcPIjn via IFTTT
-
Abstract: Epidermolytic ichthyosis (EI) is a rare disorder of cornification caused by mutations in KRT1 and KRT10, encoding two suprabasal e...
-
Bloomberg Celgene Settles Whistle-Blower Fraud Suit for $280 Million Bloomberg Even after the FDA approved Thalomid for multiple myelo...
-
Related Articles Chinese version of the Constant-Murley questionnaire for shoulder pain and disability: a reliability and validation ...
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου