{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:58:35Z","timestamp":1725551915687},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311980"},{"type":"electronic","value":"9783540322177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11611257_44","type":"book-chapter","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T16:37:18Z","timestamp":1136479038000},"page":"461-470","source":"Crossref","is-referenced-by-count":7,"title":["Heuristics on the Definition of UML Refinement Patterns"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Pons","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","unstructured":"Astesiano, E., Reggio, G.: An Algebraic Proposal for Handling UML Consistency. In: Workshop on Consistency Problems in UML-based Software Development, Blekinge Institute of Technology Research Report (2003)"},{"key":"44_CR2","series-title":"Graduate Texts in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: a Systematic Introduction","author":"R. Back","year":"1998","unstructured":"Back, R., von Wright, J.: Refinement Calculus: a Systematic Introduction. Graduate Texts in Computer Science. Springer, Heidelberg (1998)"},{"key":"44_CR3","unstructured":"Boiten, E.A., Bujorianu, M.C.: Exploring UML Refinement through Unification. In: Jurjens, J., Rumpe, B., et al. (eds.) Proceedings of the UML 2003 Workshop on Critical Systems Development with UML, TUM-I0323, Technische Universitat Munchen (September 2003)"},{"key":"44_CR4","unstructured":"Cavalcanti, A., Naumann, D.: Simulation and Class Refinement for Java. In: Proceedings of ECOOP 2000 Workshop on Formal Techniques for Java Programs (2000)"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Davies, J., Crichton, C.: Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science\u00a070(3) (2002)","DOI":"10.1016\/S1571-0661(05)80494-3"},{"key":"44_CR6","volume-title":"Foundation and Advanced Applications. FACIT","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and Object-Z. In: Foundation and Advanced Applications. FACIT. Springer, Heidelberg (2001)"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"Engels, G., K\u00fcster, J., Heckel, R., Groenewegen, L.: A Methodology for Specifying and Analyzing Consistency of Object Oriented Behavioral Models. In: Procs. of the IEEE International Conference on Foundation of Software Engineering, Vienna (2001)","DOI":"10.1145\/503209.503235"},{"key":"44_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-47884-1_16","volume-title":"Integrated Formal Methods","author":"S. Kent","year":"2002","unstructured":"Kent, S.: Model Driven Engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, p. 286. Springer, Heidelberg (2002)"},{"key":"44_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-46852-8_7","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"S. Kim","year":"1999","unstructured":"Kim, S., Carrington, D.: Formalizing the UML Class Diagrams using Object-Z. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 83\u201398. Springer, Heidelberg (1999)"},{"key":"44_CR10","volume-title":"FACIT","author":"K. Lano","year":"1996","unstructured":"Lano, K.: The B Language and Method. In: FACIT. Springer, Heidelberg (1996)"},{"key":"44_CR11","unstructured":"Lano, K., Biccaregui, J.: Formalizing the UML in Structured Temporal Theories. In: 2nd. ECOOP Wrk. on Precise Behavioral Semantics, TUM-I9813, Technische U. Munchen (1998)"},{"key":"44_CR12","volume-title":"Proceedings of Asia-Pacific SE Conference 2002","author":"H. Ledang","year":"2002","unstructured":"Ledang, H., Souquieres, J.: Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. In: Proceedings of Asia-Pacific SE Conference 2002. IEEE Computer Society, Australia (2002)"},{"key":"44_CR13","unstructured":"Liu, Z., Jifeng, H., Li, X., Chen, Y.: Consistency and Refinement of UML Models. In: Third International Workshop, Consistency Problems in UML-based Software Development III. Satellite event of <\u2009<UML>\u2009> 2004, Lisbon, Portugal, October 11 (2004)"},{"key":"44_CR14","unstructured":"UML 2.0. The Unified Modeling Language Superstructure version 2.0 \u2013 OMG Final Adopted Specification (August 2003), http:\/\/www.omg.org"},{"key":"44_CR15","unstructured":"OCL 2.0. OMG Final Adopted Specification (October 2003)"},{"key":"44_CR16","unstructured":"Object Management Group, MDA Guide, v1.0.1, omg\/03-06-01 (June 2003)"},{"key":"44_CR17","unstructured":"Pons, C., P\u00e9rez, G., Giandini, R.: Understanding Refinement and Specialization in the UML. In: 2nd International Workshop on MAnaging SPEcialization\/Generalization Hierarchies (MASPEGHI), IEEE ASE 2003, Canada (2003)"},{"key":"44_CR18","unstructured":"Pons, C., Kutsche, R.-D.: Traceability Across Refinement Steps in UML Modeling. In: Workshop in Software Model Engineering, 7th International Conference on the UML, Lisbon, Portugal, October 11 (2004)"},{"key":"44_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-31797-5_26","volume-title":"UML Modeling Languages and Applications","author":"C. Pons","year":"2005","unstructured":"Pons, C., Giandini, R., P\u00e9rez, G., Pesce, P., Becker, V., Longinotti, J., Cengia, J.: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds.) UML Satellite Activities 2004. LNCS, vol.\u00a03297, pp. 246\u2013249. Springer, Heidelberg (2005)"},{"key":"44_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/3-540-45669-4_4","volume-title":"Object Modeling with the OCL","author":"M. Richters","year":"2002","unstructured":"Richters, M., Gogolla, M.: OCL-Syntax, Semantics and Tools. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, p. 42. Springer, Heidelberg (2002)"},{"key":"44_CR21","volume-title":"Advances in Formal Methods","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. In: Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000) ISBN 0-7923-8684-1"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2006: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11611257_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:38Z","timestamp":1619507378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11611257_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311980","9783540322177"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11611257_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}