Visualizing and simulating semantic web services ontologies

Sun, Jun, Li, Yuan Fang, Wang, Hai and Sun, Jing (2005). Visualizing and simulating semantic web services ontologies. In: Kung-Kiu Lau and Richard Banach, Formal Methods and Software Engineering. 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, U.K., (435-449). 1-4 November 2005. doi:10.1007/11576280_30

Author Sun, Jun
Li, Yuan Fang
Wang, Hai
Sun, Jing
Title of paper Visualizing and simulating semantic web services ontologies
Conference name 7th International Conference on Formal Engineering Methods, ICFEM 2005
Conference location Manchester, U.K.
Conference dates 1-4 November 2005
Proceedings title Formal Methods and Software Engineering   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer-Verlag
Publication Year 2005
Sub-type Fully published paper
DOI 10.1007/11576280_30
ISBN 978-3-540-29797-0
ISSN 0302-9743
Editor Kung-Kiu Lau
Richard Banach
Volume 3785
Start page 435
End page 449
Total pages 15
Language eng
Abstract/Summary 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
Subjects 080612 Interorganisational Information Systems and Web Services
080309 Software Engineering
Keyword Semantic Web Services
Q-Index Code E1
Additional Notes Proceedings published in 'Lecture Notes in Computer Science' Book series.

Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 23 Jan 2009, 09:40:20 EST by Ms Lynette Adams on behalf of Faculty Of Engineering, Architecture & Info Tech