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