An Executable Concurrent Model for OWL-S Process Models

This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal Logic Programming Language (FTLL), and OWL-S process models are briefly introduced. Further, the computational model, Kripke Transition Syst...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2010 10th International Conference on Quality Software s. 405 - 413
Hlavní autoři: Zhenhua Duan, Cong Tian
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.07.2010
Témata:
Computational modeling
Data models
Kripke Transition System
Logic programming
Ontologies
OWL-S process model
Process control
Semantic Web
Simulation
Temporal Logic Programming Language
Verification
Web services
ISBN:1424480787, 9781424480784
ISSN:1550-6002
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal Logic Programming Language (FTLL), and OWL-S process models are briefly introduced. Further, the computational model, Kripke Transition System (KTS), is inductively defined for processes of OWL-S. Moreover, an algorithm K-F is formalized to translate KTS into FTLL. Thus, an executable subset of FTLL, Framed Tempura, can be employed to simulate OWL-S process models. In addition, an example is given to show how our method works.
ISBN:1424480787
9781424480784
ISSN:1550-6002
DOI:10.1109/QSIC.2010.48