{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:22:26Z","timestamp":1725556946973},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135941"},{"type":"electronic","value":"9783642135958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13595-8_18","type":"book-chapter","created":{"date-parts":[[2010,5,31]],"date-time":"2010-05-31T04:15:17Z","timestamp":1275279317000},"page":"217-232","source":"Crossref","is-referenced-by-count":21,"title":["Detecting Inconsistencies in Multi-View Models with Variability"],"prefix":"10.1007","author":[{"given":"Roberto Erick","family":"Lopez-Herrejon","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A. Finkelstein","year":"1992","unstructured":"Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering\u00a02(1), 31\u201357 (1992)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"10","key":"18_CR2","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1109\/32.328995","volume":"20","author":"B. Nuseibeh","year":"1994","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.: A framework for expressing the relationships between multiple views in requirements specification. IEEE Trans. Software Eng.\u00a020(10), 760\u2013773 (1994)","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"18_CR3","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A. Finkelstein","year":"1994","unstructured":"Finkelstein, A., Gabbay, D.M., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multperspective specifications. IEEE Trans. Software Eng.\u00a020(8), 569\u2013578 (1994)","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"18_CR4","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1002\/spe.652","volume":"35","author":"M. Svahnberg","year":"2005","unstructured":"Svahnberg, M., van Gurp, J., Bosch, J.: A taxonomy of variability realization techniques. Softw., Pract. Exper.\u00a035(8), 705\u2013754 (2005)","journal-title":"Softw., Pract. Exper."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE TSE\u00a030(6) (2004)","DOI":"10.1109\/TSE.2004.23"},{"key":"18_CR6","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2002","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2002)"},{"key":"18_CR7","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., Bockle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)"},{"key":"18_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering","author":"F.J. Linden van d","year":"2007","unstructured":"van d Linden, F.J., Schimd, K., Rommes, E.: Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer, Heidelberg (2007)"},{"key":"18_CR9","volume-title":"From Use Cases to Pattern-Based Software Architectures","author":"H. Gomaa","year":"2004","unstructured":"Gomaa, H.: Designing Software Product Lines with UML. In: From Use Cases to Pattern-Based Software Architectures, Addison-Wesley, Reading (2004)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-75209-7_11","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Jayaraman","year":"2007","unstructured":"Jayaraman, P., Whittle, J., Elkhodary, A., Gomaa, H.: Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 151\u2013165. Springer, Heidelberg (2007)"},{"volume-title":"Software Product Lines - Research Issues in Engineering and Management","year":"2006","key":"18_CR11","unstructured":"K\u00e4k\u00f6l\u00e4, T., Due\u00f1as, J.C. (eds.): Software Product Lines - Research Issues in Engineering and Management. Springer, Heidelberg (2006)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/1289971.1289989","volume-title":"GPCE","author":"S. Thaker","year":"2007","unstructured":"Thaker, S., Batory, D.S., Kitchin, D., Cook, W.R.: Safe composition of product lines. In: Consel, C., Lawall, J.L. (eds.) GPCE, pp. 95\u2013104. ACM, New York (2007)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-68073-4_17","volume-title":"High Confidence Software Reuse in Large Systems","author":"H. Gomaa","year":"2008","unstructured":"Gomaa, H., Olimpiew, E.M.: Managing variability in reusable requirement models for software product lines. In: Mei, H. (ed.) ICSR 2008. LNCS, vol.\u00a05030, pp. 182\u2013185. Springer, Heidelberg (2008)"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Zhang, H., Jarzabek, S.: Xvcl: a mechanism for handling variants in software product lines. Sci. Comput. Program.(Hongyu Zhang and Stanislaw Jarzabek)\u00a053(3), 381\u2013407","DOI":"10.1016\/j.scico.2003.04.007"},{"key":"18_CR15","unstructured":"Batory, D.: AHEAD Tool Suite (2008), http:\/\/www.cs.utexas.edu\/users\/schwartz\/ATS.html"},{"issue":"6","key":"18_CR16","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D.S. Batory","year":"2004","unstructured":"Batory, D.S., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Software Eng.\u00a030(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"18_CR17","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/1029894.1029915","volume-title":"SIGSOFT FSE","author":"M. Mezini","year":"2004","unstructured":"Mezini, M., Ostermann, K.: Variability management with feature-oriented programming and aspects. In: Taylor, R.N., Dwyer, M.B. (eds.) SIGSOFT FSE, pp. 127\u2013136. ACM, New York (2004)"},{"key":"18_CR18","unstructured":"Groher, I., V\u00f6lter, M.: Using aspects to model product line variability. In: Thiel, S., Pohl, K. (eds.) SPLC (2), Lero Int. Science Centre, University of Limerick, Ireland, pp. 89\u201395 (2008)"},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-03764-1_4","volume":"6","author":"I. Groher","year":"2009","unstructured":"Groher, I., V\u00f6lter, M.: Aspect-oriented model-driven software product line engineering. T. Aspect-Oriented Software Development VI\u00a06, 111\u2013152 (2009)","journal-title":"T. Aspect-Oriented Software Development VI"},{"key":"18_CR20","volume-title":"Aspect-Oriented Analysis and Design. The Theme Approach","author":"S. Clarke","year":"2005","unstructured":"Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design. In: The Theme Approach. Addison-Wesley, Reading (2005)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Batory, D., Diaz, O.: Feature Oriented Model Driven Development: A Case Study for Portlets. In: ICSE (2007)","DOI":"10.1109\/ICSE.2007.36"},{"issue":"4","key":"18_CR22","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 (TOSEM)\u00a01(4), 355\u2013398 (1992)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"18_CR23","unstructured":"Zave, P.: Faq sheet on feature interaction, http:\/\/www.research.att.com\/~pamela\/faq.html"},{"key":"18_CR24","unstructured":"Lopez-Herrejon, R.E.: Understanding Feature Modularity. PhD thesis, Department of Computer Sciences, The University of Texas at Austin (2006)"},{"key":"18_CR25","first-page":"81","volume-title":"ASE","author":"D.S. Batory","year":"2002","unstructured":"Batory, D.S., Lopez-Herrejon, R.E., Martin, J.P.: Generating product-lines of product-families. In: ASE, pp. 81\u201392. IEEE Computer Society, Los Alamitos (2002)"},{"key":"18_CR26","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/1111542.1111554","volume-title":"PEPM","author":"R.E. Lopez-Herrejon","year":"2006","unstructured":"Lopez-Herrejon, R.E., Batory, D.S., Lengauer, C.: A disciplined approach to aspect composition. In: Hatcliff, J., Tip, F. (eds.) PEPM, pp. 68\u201377. ACM, New York (2006)"},{"key":"18_CR27","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1449913.1449921","volume-title":"GPCE","author":"D.S. Batory","year":"2008","unstructured":"Batory, D.S.: Using modern mathematics as an fosd modeling language. In: Smaragdakis, Y., Siek, J.G. (eds.) GPCE, pp. 35\u201344. ACM, New York (2008)"},{"key":"18_CR28","unstructured":"Lopez-Herrejon, R.E., Rivera, J.E.: Realizing feature oriented software development with equational logic: An exploratory study. In: Vallecillo, A., Sagardui, G. (eds.) JISBD, pp. 269\u2013274 (2009)"},{"key":"18_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-02408-5_2","volume-title":"Theory and Practice of Model Transformations","author":"S. Apel","year":"2009","unstructured":"Apel, S., Janda, F., Trujillo, S., K\u00e4stner, C.: Model superimposition in software product lines. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 4\u201319. Springer, Heidelberg (2009)"},{"key":"18_CR30","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/1173706.1173738","volume-title":"GPCE","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: Jarzabek, S., Schmidt, D.C., Veldhuizen, T.L. (eds.) GPCE, pp. 211\u2013220. ACM, New York (2006)"},{"key":"18_CR31","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"18_CR33","unstructured":"Benavides, D., Segura, S., Trinidad, P., Cort\u00e9s, A.R.: Fama: Tooling a framework for the automated analysis of feature models. In: Pohl, K., Heymans, P., Kang, K.C., Metzger, A., eds.: VaMoS. Volume 2007-01 of Lero Technical Report, pp. 129\u2013134 (2007)"},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Proceedings of the International Software Product Line Conference (SPLC), pp. 7\u201320 (2005)","DOI":"10.1007\/11554844_3"},{"issue":"12","key":"18_CR35","doi-asserted-by":"publisher","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"F.J. Lucas","year":"2009","unstructured":"Lucas, F.J., Molina, F., \u00c1lvarez, J.A.T.: A systematic review of uml model consistency management. Information & Software Technology\u00a051(12), 1631\u20131645 (2009)","journal-title":"Information & Software Technology"},{"key":"18_CR36","doi-asserted-by":"crossref","unstructured":"Usman, M., Nadeem, A., Kim, T.H., Cho, E.S.: A survey of consistency checking techniques for uml models. In: Advanced Software Engineering and Its Applications. ASEA 2008, pp. 57\u201362 (2008)","DOI":"10.1109\/ASEA.2008.40"},{"key":"18_CR37","unstructured":"OMG: Uml infrastructure specification v2.2 (2009)"},{"key":"18_CR38","first-page":"292","volume-title":"ICSE 2007: Proceedings of the 29th International Conference on Software Engineering","author":"A. Egyed","year":"2007","unstructured":"Egyed, A.: Fixing inconsistencies in uml design models. In: ICSE 2007: Proceedings of the 29th International Conference on Software Engineering, Washington, DC, USA, pp. 292\u2013301. IEEE Computer Society, Los Alamitos (2007)"},{"key":"18_CR39","first-page":"99","volume-title":"ASE","author":"A. Egyed","year":"2008","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in uml design models. In: ASE, pp. 99\u2013108. IEEE, Los Alamitos (2008)"},{"key":"18_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-44800-4_2","volume-title":"Generative and Component-Based Software Engineering","author":"R.E. Lopez-Herrejon","year":"2001","unstructured":"Lopez-Herrejon, R.E., Batory, D.S.: A standard problem for evaluating product-line methodologies. In: Bosch, J. (ed.) GCSE 2001. LNCS, vol.\u00a02186, pp. 10\u201324. Springer, Heidelberg (2001)"},{"key":"18_CR41","volume-title":"EMF: Eclipse Modeling Framework","author":"D. Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Reading (2008)","edition":"2"},{"key":"18_CR42","unstructured":"Biere, A.: Picosat, http:\/\/fmv.jku.at\/picosat\/"},{"key":"18_CR43","volume-title":"Aspect-Oriented Software Development with Use Cases","author":"I. Jacobson","year":"2004","unstructured":"Jacobson, I., Ng, P.: Aspect-Oriented Software Development with Use Cases. Addison-Wesley, Reading (2004)"},{"key":"18_CR44","unstructured":"Lopez-Herrejon, R., Batory, D.: Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study. In: Workshops and Symposia at MoDELS (2006)"},{"key":"18_CR45","unstructured":"Umapathy, S.: Extension of UML models to Support Feature Modularization of Software Product Lines. Master\u2019s thesis, Computing Laboratory, University of Oxford (2007)"},{"key":"18_CR46","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-642-02571-6_11","volume-title":"TOOLS (47)","author":"C. K\u00e4stner","year":"2009","unstructured":"K\u00e4stner, C., Apel, S., Trujillo, S., Kuhlemann, M., Batory, D.S.: Guaranteeing syntactic correctness for all product line variants: A language-independent approach. In: Oriol, M., Meyer, B. (eds.) TOOLS (47). Lecture Notes in Business Information Processing, vol.\u00a033, pp. 175\u2013194. Springer, Heidelberg (2009)"},{"key":"18_CR47","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/1621607.1621634","volume-title":"GPCE","author":"M. Kuhlemann","year":"2009","unstructured":"Kuhlemann, M., Batory, D.S., K\u00e4stner, C.: Safe composition of non-monotonic features. In: Siek, J.G. (ed.) GPCE, pp. 177\u2013186. ACM, New York (2009)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13595-8_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T10:20:42Z","timestamp":1685614842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13595-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135941","9783642135958"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13595-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}