Author(s)

Ning Huang, Xiaojuan Wang, Camilo Rocha

Beihang University, Beijing, China.
University of Illinois at Champaign Urbana, USA.

SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-set, including its abstraction, syntax, static and dynamic seman-tics by rewrite logic. Details of a consistent transformation from OWL-S SOS of control-flow to corresponding rules and equations, and dataflow semantics including “Precondition”, “Result” and “Binding” etc. are explained. This paper provides a possibility for formal verification and reliability evaluation of software based on SOA.

SOA, Web Services, OWL-S, Formal Semantics, Rewrite Logic, Consistent Transformation, Reliability Evaluation

N. Huang, X. Wang and C. Rocha, "Formal Semantics of OWL-S with Rewrite Logic," Journal of Software Engineering and Applications, Vol. 2 No. 1, 2009, pp. 25-33. doi: 10.4236/jsea.2009.21004.