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

Y. Peng and N. Huang, "Formalizing Semantics of OWL-S Process Model,"

*2008 Pacific-Asia Workshop on Computational Intelligence and Industrial Application. PACIIA 2008(PACIIA)*, Wuhan, 2008, pp. 597-601.

doi:10.1109/PACIIA.2008.325

CITATIONS