文章基本信息

标题：Formal Semantics of OWL-S with Rewrite Logic
本地全文：下载
作者：Ning Huang ; Xiaojuan Wang ; Camilo Rocha 等
期刊名称：Journal of Software Engineering and Applications
印刷版ISSN：1945-3116
电子版ISSN：1945-3124
出版年度：2009
卷号：2
期号：1
页码：25-33
DOI：10.4236/jsea.2009.21004
出版社：Scientific Research Publishing
摘要：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