Article

Semantic Web for Extending and Linking Formalisms

Authors:

Hai WangAuthors Info & Claims

FME '02: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Pages 587 - 606

Published: 22 July 2002 Publication History

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.

References

[1]

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

[2]

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

[3]

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

[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.

[5]

J. P. Bowen and D. Chippington. Z on the Webusing Java. In Bowen et al. {6}, pages 66-80.

[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.

[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.

[9]

P. Ciancarini, C. Mascolo, and F. Vitali. Visualizing Z notation in HTML documents. In Bowen et al. {6}, pages 81-95.

[10]

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

[11]

C. Fischer and H. Wehrheim. Model-Checking CSP-OZ Specifications with FDR. In Araki et al. {1}.

[12]

A. J. Galloway and W. J. Stoddart. An operational semantics for ZCCS. In Hinchey and Liu {14}, pages 272-282.

[13]

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

[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.

[15]

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

[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.

[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.

[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.

[22]

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

[23]

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

[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.

[25]

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

[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.

[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.

[28]

K. Taguchi and K. Araki. The State-Based CCS Semantics for Concurrent Z Specification. In Hinchey and Liu {14}, pages 283-292.

[29]

H. Treharne and S. Schneider. Using a Process Algebra to control B OPERATIONS. In Araki et al. {1}.

[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.

[31]

World Wide WebConsortium (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.

[33]

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

[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.

Cited By

Wang HDamljanovic DSun J(2014)An automated tool for semantic accessing to formal software modelsScience of Computer Programming10.1016/j.scico.2014.02.02795:P1(93-111)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1016/j.scico.2014.02.027
Wang HDamljanovic DSun J(2010)Enhanced semantic access to formal software modelsProceedings of the 12th international conference on Formal engineering methods and software engineering10.5555/1939864.1939886(237-252)Online publication date: 17-Nov-2010
https://dl.acm.org/doi/10.5555/1939864.1939886
Dong J(2004)Software Modeling Techniques and the Semantic WebProceedings of the 26th International Conference on Software Engineering10.5555/998675.999488(724-725)Online publication date: 23-May-2004
https://dl.acm.org/doi/10.5555/998675.999488
Show More Cited By

Semantic Web for Extending and Linking Formalisms
1. Applied computing
  1. Document management and text processing

Recommendations

Semantic web reasoners and languages

Semantic web reasoners and languages enable the semantic web to function. Some of the latest reasoning models developed in the last few years are: DLP, FaCT, RACER, Pellet, MSPASS, CEL, Cerebra Engine, QuOnto, KAON2, HermiT and others. Some software ...
Utilizing host formalisms to extend RDF semantics
SWWS'01: Proceedings of the First International Conference on Semantic Web Working

RDF may be considered as an application of XML intended to inter-operably exchange semantics between Web applications. In its current form, this objective may be hard to reach. Even if the semantical gems hidden in the RDF/RDFS specification are ...
Semantic Web and Semantic Web Services: Father and Son or Indivisible Twins?

The Semantic Web is, without a doubt, gaining momentum in both industry and academia. Unfortunately, Semantic Web services -- annotating computational functionality rather than data -- are underrepresented. Most Semantic Web researchers dedicate their ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

FME '02: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

July 2002

624 pages

ISBN:3540439285

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 22 July 2002

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Wang HDamljanovic DSun J(2014)An automated tool for semantic accessing to formal software modelsScience of Computer Programming10.1016/j.scico.2014.02.02795:P1(93-111)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1016/j.scico.2014.02.027
Wang HDamljanovic DSun J(2010)Enhanced semantic access to formal software modelsProceedings of the 12th international conference on Formal engineering methods and software engineering10.5555/1939864.1939886(237-252)Online publication date: 17-Nov-2010
https://dl.acm.org/doi/10.5555/1939864.1939886
Dong J(2004)Software Modeling Techniques and the Semantic WebProceedings of the 26th International Conference on Software Engineering10.5555/998675.999488(724-725)Online publication date: 23-May-2004
https://dl.acm.org/doi/10.5555/998675.999488
Dong JLi YWang HFeldman SUretsky MNajork MWills C(2004)TCOZ approach to semantic web services designProceedings of the 13th international World Wide Web conference on Alternate track papers & posters10.1145/1013367.1013516(442-443)Online publication date: 19-May-2004
https://dl.acm.org/doi/10.1145/1013367.1013516

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents