{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:54:39Z","timestamp":1743126879349,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_21","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"339-358","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Am\u00e1lio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fiona","family":"Polack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"21_CR1","unstructured":"OMG: Unified Modeling Language Specification, version 1.1. Object Management Group. (1997) Available at http:\/\/www.rational.com\/uml."},{"key":"21_CR2","unstructured":"OMG: Unified Modeling Language Specification, version 1.3. Object Management Group. (1999) Available at http:\/\/www.omg.org\/uml."},{"key":"21_CR3","unstructured":"OMG: Unified Modeling Language Specification, version 1.4. Object Management Group. (2001) Available at http:\/\/www.omg.org\/uml."},{"key":"21_CR4","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley Longman, Reading, Mass. (1999)"},{"key":"21_CR5","series-title":"Lect Notes Comput Sci","first-page":"336","volume-title":"UML\u201998: Beyond the Notation, Mulhouse, France","author":"A. Evans","year":"1998","unstructured":"Evans, A., France, R., Lano, K., Rumpe, B.: The UML as a formal modeling notation. [33] 336\u2013348"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Evans, A., Lano, K., France, R., Rumpe, B.: Meta-modeling semantics of UML. In Kilov, H., Rumpe, B., Simmonds, I., eds.: Behavioral Specifications of Businesses and Systems, Kluver Academic Publisher (1999)","DOI":"10.1007\/978-1-4615-5229-1_4"},{"key":"21_CR7","series-title":"Technical Report","volume-title":"BCS FACS\/EROS ROOM Workshop","author":"K. Lano","year":"2000","unstructured":"Lano, K., Bicarregui, J., Evans, A.: Structured axiomatic semantics for UML models. Technical Report GR\/K67311-2, BCS FACS\/EROS ROOM Workshop, A. Evans and K. Lano eds, Dept. of Computing, Imperial College, London (2000)"},{"key":"21_CR8","series-title":"Lect Notes Comput Sci","first-page":"402","volume-title":"CAiSE 2001: Advanced Information Systems Engineering, Interlaken, Switzerland","author":"F. Polack","year":"2001","unstructured":"Polack, F., Laleau, R.: A rigorous metamodel for UML static conceptual modelling of information systems. In: CAiSE 2001: Advanced Information Systems Engineering, Interlaken, Switzerland. Volume 2068 of LNCS., Springer (2001) 402\u2013416"},{"key":"21_CR9","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201998: Beyond the Notation, Mulhouse, France","author":"J.M. Bruel","year":"1998","unstructured":"Bruel, J.M., France, R.B.: Transforming UML models to formal Specifications. [33]"},{"key":"21_CR10","volume-title":"Couplage de notations semi-formelles et formelles pour la sp\u00e9cification des syst\u00e8mes d\u2019information","author":"S. Dupuy","year":"2000","unstructured":"Dupuy, S.: Couplage de notations semi-formelles et formelles pour la sp\u00e9cification des syst\u00e8mes d\u2019information. PhD thesis, Universit\u00e9 Joseph Fourier, Grenoble I (2000)"},{"key":"21_CR11","unstructured":"ISO: Information technology\u2014Z formal specification notation\u2014syntax, type system and semantics (2002) ISO\/IEC 13568:2002, International Standard."},{"key":"21_CR12","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. 2nd edn. Prentice Hall (1992)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Smith, G.P.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"21_CR14","unstructured":"Duke, R., Rose, G.: Formal Object-Oriented specification using Object-Z. Cornerstones of Computing. MacMillan Press Limited (2000)"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1109\/32.469459","volume":"21","author":"R.H. Bourdeau","year":"1995","unstructured":"Bourdeau, R.H., Cheng, B.H.: A formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering 21 (1995) 799\u2013821","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1007\/3-540-46852-8_39","volume-title":"UML\u201999. Beyond the Standard. 2nd International Conference, Fort Collins, CO, USA","author":"B. Henderson-Sellers","year":"1999","unstructured":"Henderson-Sellers, B., Barbier, F.: Black and white diamonds. In France, R., Rumpe, B., eds.: UML\u201999. Beyond the Standard. 2nd International Conference, Fort Collins, CO, USA. Volume 1723 of LNCS., Springer (1999) 550\u2013565"},{"key":"21_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-52513-0_16","volume-title":"VDM\u2019 90 VDM and Z \u2014 Formal Methods in Software Development","author":"A. Hall","year":"1990","unstructured":"Hall, A.: Using Z as a specification calculus for object-oriented systems. In Hoare, C.A.R., Bj\u00f8rner, D., Langmaack, H., eds.: VDM\u2019 90 VDM and Z \u2014 Formal Methods in Software Development. Volume 428 of LNCS., Springer (1990) 290\u2013318"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Hall, A.: Specifying and interpreting class hierarchies in Z. [34] 120\u2013138","DOI":"10.1007\/978-1-4471-3452-7_8"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Hammond, J.: Producing Z Specifications from object-oriented analysis. [34] 316\u2013336","DOI":"10.1007\/978-1-4471-3452-7_19"},{"key":"21_CR20","volume-title":"Technical report","author":"R.B. France","year":"2000","unstructured":"France, R.B., Grant, E., Bruel, J.M.: UMLtranZ: An UML-based rigorous requirements modeling technique. Technical report, Colorado State University, Fort Collins, Colorado, USA (2000)"},{"key":"21_CR21","unstructured":"Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: Vers une int\u00e9gration utile de notations semi-formelles et formelles: une exp\u00e9rience en UML et Z. L\u2019Object, num\u00e9ro th\u00e9matique M\u00e9thodes formelles pour les objects 6 (2000)"},{"key":"21_CR22","unstructured":"Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: Integrating OMT and Object-Z. In Evans, A., Lano, K., eds.: Proceedings of BCS FACS\/EROS ROOM Workshop, London, UK (1997)"},{"key":"21_CR23","unstructured":"Fowler, M., Scott, K.: UML Distilled. 2nd edn. Addison-Wesley (2000)"},{"key":"21_CR24","unstructured":"Ara\u00fajo, J.: Metamorphosis: An Integrated Object-Oriented Requirements Analysis and Specification Method. PhD thesis, Department of Computing, University of Lancaster (1996)"},{"key":"21_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-44525-0_2","volume-title":"ZB 2000: Formal Specification and Development in Z and B, York, UK","author":"S.K. Kim","year":"2000","unstructured":"Kim, S.K., Carrington, D.: A formal mapping between UML models and Object-Z Specifications. In Bowen, J., et al., eds.: ZB 2000: Formal Specification and Development in Z and B, York, UK. Volume 1878 of LNCS., Springer (2000) 2\u201321"},{"key":"21_CR26","volume-title":"Formalization of UML models in Object-Z for quality assurance and requirements specification","author":"N. Am\u00e1lio","year":"2001","unstructured":"Am\u00e1lio, N.: Formalization of UML models in Object-Z for quality assurance and requirements specification. Master\u2019s thesis, Department of Computer Science, University of York, Heslington, York, YO10_5DD, UK (2001)"},{"key":"21_CR27","unstructured":"Spivey, J.: The Fuzz manual, 2nd edition. Computer Science Consultancy (1992)"},{"key":"21_CR28","unstructured":"Toyn, I.: CADiZ web pages. http:\/\/www-users.cs.york.ac.uk\/~ian\/cadiz\/ (2001)"},{"key":"21_CR29","unstructured":"Stepney, S.: Formaliser Home Page. (http:\/\/public.logica.com\/~formaliser\/)"},{"key":"21_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027284","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M. Saaltink","year":"1997","unstructured":"Saaltink, M.: The Z\/EVES system. In: ZUM\u201997: The Z Formal Specification Notation. Volume 1212 of LNCS., Springer (1997)"},{"key":"21_CR31","unstructured":"Arthan, R.: The ProofPower web pages. (http:\/\/www.lemma-one.com\/-ProofPower\/index\/index.html)"},{"key":"21_CR32","series-title":"Technical report","volume-title":"Wizard: A type checker for Object-Z","author":"W. Johnston","year":"1996","unstructured":"Johnston, W.: Wizard: A type checker for Object-Z. Technical report 96-24, Software Verification Research Centre, The University of Queensland, Brisbane, Australia (1996)"},{"key":"21_CR33","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201998: Beyond the Notation, Mulhouse, France","year":"1998","unstructured":"B\u00e9zivin, J., Muller, P.A., eds.: UML\u201998: Beyond the Notation, Mulhouse, France. Volume 1618 of LNCS., Springer (1998)"},{"key":"21_CR34","doi-asserted-by":"crossref","unstructured":"Bowen, J., Hall, A., eds.: Z User Workshop, Cambridge. Workshops in Computing, Springer (1994)","DOI":"10.1007\/978-1-4471-3452-7"}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T18:46:04Z","timestamp":1676054764000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}