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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 35–43 (2001)
Booth, D., Champion, M., Ferris, C., McCabe, F., Newcomer, E., Orchard, D.: Web Services Architecture (February 2004), http://www.w3.org/TR/2004/NOTE-ws-arch-20040211/
Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1. W3C, 1.1 edn. (March 2001), http://www.w3c.org/TR/wsdl
Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. In: Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), p. 451. Kluwer, B.V (1999)
Haarslev, V., Möller, R.: RACER User’s Guide and Reference Manual: Version 1.7.6 (December 2002)
Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart play-out. In: OOPSLA Companion, pp. 68–69 (2003)
Harel, D., Marelly, R.: Specifying and Executing Behavioral Requirements: The Play-In/Play-Out Approach. Technical Report MCS01-15, The Weizmann Institute of Science Rehovot, Israel (2002)
Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)
Holzmann, G.: The model checker spin. IEEE Trans. on Software Engineering 23(5), 279–295 (1997); Special issue on Formal Methods in Software Practice
Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307–312. Springer, Heidelberg (1998)
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML (May 2004), http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/
ITU: Message Sequence Chart(MSC), Series Z: Languages and general software aspects for telecommunication systems (November 1999)
Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 229–243. Springer, Heidelberg (2004)
Smith, M.K., Welty, C., McGuinness, D.L. (eds.): OWL Web Ontology Language Guide (2004), http://www.w3.org/TR/2004/REC-owl-guide-20040210/
Roscoe, A.W.: Theory and Practice of Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1997)
The OWL Services Coalition. OWL-S: Semantic Markup for Web Services (2004), http://www.daml.org/services/owl-s/
UDDI. Universal Description, Discovery, and Integration of Business for the Web (October 2001), http://www.uddi.org
W3C. Simple Object Access Protocol (SOAP) 1.1 (2000), http://www.w3c.org/TR/SOAP
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/11576280_30
Download citation
DOI: https://doi.org/10.1007/11576280_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29797-0
Online ISBN: 978-3-540-32250-4
eBook Packages: Computer ScienceComputer Science (R0)