Article citationsMore>>

H. Huang and R. A. Mason, “Model checking technolo-gies for web services,” in Proceedings the 4th IEEE Workshop on Software Technologies for Future Embed-ded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance, Wanshington, DC, USA, pp. 217-224, April 2006.

has been cited by the following article:

• TITLE: Formal Semantics of OWL-S with Rewrite Logic

  AUTHORS: Ning Huang, Xiaojuan Wang, Camilo Rocha

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

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.2 No.1, April 16, 2009

  ABSTRACT: 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.