Visualizing and Simulating Semantic Web Services Ontologies

  • Jun Sun
  • Yuan Fang Li
  • Hai Wang
  • Jing Sun
Conference paper

DOI: 10.1007/11576280_30

Volume 3785 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Sun J., Li Y.F., Wang H., Sun J. (2005) Visualizing and Simulating Semantic Web Services Ontologies. In: Lau KK., Banach R. (eds) Formal Methods and Software Engineering. ICFEM 2005. Lecture Notes in Computer Science, vol 3785. Springer, Berlin, Heidelberg

Abstract

The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretable and extensible, opening up possibilities for simple services to be combined to build complex ones. The Semantic Web presents a new mechanism for users and software agents to discover, describe, invoke, compose and monitor Web services. For these purposes the Semantic Web Services (OWL-S) ontologies have been developed to provide vocabularies to describe Web Services in a precise and machine-understandable way. It is necessary to ensure the ontological descriptions of the services capture the intended meaning as erroneous description may cause invocation of wrong services, with wrong parameters, resulting in undesired outcome. In this paper, we propose to apply software engineering method and tools to visualize, simulate and verify OWL-S process models. Namely, Live Sequence Charts (LSCs) is used to model services, capturing the inner workings of services, and its tool support Play-Engine is used to perform automated visualization, simulation and checking.

Keywords

Semantic Web Services OWL-S LSC Play-Engine 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jun Sun
    • 1
  • Yuan Fang Li
    • 1
  • Hai Wang
    • 2
  • Jing Sun
    • 3
  1. 1.School of ComputingNational University of Singapore 
  2. 2.Department of Computer ScienceUniversity of Manchester 
  3. 3.Department of Computer ScienceThe University of Auckland