中文

Journal of Applied Sciences ›› 2010, Vol. 28 ›› Issue (3): 326-330.

• Computer Science and Applications • Previous Articles    

Transformation from OWL-S Model to Z

WANG Yi-jun1;2, MIAO Huai-kou1;2, XU Qing-guo1, CAO Xiao-xia1   

  1. 1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
    2. Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai 201112, China
  • Received:2009-08-03 Revised:2009-12-30 Online:2010-05-21 Published:2010-05-21

PDF

1906

Abstract:

OWL-S is one of the most significant Semantic Web Service frameworks, but is short of effective formal verification tools. Z is a formal specification language based upon set theory and mathematical logic that is more expressive than OWL-S. This paper studies the formal method for OWL-S based on Z. A set of model transforming rules is proposed. The semantics of OWL-S concepts are defined using Z based on these rules. A tool prototype (OWLS2Z) transforming OWL-S model to Z is presented.

Key words: Semantic Web Service, OWL-S, the Z notation, formal method, transforming rules

CLC Number: