{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:17:17Z","timestamp":1737091037951,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439288"},{"type":"electronic","value":"9783540456148"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_33","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T04:45:28Z","timestamp":1179377128000},"page":"587-606","source":"Crossref","is-referenced-by-count":6,"title":["Semantic Web for Extending and Linking Formalisms"],"prefix":"10.1007","author":[{"given":"Jin Song","family":"Dong","sequence":"first","affiliation":[]},{"given":"Jing","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Hai","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"K. Araki, A. Galloway, and K. Taguchi, editors. IFM\u201999: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.","DOI":"10.1007\/978-1-4471-0851-1"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001.","DOI":"10.1038\/scientificamerican0501-34"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"J.C. Bicarregui, J.S. FitzGerald, P.A. Lindsay, R. Moore, and B. Ritchie. Proof in VDM: A practioners Guide. Springer Verlag, 1994.","DOI":"10.1007\/978-1-4471-2033-9"},{"key":"33_CR4","unstructured":"J.C. Bicarregui and B. M. Matthews. Integrating EXPRESS and SGML for Document Modelling in Control Systems Design. In EUG\u201995, 5th Annual EXPRESS User Group International Conference, 1995."},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"J. P. Bowen and D. Chippington. Z on the Web using Java. In A. Fett, and M. G. Hinchey, editors. ZUM\u201998: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24\u201326 September 1998, volume 1493 of Lect. Notes in Comput. Sci. Springer-Verlag, 1998Bowen et al. [6]}, pages 66\u201380.","DOI":"10.1007\/BFb0056026"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"J. P. Bowen, A. Fett, and M. G. Hinchey, editors. ZUM\u201998: 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.","DOI":"10.1007\/BFb0056020"},{"key":"33_CR7","unstructured":"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."},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"M. Butler. csp2B: A Practical Approach To Combining CSP and B. In J. Wing, J. Woodcock, and J. Davies, editors, FM\u201999: World Congress on Formal Methods, Lect. Notes in Comput. Sci., Toulouse, France, September 1999. Springer-Verlag.","DOI":"10.1007\/3-540-48119-2_28"},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"P. Ciancarini, C. Mascolo, and F. Vitali. Visualizing Z notation in HTML documents. In A. Fett, and M. G. Hinchey, editors. ZUM\u201998: 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\u201395.","DOI":"10.1007\/BFb0056027"},{"key":"33_CR10","unstructured":"R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan, March 2000."},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"C. Fischer and H. Wehrheim. Model-Checking CSP-OZ Specifications with FDR. In A. Galloway, and K. Taguchi, editors. IFM\u201999: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999Araki et al. [1]}.","DOI":"10.1007\/978-1-4471-0851-1_17"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"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\u201997), Hiroshima, Japan, November 1997. IEEE Computer Society Press Hinchey and Liu [14]}, pages 272\u2013282.","DOI":"10.1109\/ICFEM.1997.630434"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"W. Grieskamp, T. Santen, and B. Stoddart, editors. IFM\u201900: Integrated Formal Methods,, Lect. Notes in Comput. Sci. Springer-Verlag, October 2000.","DOI":"10.1007\/3-540-40911-4"},{"key":"33_CR14","unstructured":"M. Hinchey and S. Liu, editors. the IEEE International Conference on Formal Engineering Methods (ICFEM\u201997), Hiroshima, Japan, November 1997. IEEE Computer Society Press."},{"key":"33_CR15","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985."},{"key":"33_CR16","unstructured":"Intellidimension Inc. Rdfql reference manual. http:\/\/www.intellidimension.com\/RDFGateway\/Docs\/rdfqlmanual.asp , 2001."},{"key":"33_CR17","unstructured":"D. Jackson and J. Wing. Lightweight formal methods. IEEE Computer, April 1996."},{"key":"33_CR18","unstructured":"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."},{"issue":"2","key":"33_CR19","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150\u2013177, February 2000.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"33_CR20","unstructured":"Andrew P. Martin. Community z tools initiative. http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/andrew.martin\/CZT\/ , 2001."},{"key":"33_CR21","unstructured":"R. Paige. Formal method integration via heterogeneous notations. PhD Dissertation, University of Toronto, 1997."},{"key":"33_CR22","unstructured":"A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997."},{"key":"33_CR23","doi-asserted-by":"crossref","unstructured":"M. Saaltink. Z and EVES. In Proceedings of Sixth Annual Z-User Meeting, University of York, Dec 1991.","DOI":"10.1007\/978-1-4471-3203-5_11"},{"key":"33_CR24","unstructured":"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\u2013675. Springer-Verlag, 1992."},{"key":"33_CR25","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"33_CR26","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/A:1011269103179","volume":"18","author":"G. Smith","year":"2001","unstructured":"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\u2013284, 2001.","journal-title":"Formal Methods in System Design"},{"key":"33_CR27","doi-asserted-by":"crossref","unstructured":"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\u2013734. ACM Press, May 2001.","DOI":"10.1145\/371920.372189"},{"key":"33_CR28","doi-asserted-by":"crossref","unstructured":"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\u201997), Hiroshima, Japan, November 1997. IEEE Computer Society Press Hinchey and Liu [14]}, pages 283\u2013292.","DOI":"10.1109\/ICFEM.1997.630435"},{"key":"33_CR29","doi-asserted-by":"crossref","unstructured":"H. Treharne and S. Schneider. Using a Process Algebra to control B OPERATIONS. In A. Galloway, and K. Taguchi, editors. IFM\u201999: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999 Araki et al. [1]}.","DOI":"10.1007\/978-1-4471-0851-1_23"},{"key":"33_CR30","unstructured":"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, \u22ef, March, 2001."},{"key":"33_CR31","unstructured":"World Wide Web Consortium (W3C). Extensible markup language (xml). http:\/\/www.w3.org\/XML ."},{"key":"33_CR32","doi-asserted-by":"crossref","unstructured":"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\u201901), pages 291\u2013298. IEEE Press, 2001.","DOI":"10.1109\/APSEC.2001.991490"},{"key":"33_CR33","unstructured":"J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall International, 1996."},{"issue":"7","key":"33_CR34","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1109\/32.538607","volume":"22","author":"P. Zave","year":"1996","unstructured":"P. Zave and M. Jackson. Where do operations come from?: A multiparadigm specification technique. IEEE Transactions on Software Engineering, 22(7):508\u2013528, July 1996.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T11:10:00Z","timestamp":1737025800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}