Skip to main content
SpringerLink
Log in

Semantic Web for Extending and Linking Formalisms

  • Conference paper
  • First Online:
FME 2002:Formal Methods—Getting IT Right (FME 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2391))

Included in the following conference series:

Abstract

The diversity of various formal specification techniques and the need for their effective combinations requires an extensible and integrated supporting environment. The Web provides infrastructure for such an environment for formal specification and design because it allows sharing of various design models and provides hyper textual links among the models. Recently the Semantic Web Activity proposed the idea of having data on the web defined and linked in a way that it can be used for automation, extension and integration. The success of the Semantic Web may have profound impact on the web environment for formal specifications, especially for extending and integrating different formalisms. This paper demonstrates how RDF and DAML can be used to build a Semantic Web environment for supporting, extending and integrating various formal specification languages. Furthermore, the paper illustrates how RDF query techniques can facilitate specification comprehension.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K. Araki, A. Galloway, and K. Taguchi, editors. IFM’99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.

    Google Scholar 

  2. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001.

    Google Scholar 

  3. J.C. Bicarregui, J.S. FitzGerald, P.A. Lindsay, R. Moore, and B. Ritchie. Proof in VDM: A practioners Guide. Springer Verlag, 1994.

    Google Scholar 

  4. J.C. Bicarregui and B. M. Matthews. Integrating EXPRESS and SGML for Document Modelling in Control Systems Design. In EUG’95, 5th Annual EXPRESS User Group International Conference, 1995.

    Google Scholar 

  5. J. P. Bowen and D. Chippington. Z on the Web using Java. In A. Fett, and M. G. Hinchey, editors. ZUM’98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24–26 September 1998, volume 1493 of Lect. Notes in Comput. Sci. Springer-Verlag, 1998Bowen et al. [6]}, pages 66–80.

    Google Scholar 

  6. J. P. Bowen, A. Fett, and M. G. Hinchey, editors. ZUM’98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24-26 September 1998, volume 1493 of Lect. Notes in Comput. Sci. Springer-Verlag, 1998.

    Google Scholar 

  7. D. Brickley and R.V. Guha (editors). Resource description framework (rdf) schema specification 1.0. http://www.w3.org/TR/2000/CR-rdf-schema-20000327/, March, 2000.

  8. M. Butler. csp2B: A Practical Approach To Combining CSP and B. In J. Wing, J. Woodcock, and J. Davies, editors, FM’99: World Congress on Formal Methods, Lect. Notes in Comput. Sci., Toulouse, France, September 1999. Springer-Verlag.

    Google Scholar 

  9. P. Ciancarini, C. Mascolo, and F. Vitali. Visualizing Z notation in HTML documents. In A. Fett, and M. G. Hinchey, editors. ZUM’98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24-26 September 1998, volume 1493 of Lect. Notes in Comput. Sci. Springer-Verlag, 1998Bowen et al. [6]}, pages 81–95.

    Google Scholar 

  10. R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan, March 2000.

    Google Scholar 

  11. C. Fischer and H. Wehrheim. Model-Checking CSP-OZ Specifications with FDR. In A. Galloway, and K. Taguchi, editors. IFM’99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999Araki et al. [1]}.

    Google Scholar 

  12. A. J. Galloway and W. J. Stoddart. An operational semantics for ZCCS. In S. Liu, editors. the IEEE International Conference on Formal Engineering Methods (ICFEM’97), Hiroshima, Japan, November 1997. IEEE Computer Society Press Hinchey and Liu [14]}, pages 272–282.

    Google Scholar 

  13. W. Grieskamp, T. Santen, and B. Stoddart, editors. IFM’00: Integrated Formal Methods,, Lect. Notes in Comput. Sci. Springer-Verlag, October 2000.

    Google Scholar 

  14. M. Hinchey and S. Liu, editors. the IEEE International Conference on Formal Engineering Methods (ICFEM’97), Hiroshima, Japan, November 1997. IEEE Computer Society Press.

    Google Scholar 

  15. C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985.

    Google Scholar 

  16. Intellidimension Inc. Rdfql reference manual. http://www.intellidimension.com/RDFGateway/Docs/rdfqlmanual.asp, 2001.

  17. D. Jackson and J. Wing. Lightweight formal methods. IEEE Computer, April 1996.

    Google Scholar 

  18. O. Lassila and R. R. Swick (editors). Resource description framework (rdf) model and syntax specification. http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/, Feb, 1999.

  19. B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150–177, February 2000.

    Google Scholar 

  20. Andrew P. Martin. Community z tools initiative. http://web.comlab.ox.ac.uk/oucl/work/andrew.martin/CZT/, 2001.

  21. R. Paige. Formal method integration via heterogeneous notations. PhD Dissertation, University of Toronto, 1997.

    Google Scholar 

  22. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.

    Google Scholar 

  23. M. Saaltink. Z and EVES. In Proceedings of Sixth Annual Z-User Meeting, University of York, Dec 1991.

    Google Scholar 

  24. S. Schneider, J. Davies, D. M. Jackson, G. M. Reed, J. N. Reed, and A. W. Roscoe. Timed CSP: Theory and practice. In J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lect. Notes in Comput. Sci., pages 640–675. Springer-Verlag, 1992.

    Google Scholar 

  25. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.

    Google Scholar 

  26. G. Smith and J. Derrick. Specification, refinement and verification of concurrent systems-an integration of Object-Z and CSP. Formal Methods in System Design, 18:249–284, 2001.

    Article  MATH  Google Scholar 

  27. J. Sun, J. S. Dong, J. Liu, and H. Wang. Object-Z Web Environment and Projections to UML. In WWW-10: 10th International World Wide Web Conference, pages 725–734. ACM Press, May 2001.

    Google Scholar 

  28. K. Taguchi and K. Araki. The State-Based CCS Semantics for Concurrent Z Specification. In S. Liu, editors. the IEEE International Conference on Formal Engineering Methods (ICFEM’97), Hiroshima, Japan, November 1997. IEEE Computer Society Press Hinchey and Liu [14]}, pages 283–292.

    Google Scholar 

  29. H. Treharne and S. Schneider. Using a Process Algebra to control B OPERATIONS. In A. Galloway, and K. Taguchi, editors. IFM’99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999 Araki et al. [1]}.

    Google Scholar 

  30. F. van Harmelen, P. F. Patel-Schneider, and I. Horrocks (editors). Reference description of the daml+oil ontology markup language. Contributors: T. Berners-Lee, D. Brickley, D. Connolly, M. Dean, S. Decker, P. Hayes, J. Heflin, J. Hendler, O. Lassila, D. McGuinness, L. A. Stein, â‹Ż, March, 2001.

    Google Scholar 

  31. World Wide Web Consortium (W3C). Extensible markup language (xml). http://www.w3.org/XML.

  32. J. Woodcock and A. Cavalcanti. The steam boiler in a unified theory of Z and CSP. In The 8th Asia-Pacific Software Engineering Conference (APSEC’01), pages 291–298. IEEE Press, 2001.

    Google Scholar 

  33. J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall International, 1996.

    Google Scholar 

  34. P. Zave and M. Jackson. Where do operations come from?: A multiparadigm specification technique. IEEE Transactions on Software Engineering, 22(7):508–528, July 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, National University of Singapore, Singapore

    Jin Song Dong, Jing Sun & Hai Wang

Authors
  1. Jin Song Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jing Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hai Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technology, Uppsala University, P.O. Box 337, 751 05, Uppsala, Sweden

    Lars-Henrik Eriksson

  2. Software Verification Research Centre, The University of Queensland, Queensland, 4072, Australia

    Peter Alexander Lindsay

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dong, J.S., Sun, J., Wang, H. (2002). Semantic Web for Extending and Linking Formalisms. In: Eriksson, LH., Lindsay, P.A. (eds) FME 2002:Formal Methods—Getting IT Right. FME 2002. Lecture Notes in Computer Science, vol 2391. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45614-7_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-45614-7_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43928-8

  • Online ISBN: 978-3-540-45614-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation