{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T17:40:03Z","timestamp":1740678003074,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166891"},{"type":"electronic","value":"9783642166907"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16690-7_12","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T05:06:32Z","timestamp":1289192792000},"page":"234-252","source":"Crossref","is-referenced-by-count":1,"title":["Promoting Models"],"prefix":"10.1007","author":[{"given":"Qin","family":"Li","sequence":"first","affiliation":[]},{"given":"Yongxin","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Xiaofeng","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Si","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"The Model-Driven Architecture, Guide Version 1.0.1, OMG Document: omg\/2003-06-01"},{"key":"12_CR2","unstructured":"Object Management Group, MOF 2.0 Query \/ Views \/ Transformations RFP, OMG Document: ad\/2002-04-10, revised on April 24 (2002)"},{"key":"12_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)"},{"key":"12_CR4","unstructured":"Artin, E.: Galois Theory. Dover Publications, New York (1998)"},{"key":"12_CR5","first-page":"221","volume-title":"Proc. 4th Z Users Workshop, Workshops in Computing","author":"M. Benjamin","year":"1989","unstructured":"Benjamin, M.: A message passing system: An example of combining csp and z. In: Proc. 4th Z Users Workshop, Workshops in Computing, pp. 221\u2013228. Springer, Heidelberg (1989)"},{"key":"12_CR6","volume-title":"Object-Oriented Modeling and Design with UML","author":"M.R. Blaha","year":"2004","unstructured":"Blaha, M.R., Rumbaugh, J.R.: Object-Oriented Modeling and Design with UML, 2nd edn. Prentice Hall, Englewood Cliffs (2004)","edition":"2"},{"key":"12_CR7","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"2005","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison Wesley Professional, Reading (2005)","edition":"2"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11526841_16","volume-title":"FM 2005: Formal Methods","author":"M.J. Butler","year":"2005","unstructured":"Butler, M.J., Leuschel, M.: Combining csp and b for specification and property verification. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 221\u2013236. Springer, Heidelberg (2005)"},{"key":"12_CR9","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches (2003)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Erne, M., Koslowski, J., Melton, A., Strecker, G.E.: A primer on galois connections. In: Proc. 1991 Summer Conference on General Topology and Applications in Honor of Mary Ellen Rudin and Her Work, Annals of the New York Academy of Sciences, vol.\u00a0704, pp. 103\u2013125 (1993)","DOI":"10.1111\/j.1749-6632.1993.tb52513.x"},{"key":"12_CR11","first-page":"423","volume-title":"Proc. FMOODS 1997: IFIP TC6 WG6.1 International Workshop on Formal Methods for Open Object-Based Distributed Systems","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: Csp-oz: a combination of object-z and csp. In: Proc. FMOODS 1997: IFIP TC6 WG6.1 International Workshop on Formal Methods for Open Object-Based Distributed Systems, London, UK, pp. 423\u2013438. Chapman & Hall, Ltd., Sydney (1997)"},{"issue":"6","key":"12_CR12","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/s11432-008-0061-x","volume":"51","author":"J. He","year":"2008","unstructured":"He, J.: Service refinement. Science in China Series F: Information Sciences\u00a051(6), 661\u2013682 (2008)","journal-title":"Science in China Series F: Information Sciences"},{"key":"12_CR13","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science (1985)"},{"key":"12_CR14","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)"},{"key":"12_CR15","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison Wesley Professional, Reading (2003)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"McEwan, A.A., Schneider, S.: A verified development of hardware using csp\/spl par\/b. In: Proc. MEMOCODE 2006: 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design, p. 81 (2006)","DOI":"10.1109\/MEMCOD.2006.1695904"},{"key":"12_CR17","series-title":"Concurrent Systems Engineering Series","first-page":"379","volume-title":"Proc. CPA 2007: The 30th Communicating Process Architectures Conference","author":"A.A. McEwan","year":"2007","unstructured":"McEwan, A.A., Schneider, S.: Modeling and analysis of the amba bus using csp and b. In: Proc. CPA 2007: The 30th Communicating Process Architectures Conference. Concurrent Systems Engineering Series, vol.\u00a065, pp. 379\u2013398. IOS Press, Amsterdam (July 2007)"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Czarnecki, K., Gorp, P.V.: A taxonomy of model transformation. Electronic Notes Theoritical Computer Science\u00a0152, 125\u2013142 (2006)","journal-title":"Electronic Notes Theoritical Computer Science"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s11334-005-0014-0","volume":"1","author":"M. Oliveira","year":"2005","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: Formal development of industrial-scale systems in circus. Innovations in Systems and Software Engineering\u00a01(2), 125\u2013146 (2005)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.entcs.2006.08.047","volume":"187","author":"M. Oliveira","year":"2007","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: A denotational semantics for circus. Electronic Notes in Theoretical Computer Science\u00a0187, 107\u2013123 (2007); Proceedings of the 11th Refinement Workshop (REFINE 2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"12_CR21","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall International Series in Computer Science (1997)"},{"key":"12_CR22","volume-title":"The B-Method: An Introduction","author":"S. Schneider","year":"2001","unstructured":"Schneider, S.: The B-Method: An Introduction. Atlantic, London (2001)"},{"issue":"4","key":"12_CR23","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/s00165-005-0076-7","volume":"17","author":"S. Schneider","year":"2005","unstructured":"Schneider, S., Treharne, H.: Csp theorems for communicating b machines. Formal Aspect of Computing\u00a017(4), 390\u2013422 (2005)","journal-title":"Formal Aspect of Computing"},{"key":"12_CR24","series-title":"International Series in Computer Science","volume-title":"The Z Notation: A reference manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A reference manual, 2nd edn. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"12_CR25","volume-title":"Proc. IWFM 2001: 5th Irish Workshop on Formal Methods","author":"J. Woodcock","year":"2001","unstructured":"Woodcock, J., Cavalcanti, A.: A concurrent language for refinement. In: Proc. IWFM 2001: 5th Irish Workshop on Formal Methods. BCS, Moscow (July 2001)"},{"key":"12_CR26","first-page":"291","volume-title":"Proc. APSEC 2001: 8th Asia-Pacific Software Engineering Conference","author":"J. Woodcock","year":"2001","unstructured":"Woodcock, J., Cavalcanti, A.: The steam boiler in a unified theory of z and csp. In: Proc. APSEC 2001: 8th Asia-Pacific Software Engineering Conference, pp. 291\u2013298. IEEE Computer Society, Los Alamitos (December 2001)"},{"key":"12_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J. Woodcock","year":"2002","unstructured":"Woodcock, J., Cavalcanti, A.: The semantics of circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"},{"key":"12_CR28","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1997","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1997)"}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16690-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T17:19:02Z","timestamp":1740676742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16690-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166891","9783642166907"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16690-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}