{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T05:06:30Z","timestamp":1748667990641,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642023507"},{"type":"electronic","value":"9783642023514"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02351-4_3","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T11:16:01Z","timestamp":1245237361000},"page":"36-51","source":"Crossref","is-referenced-by-count":9,"title":["Automated Architecture Consistency Checking for Model Driven Software Development"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Biehl","sequence":"first","affiliation":[]},{"given":"Welf","family":"L\u00f6we","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"185","volume-title":"IEE Proceedings - Software","author":"N. Anquetil","year":"2003","unstructured":"Anquetil, N., Lethbridge, T.: Comparative study of clustering algorithms and abstract representations for software remodularisation. In: IEE Proceedings - Software, vol.\u00a0150, pp. 185\u2013201. Catholic Univ. of Brasilia, Brazil (2003)"},{"key":"3_CR2","first-page":"511","volume-title":"ICSE 2008","author":"X. Blanc","year":"2008","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: ICSE 2008, pp. 511\u2013520. ACM, New York (2008)"},{"key":"3_CR3","volume-title":"WCRE","author":"A. Christl","year":"2005","unstructured":"Christl, A., Koschke, R., Storey, M.-A.D.: Equipping the reflexion method with automated clustering. In: WCRE. IEEE Press, Los Alamitos (2005)"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/j.infsof.2006.10.015","volume":"49","author":"A. Christl","year":"2007","unstructured":"Christl, A., Koschke, R., Storey, M.-A.D.: Automated clustering to support the reflexion method. Information & Software Technology\u00a049(3), 255\u2013274 (2007)","journal-title":"Information & Software Technology"},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal"},{"key":"3_CR6","unstructured":"Efftinge, S., Friese, P., Haase, A., Kadura, C., Kolb, B., Moroff, D., Thoms, K., V\u00f6lter, M.: openarchitectureware user guide. Technical report, openArchitectureWare Community (2007)"},{"key":"3_CR7","unstructured":"Egyed, A.: Validating consistency between architecture and design descriptions, March 6 (2002)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/3-540-46428-X_13","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Egyed","year":"2000","unstructured":"Egyed, A., Medvidov\u00edc, N.: A formal approach to heterogeneous software modeling. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 178\u2013192. Springer, Heidelberg (2000)"},{"key":"3_CR9","unstructured":"Egyed, A., Medvidovic, N.: Consistent architectural refinement and evolution using the unified modeling language, March 6 (2001)"},{"key":"3_CR10","volume-title":"Computers and Intractability","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability. W.H. Freeman, New York (1979)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58950-3_370","volume-title":"Graph Drawing","author":"M. Himsolt","year":"1995","unstructured":"Himsolt, M.: GraphEd: a graphical platform for the implementation of graph algorithms. In: Tamassia, R., Tollis, I(Y.) G. (eds.) GD 1994. LNCS, vol.\u00a0894. Springer, Heidelberg (1995)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"3_CR13","first-page":"36","volume-title":"WCRE","author":"R. Koschke","year":"2003","unstructured":"Koschke, R., Simon, D.: Hierarchical reflexion models. In: WCRE, pp. 36\u201345. IEEE Press, Los Alamitos (2003)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Lowe, W., Panas, T.: Rapid construction of software comprehension tools. In: International Journal of Software Engineering and Knowledge Engineering (2005)","DOI":"10.1142\/S0218194005002622"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11880240_15","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Mens","year":"2006","unstructured":"Mens, T., Van Der Straeten, R., D\u2019Hondt, M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"issue":"8","key":"3_CR16","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/2.607045","volume":"30","author":"G.C. Murphy","year":"1997","unstructured":"Murphy, G.C., Notkin, D.: Reengineering with reflexion models: A case study. Computer\u00a030(8), 29\u201336 (1997)","journal-title":"Computer"},{"issue":"4","key":"3_CR17","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1109\/32.917525","volume":"27","author":"G.C. Murphy","year":"2001","unstructured":"Murphy, G.C., Notkin, D., Sullivan, K.J.: Software reflexion models: bridging the gap between design and implementation. IEEE Transactions on Software Engineering\u00a027(4), 364\u2013380 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Muskens, J., Bril, R.J., Chaudron, M.R.V.: Generalizing consistency checking between software views. In: 5th Working IEEE\/IFIP Conference on Software Architecture, 2005. WICSA 2005, pp. 169\u2013180 (2005)","DOI":"10.1109\/WICSA.2005.37"},{"key":"3_CR19","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Static consistency checking for distributed specifications (2001)"},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/839268.839271","volume":"12","author":"C. Nentwich","year":"2003","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Flexible consistency checking. ACM Transactions on Software Engineering and Methodology\u00a012(1), 28\u201363 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"2","key":"3_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.entcs.2005.04.029","volume":"137","author":"R.F. Paige","year":"2005","unstructured":"Paige, R.F., Kolovos, D.S., Polack, F.: Refinement via consistency checking in MDA. Electr. Notes Theor. Comput. Sci\u00a0137(2), 151\u2013161 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM (1972)","DOI":"10.1145\/361598.361623"},{"issue":"4","key":"3_CR23","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D. Perry","year":"1992","unstructured":"Perry, D., Wolf, A.: Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes\u00a017(4), 40\u201352 (1992)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"4","key":"3_CR24","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0950-5849(02)00193-3","volume":"45","author":"A. Postma","year":"2003","unstructured":"Postma, A.: A method for module architecture verification and its application on a large component-based system. Information & Software Technology\u00a045(4), 171\u2013194 (2003)","journal-title":"Information & Software Technology"},{"key":"3_CR25","volume-title":"Model driven software development","author":"T. Stahl","year":"2006","unstructured":"Stahl, T., V\u00f6lter, M.: Model driven software development. Wiley, Chichester (2006)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Tran, J.B., Godfrey, M.W., Lee, E.H.S., Holt, R.C.: Architectural repair of open source software. In: IWPC 2000, p.\u00a048 (2000)","DOI":"10.1109\/WPC.2000.852479"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Tzerpos, V., Holt, R.C.: Software botryology: Automatic clustering of software systems. In: DEXA Workshop, pp. 811\u2013818 (1998)","DOI":"10.1109\/DEXA.1998.707499"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Wiggerts, T.A.: Using clustering algorithms in legacy systems remodularization. In: Reverse Engineering, WCRE 1997, pp. 33\u201343 (1997)","DOI":"10.1109\/WCRE.1997.624574"}],"container-title":["Lecture Notes in Computer Science","Architectures for Adaptive Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02351-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T05:32:11Z","timestamp":1739165531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02351-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642023507","9783642023514"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02351-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}