{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:40:07Z","timestamp":1747579207625,"version":"3.40.5"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[2002,6]]},"DOI":"10.1023\/a:1016513914276","type":"journal-article","created":{"date-parts":[[2002,12,29]],"date-time":"2002-12-29T19:13:07Z","timestamp":1041189187000},"page":"329-356","source":"Crossref","is-referenced-by-count":12,"title":["A Formal Object Approach to the Design of ZML"],"prefix":"10.1007","volume":"13","author":[{"given":"Jing","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5091767_CR1","first-page":"66","volume-title":"Lecture Notes in Computer Science","author":"J.P. Bowen","year":"1998","unstructured":"Bowen, J.P. and D. Chippington (1998), \u201cZ on theWeb using Java, \u201d In ZUM'98: The Z Formal Specification Notation, 11th International Conference of Z Users, J.P. Bowen, A. Fett, and M.G. Hinchey, Eds., Lecture Notes in Computer Science, Vol. 1493, Springer-Verlag, Berlin, pp. 66\u201380."},{"key":"5091767_CR2","first-page":"81","volume-title":"Lecture Notes in Computer Science","author":"P. Ciancarini","year":"1998","unstructured":"Ciancarini, P., C. Mascolo, and F. Vitali (1998), \u201cVisualizing Z Notation in HTML Documents, \u201d In ZUM'98: The Z Formal Specification Notation, 11th\nInternational Conference of Z Users, J.P. Bowen, A. Fett, and M.G. Hinchey, Eds., Lecture Notes in Computer Science, Vol. 1493, Springer-Verlag, Berlin, pp. 81\u201395."},{"unstructured":"Clark, J. (1999), \u201cXT Version 19991105, \u201d http:\/\/www.jclark.com\/xml\/xt.html","key":"5091767_CR3"},{"unstructured":"Dong, J.S. and B. Mahony (1998), \u201cActive Objects in TCOZ, \u201d In The 2nd IEEE International Conference on Formal Engineering Methods (ICFEM'98), J. Staples, M. Hinchey, and S. Liu, Eds., IEEE Computer Society Press, pp. 16- 25.","key":"5091767_CR4"},{"unstructured":"Duke, R. and G. Rose (2000), Formal Object Oriented Specification Using Object-Z, Cornerstones of Computing, Macmillan.","key":"5091767_CR5"},{"unstructured":"Evans, A.S. and A.N. Clark (1998), \u201cFoundations of the Unified Modeling Language, \u201d In BCS-FACS Northern Formal Methods Workshop, D.J. Duke and A.S. Evans, Eds., Electronic Workshops in Computing, Springer Verlag.","key":"5091767_CR6"},{"key":"5091767_CR7","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1109\/ICFEM.1997.630424","volume-title":"The IEEE International Conference on Formal Engineering Methods (ICFEM'97)","author":"K. Futatsugi","year":"1997","unstructured":"Futatsugi, K. and A. Nakagawa (1997), \u201cAn Overview of CAFE Specification Environment, \u201d In The IEEE International Conference on Formal Engineering Methods (ICFEM'97), M. Hinchey and S. Liu, Eds., IEEE Computer Society Press, Hiroshima, Japan, pp. 170\u2013181."},{"unstructured":"Hayes, I., Ed. (1993), Specification Case Studies, International Series in Computer Science, 2nd ed., Prentice-Hall.","key":"5091767_CR8"},{"key":"5091767_CR9","first-page":"3","volume-title":"The 19th International Conference on Software Engineering (ICSE'97)","author":"G. Kaiser","year":"1997","unstructured":"Kaiser, G., S. Dossick, W. Jiang, and J. Yang (1997), \u201cAn Architecture for WWW-based Hypercode Environments, \u201d In The 19th International Conference on Software Engineering (ICSE'97), R. Adrion, A. Fuggetta, and R. Taylor, Eds., IEEE Press, Boston, USA, pp. 3\u201313."},{"doi-asserted-by":"crossref","unstructured":"Kim, S.K. and D. Carrington (2000), \u201cAn Integrated Framework with UML and Object-Z for Developing a Precise Specification, \u201d In The 7th Asia-Pacific Software Engineering Conference (APSEC'00), IEEE Press, pp. 240- 248.","key":"5091767_CR10","DOI":"10.1109\/APSEC.2000.896705"},{"unstructured":"Liu, J., J.S. Dong, B. Mahony, and K. Shi (2000), \u201cLinking UML with Integrated Formal Techniques, \u201d In Unified Modeling Language: Systems Analysis, Design, and Development Issues, K. Siau and T. Halpin, Eds., Idea Group Publishing, pp. 210- 223.","key":"5091767_CR11"},{"doi-asserted-by":"crossref","unstructured":"Liu, S., A.J. Offutt, C. Ho-Stuart, Y. Sun, and M. Ohba (1998), \u201cSOFL:A Formal Engineering Methodology for Industrial Applications, \u201d IEEE Transactions on Software Engineering 24, 1.","key":"5091767_CR12","DOI":"10.1109\/32.663996"},{"key":"5091767_CR13","first-page":"1166","volume-title":"Lecture Notes in Computer Science","author":"B. Mahony","year":"1999","unstructured":"Mahony, B. and J.S. Dong (1999), \u201cSensors and Actuators in TCOZ, \u201d In FM'99: World Congress on Formal Methods, J. Wing, J. Woodcock, and J. Davies, Eds., Lecture Notes in Computer Science, Vol. 1709, Springer-Verlag, Toulouse, pp. 1166\u20131185."},{"issue":"2","key":"5091767_CR14","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"Mahony, B. and J.S. Dong (2000), \u201cTimed Communicating Object Z, \u201d IEEE Transactions on Software Engineering 26, 2, 150\u2013177.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5091767_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1109\/ICSE.1998.671106","volume-title":"The 20th International Conference on Software Engineering (ICSE'98)","author":"B.P. Mahony","year":"1998","unstructured":"Mahony, B.P. and J.S. Dong (1998), \u201cBlending Object-Z and Timed CSP: An Introduction to TCOZ, \u201d In The 20th International Conference on Software Engineering (ICSE'98), K. Futatsugi, R. Kemmerer, and K. Torii, Eds., IEEE Press, Kyoto, Japan, pp. 95\u2013104."},{"key":"5091767_CR16","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF01887199","volume":"1","author":"M. Nielsen","year":"1989","unstructured":"Nielsen, M., K. Havelund, R. Wagner, and C. George (1989), \u201cThe RAISE Language, Method and Tools, \u201d Formal Aspects of Computing 1, 85\u2013114.","journal-title":"Formal Aspects of Computing"},{"unstructured":"Rumbaugh, J., I. Jacobson, and G. Booch (1999), The Unified Modeling Languauge Reference Manual, Addison-Wesley.","key":"5091767_CR17"},{"doi-asserted-by":"crossref","unstructured":"Schneider, S. and J. Davies (1995), \u201cA Brief History of Timed CSP, \u201d Theoretical Computer Science 138.","key":"5091767_CR18","DOI":"10.1016\/0304-3975(94)00169-J"},{"issue":"3","key":"5091767_CR19","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01211075","volume":"7","author":"G. Smith","year":"1995","unstructured":"Smith, G. (1995), \u201cA Fully Abstract Semantics of Classes for Object-Z, \u201d Formal Aspects of Computing 7, 3, 289\u2013313.","journal-title":"Formal Aspects of Computing"},{"unstructured":"Smith, G. (2000), The Object-Z Specification Language, Advances in Formal Methods, Kluwer Academic. (W3C), W.W.W.C. (1999), \u201cXSL Transformations (XSLT) Version 1.0, \u201d http:\/\/www.w3.org\/TR\/xslt","key":"5091767_CR20"},{"unstructured":"(W3C), W.W.W.C. (2000a), \u201cExtensible Markup Language (XML), \u201d http:\/\/www.w3.org\/XML","key":"5091767_CR21"},{"unstructured":"(W3C), W.W.W.C. (2000b), \u201cExtensible Stylesheet Language (XSL), \u201d http:\/\/www.w3.org\/Style\/XSL","key":"5091767_CR22"},{"unstructured":"Wafula, E.N. and P.A. Swatman (1995), \u201cFOOM: A Diagrammatic Illustration of Inter-Object Communication in Object-Z Specifications, \u201d In The 1995 Asia-Pacific Software Engineering Conference (APSEC'95), IEEE Computer Society Press.","key":"5091767_CR23"},{"unstructured":"Woodcock, J. and J. Davies (1996), Using Z: Specification, Refinement, and Proof, Prentice-Hall International.","key":"5091767_CR24"}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016513914276.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016513914276\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016513914276.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:11:41Z","timestamp":1747577501000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016513914276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":24,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["5091767"],"URL":"https:\/\/doi.org\/10.1023\/a:1016513914276","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}