{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:17:21Z","timestamp":1759961841371,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_46","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T08:43:26Z","timestamp":1130921006000},"page":"616-632","source":"Crossref","is-referenced-by-count":3,"title":["Automated Invariant Maintenance Via OCL Compilation"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Stirewalt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spencer","family":"Rugaber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"46_CR1","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/136586.136587","volume":"1","author":"D. Batory","year":"1992","unstructured":"Batory, D., O\u2019Malley, S.: The Design and Implementation of Hierarchical Software Systems with Reusable Components. ACM Transactions on Software Engineering and Methodology\u00a01(4), 355\u2013398 (1992)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based Inheritance. In: Proceedings ECOOP\/OOPSLA 1990, October 21-25, pp. 303\u2013311 (1990)","DOI":"10.1145\/97945.97982"},{"key":"46_CR3","unstructured":"Chiba, S.: OpenC++ Home Page, http:\/\/www.csg.is.titech.ac.jp\/~chiba\/openc++.html"},{"key":"46_CR4","volume-title":"Generative Programming, ch. 11","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Intentional Programming. In: Generative Programming, ch. 11, Addison Wesley, Reading (2000)"},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"DeLine, R.: Avoiding Packaging Mismatch with Flexible Packaging. In: Proceedings IEEE International Conference on Software Engineering, pp. 97\u2013106 (1999)","DOI":"10.1145\/302405.302456"},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"Garlan, D., Scott, C.: Adding Implicit Invocation to Traditional Programming Languages. In: International Conference on Software Engineering, pp. 447\u2013453 (1993)","DOI":"10.1109\/ICSE.1993.346021"},{"key":"46_CR7","series-title":"Window Toolkit and Applets","volume-title":"The Java Application Programming Interface","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Yellin, F.: The Java Application Programming Interface. Window Toolkit and Applets, vol.\u00a02. Addison-Wesley, Reading (1996)"},{"key":"46_CR8","unstructured":"International Business Machine Corp. \u201cRational Software.\u201d http:\/\/www-306.ibm.com\/software\/rational\/"},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"Loecher, S., Ocke, S.: A Metamodel-Based OCL-Compiler for UML and MOF. Department of Computer Science. Dresden University of Technology (September 2003)","DOI":"10.1016\/j.entcs.2003.09.003"},{"key":"46_CR10","unstructured":"McNeely, C., Rugaber, S., Stirewalt, K., Zook, D.: DYNAMO Design Guidebook. Technical Report GIT-CC-02-37, College of Computing, Georgia Institute of Technology, June 27 (2002), ftp:\/\/ftp.cc.gatech.edu\/pub\/coc\/tech_reports\/2002\/GIT-CC-02-37.ps.Z"},{"issue":"1","key":"46_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/504087.504088","volume":"11","author":"N. Medvidovic","year":"2002","unstructured":"Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling Software Architectures in UML. ACM Transactions on Software Engineering and Methodology\u00a011(1), 2\u201357 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"46_CR12","unstructured":"Object Management Group. Unified Modeling Language, Version 1.4. OMG Document Number 01-09-67, Chapter 6, http:\/\/www.omg.org\/cgi-bin\/apps\/doc?formal\/01-09-67.pdf"},{"key":"46_CR13","unstructured":"Object Management Group. XML Metadata Interchange (XMI), http:\/\/www.omg.org\/technology\/documents\/formal\/xmi.htm"},{"key":"46_CR14","unstructured":"Rugaber, S., Stirewalt, K.: Metaprogramming Compilation of Invariant Maintenance Wrappers from OCL Constraints. Technical Report GIT-CC-03-46, College of Computing, Georgia Institute of Technology, October 28 (2003), http:\/\/www.cc.gatech.edu\/dynamo\/papers\/compile.pdf"},{"key":"46_CR15","unstructured":"Rugaber, S., Stirewalt, K.: Final Project Report \/ Dynamic Assembly from Models (DYNAMO). Technical Report, GIT-CC-05-03, College of Computing, Georgia Institute of Technology (March 2005), ftp:\/\/ftp.cc.gatech.edu\/pub\/coc\/tech_reports\/2005\/GIT-CC-05-03.pdf"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Batory, D.: Implementing Layered Designs with Mixin Layers. In: Proceedings of the 12th European Conference on Object-oriented Programming (1998)","DOI":"10.1007\/BFb0054107"},{"issue":"3","key":"46_CR17","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/131736.131744","volume":"1","author":"K. Sullivan","year":"1992","unstructured":"Sullivan, K., Notkin, D.: Reconciling Environment Integration and Software Evolution. ACM Transactions on Software Engineering and Methodology\u00a01(3), 229\u2013268 (1992)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"2","key":"46_CR18","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/210181.210182","volume":"2","author":"R.N. Taylor","year":"1995","unstructured":"Taylor, R.N., et al.: Chiron-1: A Software Architecture for User Interface Development, Maintenance, and Run-Time Support. ACM Transactions on Computer-Human Interaction\u00a02(2), 105\u2013144 (1995)","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"46_CR19","unstructured":"Tigris.org. Welcome to ArgoUML, http:\/\/argouml.tigris.org\/"},{"key":"46_CR20","doi-asserted-by":"crossref","unstructured":"VanHilst, M., Notkin, D.: Using Role Components to Implement Collaboration-Based Designs. In: Proceedings of OOPSLA 1996, pp. 359\u2013369 (1996)","DOI":"10.1145\/236337.236375"},{"key":"46_CR21","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1999)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T08:28:48Z","timestamp":1736065728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11557432_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}