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

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!