Pacific-Asia Workshop on Computational Intelligence and Industrial Application, IEEE (2008)
Dec. 19, 2008 to Dec. 20, 2008
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.
OWL-S, rewrite logic, Maude, formalization, dynamic semantics
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.