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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2010 10th International Conference on Quality Software S. 405 - 413
Hauptverfasser:	Zhenhua Duan, Cong Tian
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.07.2010
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!