{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:46:10Z","timestamp":1760586370503},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,7,21]],"date-time":"2006-07-21T00:00:00Z","timestamp":1153440000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2006,7,21]],"date-time":"2006-07-21T00:00:00Z","timestamp":1153440000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s10270-006-0023-y","type":"journal-article","created":{"date-parts":[[2006,7,20]],"date-time":"2006-07-20T12:49:51Z","timestamp":1153399791000},"page":"113-138","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Refactoring object constraint language specifications"],"prefix":"10.1007","volume":"6","author":[{"given":"Alexandre","family":"Correa","sequence":"first","affiliation":[]},{"given":"Cl\u00e1udia","family":"Werner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,7,21]]},"reference":[{"key":"23_CR1","volume-title":"Proceedings of the ICGT 2002 \u00a0\u2013\u00a0 First International Conference on Graph Transformation, LNCS, vol 2505","author":"L. Baresi","year":"2002","unstructured":"Baresi L., Heckel R.(2002): Tutorial introduction to graph transformation: a software engineering perspective. In: Corradini A., Ehrig H., Kreowski H-J., Rozenberg G. (eds). Proceedings of the ICGT 2002 \u00a0\u2013\u00a0 First International Conference on Graph Transformation, LNCS, vol 2505. Springer, Barcelona"},{"key":"23_CR2","first-page":"188","volume-title":"\u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2004 \u2013 The Unified Modeling Language: Modeling Languages and Applications.","author":"H. Bauerdick","year":"2004","unstructured":"Bauerdick H., Gogolla M., Gutsche F.(2004): Detecting OCL Traps in the UML 2.0 superstructure: an experince report. In: Baar T., Moreira A., Strohmeier A., Mellor S. (eds). \u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2004 \u2013 The Unified Modeling Language: Modeling Languages and Applications. Springer, Lisbon, pp. 188\u2013196"},{"key":"23_CR3","unstructured":"Beck, K.: Extreme Programming Explained. Addison-Wesley, Reading(2000)"},{"key":"23_CR4","unstructured":"Beck, K., Gamma, E.: JUnit Open-Source Testing http:\/\/www.junit.org"},{"key":"23_CR5","unstructured":"Borland Software Corporation, ModelRun tool. http:\/\/www.borland.com"},{"key":"23_CR6","unstructured":"Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation Contracts. In: Proceedings of the UML 2004 Workshop: OCL and Model Driven Engineering, Lisbon, (2004)"},{"key":"23_CR7","unstructured":"Chiorean, D., Pasca, M., Carcu, A., Botiza, C, Moldovan, S.: Ensuring UML models consistency using the OCL environment. In: Proceedings of the UML 2003 Workshop: OCL2.0 \u2013 Industry Standard or Scientific Playground? San Francisco (2003)"},{"key":"23_CR8","first-page":"115","volume-title":"Object Modeling with the OCL, LNCS, vol 2263.","author":"S. Cook","year":"2002","unstructured":"Cook S., Kleppe A., Mitchell R., Rumpe B., Warmer J., Wills A.(2002): The Amsterdam manifesto on OCL. In: Clark T., Warmer J. (eds). Object Modeling with the OCL, LNCS, vol 2263. Springer, Berlin Heidelberg Newyork , pp. 115\u2013149"},{"key":"23_CR9","first-page":"173","volume-title":"\u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2004 \u2013 The Unified Modeling Language: Modeling Languages and Applications.","author":"A. Correa","year":"2004","unstructured":"Correa A., Werner C.(2004): Applying refactoring techniques to UML\/OCL models. In: Baar T., Moreira A., Strohmeier A., Mellor S. (eds). \u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2004 \u2013 The Unified Modeling Language: Modeling Languages and Applications. Springer, Lisbon, pp. 173\u2013187"},{"key":"23_CR10","unstructured":"Date, C.J.: What Not How: The Business Rules Approach to Application Development. Addison-Wesley, Reading (2000)"},{"key":"23_CR11","unstructured":"D\u2019Souza, D., Wills, A.: Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-45800-X_18","volume-title":"\u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2002 \u2013 The Unified Modeling Language: Model Engineering, Concepts and Tools.","author":"G. Engels","year":"2002","unstructured":"Engels G., Heckel R., K\u00fcster J.M., Groenewegen L. (2002): Consistency-preserving model evolution through transformations. In: J\u00e9z\u00e9quel J.M., Hussmann H., Cook S. (eds). \u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2002 \u2013 The Unified Modeling Language: Model Engineering, Concepts and Tools. Springer, Dresden, pp. 212\u2013226"},{"key":"23_CR13","volume-title":"Business Modeling with UML \u2013 Business Patterns at Work.","author":"H. Eriksson","year":"1998","unstructured":"Eriksson H., Penker M.(1998): Business Modeling with UML \u2013 Business Patterns at Work. Wiley, Newyork"},{"key":"23_CR14","first-page":"380","volume-title":"\u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2004\u00a0 \u2013\u00a0 The Unified Modeling Language: Modeling Languages and Applications.","author":"E. Fernandez-Medina","year":"2004","unstructured":"Fernandez-Medina E., Piattini M.(2004): Extending OCL for secure database development. In: Baar T., Moreira A., Strohmeier A., Mellor S. (eds). \u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2004\u00a0 \u2013\u00a0 The Unified Modeling Language: Modeling Languages and Applications. Springer, Lisbon, pp. 380\u2013394"},{"key":"23_CR15","unstructured":"Fowler, M.: Refactoring \u00a0\u2013\u00a0 Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"key":"23_CR16","unstructured":"Gerber A., Lawley M., Raymond K., Steel J., Wood A. (2002): Transformation: the missing link of MDA. In: Corradini A., Ehrig H., Kreowski H-J., Rozenberg G.,(eds). Proceedings of the ICGT 2002\u00a0 -\u00a0 1st International Conference on Graph Transformation, LNCS, vol. 2505. Springer, Barcelona,"},{"key":"23_CR17","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-540-45221-8_23","volume-title":"\u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2003 \u00a0\u2013\u00a0 The Modeling Language: Modeling Languages and Applications.","author":"M. Gogolla","year":"2003","unstructured":"Gogolla M., Bohling J., Richters M. (2003): Validation of UML and OCL models by automatic snapshot generation. In: Stevens P., Whittle J., Booch G. (eds). \u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2003 \u00a0\u2013\u00a0 The Modeling Language: Modeling Languages and Applications. Springer, San Francisco, pp. 265\u2013279"},{"key":"23_CR18","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/978-3-540-45221-8_15","volume-title":"\u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2003\u00a0 \u2013\u00a0 The Unified Modeling Language: Modeling Languages and Applications.","author":"P.V. Gorp","year":"2003","unstructured":"Gorp P.V., Stenten H., Mens T., Demeyer S.(2003): Towards automating source-consistent UML refactorings. In: Stevens P., Whittle J., Booch G. (eds). \u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2003\u00a0 \u2013\u00a0 The Unified Modeling Language: Modeling Languages and Applications. Springer, San Francisco, pp. 144\u2013158"},{"key":"23_CR19","unstructured":"Griwswold W.G.(1991). Program Restructuring as an Aid to Software Maintenance. PhD Thesis, University of Washington"},{"key":"23_CR20","volume-title":"Business Rules Applied","author":"B. Halle","year":"2001","unstructured":"Halle B.(2001): Business Rules Applied. Wiley, Newyork"},{"key":"23_CR21","unstructured":"Haustein, S., Pleumann, J.: OCL as expression language in an action semantics surface language. In: Proceedings of the UML 2004 Workshop: OCL and Model Driven Engineering, Lisbon (2004)"},{"key":"23_CR22","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1989","unstructured":"Jones C.B.(1989): Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs"},{"key":"23_CR23","unstructured":"Kabira Technologies Inc: Kabira Action Semantics. http:\/\/www.kabira.com"},{"key":"23_CR24","unstructured":"Kennedy Carter Ltd.: Action Specification Language (ASL). http:\/\/www.kc.com"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Lieberherr K., Holland I.(1989): Formulations and benefits of the law of demeter. In: SIGPLAN Notices 24(3): 67\u201378","DOI":"10.1145\/66083.66089"},{"key":"23_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development \u2013 Using the SOFL Method","author":"S. Liu","year":"2004","unstructured":"Liu S.(2004): Formal Engineering for Industrial Software Development \u2013 Using the SOFL Method. Springer, Berlin Heidelberg Newyork"},{"key":"23_CR27","unstructured":"Mens T., Demeyer S., Janssens D.(2002): Formalising behaviour preserving program transformations. In: Corradini A., Ehrig H., Kreowski H-J., Rozenberg G., (eds). Proceedings of the ICGT 2002 \u2013 First International Conference on Graph transformation, LNCS, vol. 2505. Springer, Barcelona"},{"key":"23_CR28","unstructured":"OMG: Model Driven Architecture (MDA), Object Management Group, document ormsc\/2001-07-01, (2001)"},{"key":"23_CR29","unstructured":"OMG: Request for Proposal: MOF 2.0 query\/views\/transformations RFP. Object Managament Group, document ad\/02\/04\/10 (2002)"},{"key":"23_CR30","unstructured":"OMG: UML 2.0 OCL Specification, Object Management Group, document ptc\/03-10-14 (2003)"},{"key":"23_CR31","unstructured":"OMG: Unified Modeling Language (UML), version 1.5, Object Management Group, document formal\/2003-03-01 March (2003)"},{"key":"23_CR32","unstructured":"OMG: Unified Modeling Language (UML) Infrastructure Specification, version 2.0, Object Management Group, ptc\/03-09-15 (2003)"},{"key":"23_CR33","unstructured":"OMG: Unified Modeling Language (UML) Superstructure Specification, version 2.0, Object Management Group, ptc\/03-08-02, (2003)"},{"key":"23_CR34","unstructured":"OMG: XML Metadata Interchange (XMI) Specification Version 1.2, Object Management Group, document formal\/2002-01-01 (2002)"},{"key":"23_CR35","unstructured":"Opdyke, W.F.: Refactoring: A Program Restructuring Aid in Designing Object-Oriented Application Frameworks. PhD Thesis, University of Illinois at Urbana-Champaign (1992)"},{"key":"23_CR36","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-540-45221-8_16","volume-title":"\u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2003 \u00a0\u2013\u00a0 The Unified Modeling Language: Modeling Languages and Applications.","author":"I. Porres","year":"2003","unstructured":"Porres I.(2003): Model refactorings as rule-based update transformations. In: Stevens P., Whittle J., Booch G. (eds). \u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 2003 \u00a0\u2013\u00a0 The Unified Modeling Language: Modeling Languages and Applications. Springer, San Francisco, pp. 159\u2013174"},{"key":"23_CR37","unstructured":"Project Technology Inc.: BridgePoint Action Language (AL). http:\/\/www.projtech.com"},{"key":"23_CR38","doi-asserted-by":"crossref","unstructured":"Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S., (eds) \u00a0<\u00a0\u00a0<\u00a0UML 2000\u00a0>\u00a0\u00a0>\u00a0 Procedings of the 3rd International Conference on the Unified Modeling Language, LNCS, vol. 1939, pp. 266\u2013277 Springer, York (2000)","DOI":"10.1007\/3-540-40011-7_19"},{"key":"23_CR39","unstructured":"Roberts, D.B.: Practical Analysis for Refactoring. PhD Thesis, University of Illnois at Urbana-Champaign (1999)"},{"key":"23_CR40","unstructured":"Sendall, S.: Specifying Reactive System Behavior. PhD Thesis, Swiss Federal Institute of Technology in Lausanne, School of Computer and Communication Sciences (2002)"},{"key":"23_CR41","doi-asserted-by":"crossref","unstructured":"Suny\u00e9 G., Pollet D., Le Traon Y., J\u00e9z\u00e9quel J.M.(2001): Refactoring UML models. In: \u00a0<\u00a0\u00a0<\u00a0UML 2001\u00a0>\u00a0\u00a0>\u00a0 The Unified Modeling Language: Modeling Languages, Concepts and Tools. Proceedings of the 4th International Conference, LNCS, vol. 2185,. pp. 134\u2013148 Springer, Toronto","DOI":"10.1007\/3-540-45441-1_11"},{"key":"23_CR42","doi-asserted-by":"crossref","unstructured":"oval, A., Requena, V., Fern\u00e1ndez, J.L.: Emerging OCL Tools. J Softw Syst Model 2, 248\u2013261 Springer, Berlin Heidelberg Newyork (2003)","DOI":"10.1007\/s10270-003-0031-0"},{"key":"23_CR43","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language\u00a0 \u2013\u00a0 Getting Your Models Ready for MDA. Addison- Wesley, Reading (2003)"},{"key":"23_CR44","volume-title":"Using Z","author":"J. Woodcock","year":"1996","unstructured":"Woodcock J., Davis J.(1996): Using Z. Specification, Refinement and Proof. Prentice Hall, Englewood Chiffs"}],"container-title":["Software &amp; Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0023-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-006-0023-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0023-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0023-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T18:02:51Z","timestamp":1652810571000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-006-0023-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,21]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["23"],"URL":"https:\/\/doi.org\/10.1007\/s10270-006-0023-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7,21]]},"assertion":[{"value":"15 February 2005","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 November 2005","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 July 2006","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}