{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T10:44:49Z","timestamp":1756809889312,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_34","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"531-545","source":"Crossref","is-referenced-by-count":20,"title":["Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines"],"prefix":"10.1007","author":[{"given":"Michael","family":"Vierhauser","sequence":"first","affiliation":[]},{"given":"Paul","family":"Gr\u00fcnbacher","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Heider","sequence":"additional","affiliation":[]},{"given":"Gerald","family":"Holl","sequence":"additional","affiliation":[]},{"given":"Daniela","family":"Lettner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Balzer, R.: Tolerating inconsistency. In: Proceedings of the 13th International Conference on Software Engineering, pp. 158\u2013165. IEEE Computer Society Press (1991)"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proceedings of the 30th International Conference on Software Engineering, pp. 511\u2013520. ACM (2008)","DOI":"10.1145\/1368088.1368158"},{"issue":"4","key":"34_CR3","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/s007660200020","volume":"7","author":"L.A. Campbell","year":"2002","unstructured":"Campbell, L.A., Cheng, B.H.C., McUmber, W.E., Stirewalt, K.: Automatically detecting and visualising errors in UML diagrams. Requirements Engineering\u00a07(4), 264\u2013287 (2002)","journal-title":"Requirements Engineering"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Gr\u00fcnbacher, P., Rabiser, R., Schmid, K., Wasowski, A.: Cool features and tough decisions: A comparison of variability modeling approaches. In: International Workshop on Variability Modelling of Software-Intensive Systems, pp. 173\u2013182. ACM (2012)","DOI":"10.1145\/2110147.2110167"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, pp. 211\u2013220. ACM (2006)","DOI":"10.1145\/1173706.1173738"},{"issue":"1","key":"34_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10515-010-0076-6","volume":"18","author":"D. Dhungana","year":"2011","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., Rabiser, R.: The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Automated Software Engineering\u00a018(1), 77\u2013114 (2011)","journal-title":"Automated Software Engineering"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: Proceedings of the 28th International Conference on Software Engineering, pp. 381\u2013390. ACM (2006)","DOI":"10.1145\/1134285.1134339"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Elsner, C., Lohmann, D., Schr\u00f6der-Preikschat, W.: Fixing configuration inconsistencies across file type boundaries. In: Euromicro Conference on Software Engineering and Advanced Applications, pp. 116\u2013123 (2011)","DOI":"10.1109\/SEAA.2011.26"},{"key":"34_CR9","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, Boston (1995)"},{"key":"34_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-12029-9_15","volume-title":"Fundamental Approaches to Software Engineering","author":"I. Groher","year":"2010","unstructured":"Groher, I., Reder, A., Egyed, A.: Incremental Consistency Checking of Dynamic Constraints. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 203\u2013217. Springer, Heidelberg (2010)"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Heider, W., Rabiser, R., Gr\u00fcnbacher, P.: Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions. International Journal on Software Tools for Technology Transfer (2012)","DOI":"10.1007\/s10009-012-0229-y"},{"key":"34_CR12","unstructured":"Johnson, S., Bosch, J.: Quantifying software product line ageing. In: Proceedings of the Workshop on Software Product Lines at ICSE 2000, pp. 27\u201330. ACM (2000)"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Lettner, D., Vierhauser, M., Rabiser, R., Grn\u0308ubacher, P.: Supporting end users with business calculations in product configuration. In: Proceedings of the of the 16th International Software Product Line Conference, Salvador, Brazil (2012)","DOI":"10.1145\/2362536.2362560"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"van der Linden, F.J., Schmid, K., Rommes, E.: Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer (2007)","DOI":"10.1007\/978-3-540-71437-8"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Murta, L.G.P., van der Hoek, A., Werner, C.M.L.: ArchTrace: Policy-based support for managing evolving architecture-to-implementation traceability links. In: Proceedings of the International Conference on Automated Software Engineering, pp. 135\u2013144 (2006)","DOI":"10.1109\/ASE.2006.16"},{"issue":"1","key":"34_CR16","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., Ellmer, E.: Flexible consistency checking. ACM Transactions on Software Engineering Methodology\u00a012(1), 28\u201363 (2003)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"34_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"Rabiser, R., Gr\u00fcnbacher, P., Dhungana, D.: Supporting product derivation by adapting and augmenting variability models. In: Proceedings of the 11th International Software Product Lines Conference, pp. 141\u2013150. IEEE Computer Society (2007)","DOI":"10.1109\/SPLINE.2007.4339263"},{"key":"34_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-15579-6_4","volume-title":"Software Product Lines: Going Beyond","author":"R. Rabiser","year":"2010","unstructured":"Rabiser, R., Heider, W., Elsner, C., Lehofer, M., Gr\u00fcnbacher, P., Schwanninger, C.: A Flexible Approach for Generating Product-Specific Documents in Product Lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 47\u201361. Springer, Heidelberg (2010)"},{"key":"34_CR20","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1145\/1858996.1859069","volume-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering","author":"A. Reder","year":"2010","unstructured":"Reder, A., Egyed, A.: Model\/Analyzer: a tool for detecting, visualizing and fixing design errors in UML. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, pp. 347\u2013348. ACM, New York (2010)"},{"key":"34_CR21","doi-asserted-by":"crossref","unstructured":"Straeten, R.V.D., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Proceedings of the 6th International UML Conference, pp. 326\u2013340 (2003)","DOI":"10.1007\/978-3-540-45221-8_28"},{"key":"34_CR22","unstructured":"Tsiolakis, A., Ehrig, H.: Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In: Proceedings of Graph Transformation and Graph Grammars, Berlin, Germany, pp. 77\u201386 (2000)"},{"key":"34_CR23","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Gr\u00fcnbacher, P., Egyed, A., Rabiser, R., Heider, W.: Flexible and scalable consistency checking on product line variability models. In: Pecheur, C., Andrews, J., Nitto, E.D. (eds.) Proceedings of the 25th IEEE\/ACM International Conference on Automated Software Engineering, pp. 63\u201372. ACM (2010)","DOI":"10.1145\/1858996.1859009"},{"key":"34_CR24","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Holl, G., Rabiser, R., Gr\u00fcnbacher, P., Lehofer, M., St\u00fcrmer, U.: A deployment infrastructure for product line models and tools. In: Proceedings of the 15th International Software Product Line Conference, pp. 287\u2013294. IEEE Computer Society (2011)","DOI":"10.1109\/SPLC.2011.23"},{"key":"34_CR25","doi-asserted-by":"crossref","unstructured":"Zisman, A., Kozlenkov, A.: Knowledge base approach to consistency management of UML specification. In: Proceedings of the International Conference on Automated Software Engineering, pp. 359\u2013363 (2001)","DOI":"10.1109\/ASE.2001.989829"}],"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-33666-9_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:33:40Z","timestamp":1744158820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}