The Community for Technology Leaders
Pacific-Asia Workshop on Computational Intelligence and Industrial Application, IEEE (2008)
Dec. 19, 2008 to Dec. 20, 2008
ISBN: 978-0-7695-3490-9
pp: 597-601
ABSTRACT
OWL-S is an important standard for semantic web and its process model not formalized complete. There are some researches working on formalizing semantics of OWL-S process model and this paper is one of them. Rewrite logic system Maude is choose to formalize the informal part semantics of OWL-S in our work. Use Maude as a specification language, semantics of a subset of OWL-S process model elements more than control construct is described for defining dynamic semantics of OWL-S control construct. The rewrite logic defined formal semantics of OWL-S control construct can be used for multiple using such as testing, model checking, verifying etc.
INDEX TERMS
OWL-S, rewrite logic, Maude, formalization, dynamic semantics
CITATION
YongYi Peng, Ning Huang, "Formalizing Semantics of OWL-S Process Model", Pacific-Asia Workshop on Computational Intelligence and Industrial Application, IEEE, vol. 01, no. , pp. 597-601, 2008, doi:10.1109/PACIIA.2008.325
235 ms
(Ver 3.3 (11022016))