{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:06Z","timestamp":1763468046878,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244841"},{"type":"electronic","value":"9783642244858"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24485-8_44","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:59:05Z","timestamp":1318262345000},"page":"592-607","source":"Crossref","is-referenced-by-count":42,"title":["CD2Alloy: Class Diagrams Analysis Using Alloy Revisited"],"prefix":"10.1007","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[]},{"given":"Jan Oliver","family":"Ringert","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","unstructured":"Alloy Analyzer website, \n                    \n                      http:\/\/alloy.mit.edu\/\n                    \n                    \n                   (accessed July 2011)"},{"key":"44_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K. Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"issue":"1","key":"44_CR3","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and Systems Modeling\u00a09(1), 69\u201386 (2010)","journal-title":"Software and Systems Modeling"},{"key":"44_CR4","volume-title":"UML 2 Semantics and Applications","author":"M. Broy","year":"2009","unstructured":"Broy, M., Cengarle, M.V., Gr\u00f6nniger, H., Rumpe, B.: Definition of the System Model. In: Lano, K. (ed.) UML 2 Semantics and Applications. Wiley, Chichester (2009)"},{"key":"44_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-78743-3_8","volume-title":"Fundamental Approaches to Software Engineering","author":"A.D. Brucker","year":"2008","unstructured":"Brucker, A.D., Wolff, B.: HOL-OCL: A Formal Proof Environment for uml\/ocl. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 97\u2013100. Springer, Heidelberg (2008)"},{"key":"44_CR6","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1145\/1321631.1321737","volume-title":"ASE","author":"J. Cabot","year":"2007","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: ASE, pp. 547\u2013548. ACM, New York (2007)"},{"key":"44_CR7","unstructured":"CD2Alloy project website, \n                    \n                      http:\/\/www.se-rwth.de\/materials\/cd2alloy\/"},{"key":"44_CR8","unstructured":"Cengarle, M.V., Gr\u00f6nniger, H., Rumpe, B.: System Model Semantics of Class Diagrams. Informatik-Bericht 2008-05, Technische Universit\u00e4t Braunschweig (2008)"},{"issue":"4","key":"44_CR9","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/s10270-007-0073-9","volume":"7","author":"J. Dingel","year":"2008","unstructured":"Dingel, J., Diskin, Z., Zito, A.: Understanding and improving UML package merge. Software and Systems Modeling\u00a07(4), 443\u2013467 (2008)","journal-title":"Software and Systems Modeling"},{"key":"44_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-48480-6_26","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"A. Evans","year":"1999","unstructured":"Evans, A., France, R.B., Lano, K., Rumpe, B.: The UML as a Formal Modeling Notation. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 336\u2013348. Springer, Heidelberg (1999)"},{"key":"44_CR11","unstructured":"FreeMarker, \n                    \n                      http:\/\/freemarker.org\/\n                    \n                    \n                   (accessed July 2011)"},{"issue":"1-3","key":"44_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program.\u00a069(1-3), 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"key":"44_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-02138-1_10","volume-title":"Formal Techniques for Distributed Systems","author":"H. Gr\u00f6nniger","year":"2009","unstructured":"Gr\u00f6nniger, H., Ringert, J.O., Rumpe, B.: System model-based definition of modeling language semantics. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol.\u00a05522, pp. 152\u2013166. Springer, Heidelberg (2009)"},{"key":"44_CR14","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)"},{"issue":"5","key":"44_CR15","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s10009-010-0142-1","volume":"12","author":"H. Krahn","year":"2010","unstructured":"Krahn, H., Rumpe, B., V\u00f6lkel, S.: MontiCore: a framework for compositional development of domain specific languages. Int. J. on Software Tools for Technology Transfer (STTT)\u00a012(5), 353\u2013372 (2010)","journal-title":"Int. J. on Software Tools for Technology Transfer (STTT)"},{"key":"44_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-22655-7_12","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CDDiff: Semantic differencing for class diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 230\u2013254. Springer, Heidelberg (2011)"},{"key":"44_CR17","series-title":"LNCS","first-page":"153","volume-title":"MODELS 2011","author":"S. Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Semantically configurable consistency analysis for class and object diagrams. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 153\u2013167. Springer, Heidelberg (2011)"},{"key":"44_CR18","unstructured":"Massoni, T., Gheyi, R., Borba, P.: A UML Class Diagram Analyzer. In: 3rd Int. Work. on Critical Systems Development with UML (CSDUML), Affiliated with UML Conf., pp. 143\u2013153 (2004)"},{"key":"44_CR19","unstructured":"Object Management Group. MOF Query View Transformation (QVT) (2008), \n                    \n                      http:\/\/www.omg.org\/spec\/QVT\/1.0\/\n                    \n                    \n                   (accessed, July 2011)"},{"key":"44_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18733-9","volume-title":"Modellierung mit UML","author":"B. Rumpe","year":"2004","unstructured":"Rumpe, B.: Modellierung mit UML. Springer, Heidelberg (2004)"},{"key":"44_CR21","unstructured":"Sen, S.: Automatic Effective Model Discovery. PhD thesis, Univ. of Rennes (2010)"},{"key":"44_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-12261-3_16","volume-title":"Models in Software Engineering","author":"S.M.A. Shah","year":"2010","unstructured":"Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to alloy and back again. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 158\u2013171. Springer, Heidelberg (2010)"},{"key":"44_CR23","first-page":"1341","volume-title":"DATE","author":"M. Soeken","year":"2010","unstructured":"Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying UML\/OCL models using Boolean satisfiability. In: DATE, pp. 1341\u20131344. IEEE, Los Alamitos (2010)"}],"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\/978-3-642-24485-8_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T11:40:01Z","timestamp":1554896401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24485-8_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244841","9783642244858"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}