Visualizing and Simulating Semantic Web Services Ontologies

  • Jun Sun
  • Yuan Fang Li
  • Hai Wang
  • Jing Sun
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3785)


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.


Semantic Web Services OWL-S LSC Play-Engine 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 35–43 (2001)CrossRefGoogle Scholar
  2. 2.
    Booth, D., Champion, M., Ferris, C., McCabe, F., Newcomer, E., Orchard, D.: Web Services Architecture (February 2004),
  3. 3.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1. W3C, 1.1 edn. (March 2001),
  4. 4.
    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)Google Scholar
  5. 5.
    Haarslev, V., Möller, R.: RACER User’s Guide and Reference Manual: Version 1.7.6 (December 2002)Google Scholar
  6. 6.
    Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart play-out. In: OOPSLA Companion, pp. 68–69 (2003)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)Google Scholar
  9. 9.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)zbMATHGoogle Scholar
  10. 10.
    Holzmann, G.: The model checker spin. IEEE Trans. on Software Engineering 23(5), 279–295 (1997); Special issue on Formal Methods in Software PracticeCrossRefMathSciNetGoogle Scholar
  11. 11.
    Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307–312. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  12. 12.
    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),
  13. 13.
    ITU: Message Sequence Chart(MSC), Series Z: Languages and general software aspects for telecommunication systems (November 1999)Google Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    Smith, M.K., Welty, C., McGuinness, D.L. (eds.): OWL Web Ontology Language Guide (2004),
  16. 16.
    Roscoe, A.W.: Theory and Practice of Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1997)Google Scholar
  17. 17.
    The OWL Services Coalition. OWL-S: Semantic Markup for Web Services (2004),
  18. 18.
    UDDI. Universal Description, Discovery, and Integration of Business for the Web (October 2001),
  19. 19.
    W3C. Simple Object Access Protocol (SOAP) 1.1 (2000),

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 

Personalised recommendations