{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T13:57:35Z","timestamp":1790431055083,"version":"4.1.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,8,27]],"date-time":"2009-08-27T00:00:00Z","timestamp":1251331200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1007\/s10270-009-0127-2","type":"journal-article","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T07:00:12Z","timestamp":1251270012000},"page":"161-182","source":"Crossref","is-referenced-by-count":38,"title":["An algebra of product families"],"prefix":"10.1007","volume":"10","author":[{"given":"Peter","family":"H\u00f6fner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ridha","family":"Khedri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2009,8,27]]},"reference":[{"key":"127_CR1","doi-asserted-by":"crossref","unstructured":"Avgeriou, P., Guelfi, N.: Resolving architectural mismatches of COTS through architectural reconciliation. In: Lecture Notes in Computer Science, vol. 3412, pp. 248\u2013257. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-30587-3_34"},{"key":"127_CR2","doi-asserted-by":"crossref","unstructured":"Batory, D.: The road to utopia: A future for generative programming. Keynote presentation at the Dagstuhl Seminar for Domain Specific Program Generation, March (2003)","DOI":"10.1007\/978-3-540-25935-0_1"},{"key":"127_CR3","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of the 9th International Software Product Line Conference (SPLC-EUROPE 2005), pp. 26\u201329. September (2005)"},{"key":"127_CR4","doi-asserted-by":"crossref","unstructured":"Batory, D., Lopez-Herrejon, R., Martin, J.P.: Generating product-lines of product-families. In: Conference on Automated-Software Engineering. September (2002)","DOI":"10.1109\/ASE.2002.1114997"},{"key":"127_CR5","doi-asserted-by":"crossref","unstructured":"B\u00fchne, S., Lauenroth, K., Pohl, K.: Modelling requirements variability across product lines. In: 13th IEEE International Requirements Engineering Conference, pp. 41\u201350. IEEE Computer Society, Los Alamitos, 29 August to 2 September (2005)","DOI":"10.1109\/RE.2005.45"},{"key":"127_CR6","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2002","unstructured":"Clements P., Northrop L.M.: Software Product Lines: Practices and Patterns. Addison Wesley, Reading (2002)"},{"issue":"5","key":"127_CR7","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1109\/TSE.2004.10","volume":"30","author":"L.M. Cysneiros","year":"2004","unstructured":"Cysneiros L.M., do Prado Leite J.C.S.: Non-functional requirements: From elicitation to conceptual models. IEEE Trans. Softw. Eng. 30(5), 328\u2013350 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"127_CR8","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)"},{"issue":"9","key":"127_CR9","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1109\/32.713325","volume":"24","author":"J. Desharnais","year":"1998","unstructured":"Desharnais J., Frappier M., Khedri R.: Integration of sequential scenarios. IEEE Trans. Softw. Eng. 24(9), 695\u2013708 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"127_CR10","first-page":"93","volume":"1","author":"J. Desharnais","year":"2004","unstructured":"Desharnais J., M\u00f6ller B., Struth G.: Modal Kleene algebra and applications\u2014a survey. J. Relat. Methods Comput. Sci. 1, 93\u2013131 (2004)","journal-title":"J. Relat. Methods Comput. Sci."},{"key":"127_CR11","doi-asserted-by":"crossref","unstructured":"Gilani, W., Naqvi, N.H., Spinczyk, O.: On adaptable middleware product lines. In: Proceedings of the 3rd workshop on Adaptive and reflective middleware (ARM \u201904), pp 207\u2013213. ACM, New York (2004)","DOI":"10.1145\/1028613.1028618"},{"key":"127_CR12","first-page":"76","volume-title":"Proceedings of the 5th International Conference on Software Reuse.","author":"M.L. Griss","year":"1998","unstructured":"Griss M.L., Favaro J., d\u2019Alessandro M.: Integrating feature modeling with the RSEB. In: Devanbu, P., Poulin, J.(eds) Proceedings of the 5th International Conference on Software Reuse., pp. 76\u201385. IEEE Computer Society, Los Alamitos (1998)"},{"key":"127_CR13","doi-asserted-by":"crossref","DOI":"10.1142\/3903","volume-title":"Semirings\u2014Algebraic Theory and Applications in Computer Science","author":"U. Hebisch","year":"1998","unstructured":"Hebisch U., Weinert H.J.: Semirings\u2014Algebraic Theory and Applications in Computer Science. World Scientific, Singapore (1998)"},{"key":"127_CR14","unstructured":"H\u00f6fner, P.: Database for automated proofs (laws for product families). http:\/\/www.dcs.shef.ac.uk\/~georg\/k . Accessed 1 March 2009"},{"key":"127_CR15","first-page":"300","volume-title":"Formal Methods. Lecture Notes in Computer Science, vol 4085.","author":"P. H\u00f6fner","year":"2006","unstructured":"H\u00f6fner P., Khedri R., M\u00f6ller B.: Feature algebra. In: Misra, J., Nipkow, T., Sekerinski, E.(eds) Formal Methods. Lecture Notes in Computer Science, vol 4085., pp. 300\u2013315. Springer, Berlin (2006)"},{"key":"127_CR16","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Feature algebra. Technical Report 2006\u201304, Institute of Computer Science, University of Augsburg (2006)","DOI":"10.1007\/11813040_21"},{"key":"127_CR17","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Algebraic view reconciliation. Technical Report 2007-13, Institute of Computer Science, University of Augsburg (2007)","DOI":"10.1109\/SEFM.2008.36"},{"key":"127_CR18","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Algebraic view reconciliation. In: Software Engineering and Formal Methods, pp. 85\u201394. IEEE Press (2008)","DOI":"10.1109\/SEFM.2008.36"},{"key":"127_CR19","first-page":"279","volume-title":"CADE 2007. Lecture Notes in Artificial Intelligence, vol 4603","author":"P. H\u00f6fner","year":"2007","unstructured":"H\u00f6fner P., Struth G.: Automated reasoning in Kleene algebra. In: Pfennig, F.(eds) CADE 2007. Lecture Notes in Artificial Intelligence, vol 4603, pp. 279\u2013294. Springer, Berlin (2007)"},{"key":"127_CR20","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.entcs.2008.02.021","volume":"201","author":"P. H\u00f6fner","year":"2008","unstructured":"H\u00f6fner P., Struth G.: Can refinement be automated? Electron. Notes Theor. Comput. Sci. 201, 197\u2013222 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"127_CR21","volume-title":"Applied Database Logic: Fundamental Issues, volume I","author":"B.E. Jacobs","year":"1985","unstructured":"Jacobs B.E.: Applied Database Logic: Fundamental Issues, volume I. Prentice-Hall, Inc., Englewood Cliffs (1985)"},{"key":"127_CR22","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-021, Carnegie Mellon Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"issue":"1","key":"127_CR23","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"K.C. Kang","year":"1998","unstructured":"Kang K.C., Kim S., Lee J., Kim K., Shin E., Huh M.: FORM: A feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng. 5(1), 143\u2013168 (1998)","journal-title":"Ann. Softw. Eng."},{"key":"127_CR24","unstructured":"Khedri, R.: Formal model driven approach to deal with requirements volatility. Computing and Software Technical Reports CAS-08-03-RK, Department of Computing and Software, McMaster University (2008)"},{"key":"127_CR25","unstructured":"McCune, W.: Prover9 and Mace4. http:\/\/www.prover9.org\/ . (accessed March 1, 2009)"},{"key":"127_CR26","doi-asserted-by":"crossref","unstructured":"Nace, W., Koopman, P.: A product family approach to graceful degradation. In: Proceedings of the IFIP WG10.3\/WG10.4\/WG10.5 International Workshop on Distributed and Parallel Embedded Systems: Architecture and Design of Distributed Embedded Systems, pp. 131\u2013140. Kluwer, Deventer (2000)","DOI":"10.1007\/978-0-387-35409-5_13"},{"key":"127_CR27","volume-title":"Principles of Artificial Intelligence","author":"N.J. Nilsson","year":"1980","unstructured":"Nilsson N.J.: Principles of Artificial Intelligence. Tioga, Palo Alto (1980)"},{"key":"127_CR28","volume-title":"Identification and control problems in vehicle system design","author":"L. Palkovics","year":"1991","unstructured":"Palkovics L.: Identification and control problems in vehicle system design. Knorr-Bremse, Munich (1991)"},{"issue":"1","key":"127_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.1976.233797","volume":"SE2","author":"D.L. Parnas","year":"1976","unstructured":"Parnas D.L.: On the design and development of program families. IEEE Trans. Softw. Eng. SE2(1), 1\u20139 (1976)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"127_CR30","doi-asserted-by":"crossref","unstructured":"Riva, C., Del Rosso, C.: Experiences with software product family evolution. In: Sixth International Workshop on Principles of Software Evolution (IWPSE\u201903), pp. 161\u2013169. IEEE Computer Society, Los Alamitos (2003)","DOI":"10.1109\/IWPSE.2003.1231223"},{"key":"127_CR31","doi-asserted-by":"crossref","unstructured":"Roback, S., Pieczynski, A.: Employing fuzzy logic in feature diagrams to model variability in software product-lines. In: 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS\u201903), pp. 305\u2013311. IEEE Computer Society, Los Alamitos (2003)","DOI":"10.1109\/ECBS.2003.1194812"},{"key":"127_CR32","doi-asserted-by":"crossref","unstructured":"Savolainen, J., Oliver, I., Mannion, M., Zuo, H.: Transitioning from product line requirements to product line architecture. In: Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), pp. 186\u2013195. IEEE Computer Society, Los Alamitos, 26\u201328 July (2005)","DOI":"10.1109\/COMPSAC.2005.160"},{"key":"127_CR33","doi-asserted-by":"crossref","unstructured":"Shelton, C.P.: Using architectural properties to model and measure system-wide graceful degradation. In: In Workshop on Architecting Dependable Systems, pp. 267\u2013289. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45177-3_12"},{"key":"127_CR34","unstructured":"Software Engineering Standards Committee of the IEEE Computer Society. IEEE recommended practice for software requirements specifications, IEEE Std 830-1998 (revision of IEEE std 830-1993). http:\/\/ieeexplore.ieee.org , 23 May 2007"},{"key":"127_CR35","unstructured":"Streitferdt, D.: Family-Oriented Requirements Engineering. PhD thesis, Technical University Ilmenau (2004)"},{"key":"127_CR36","unstructured":"Streitferdt, D., Riebisch, M., Philippow, I.: Details of formalized relations in feature models using OCL. In: The 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS\u201903), Huntsville, AL, USA, April 2003. IEEE Computer Society, Los Alamitos (2003)"},{"key":"127_CR37","unstructured":"Thompson, J.M., Heimdahl, M.P., Erickson, D.M.: Structuring formal control systems specifications for reuse: Surviving hardware changes. Technical Report TR 00-004, Department of Computer Science and Engineering, University of Minnesota, February (2000)"},{"key":"127_CR38","doi-asserted-by":"crossref","unstructured":"Thompson, J.M.: Heimdahl, Mats P.E.: Structuring product family requirements for n-dimensional and hierarchical product lines. Requir. Eng. J. (2002)","DOI":"10.1007\/s00766-003-0166-0"},{"issue":"2","key":"127_CR39","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S. Uchitel","year":"2003","unstructured":"Uchitel S., Kramer J., Magee J.: Synthesis of behavioral models from scenarios. IEEE Trans. Softw. Eng. 29(2), 99\u2013115 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"127_CR40","doi-asserted-by":"crossref","DOI":"10.1002\/0471713708","volume-title":"Component-Oriented Programming","author":"A.J.A. Wang","year":"2005","unstructured":"Wang A.J.A., Qian K.: Component-Oriented Programming. Wiley, NY (2005)"},{"key":"127_CR41","volume-title":"Software Product-Line Engineering: A Family-Based Software Development Process","author":"D.M. Weiss","year":"1999","unstructured":"Weiss D.M., Lai C.T.R.: Software Product-Line Engineering: A Family-Based Software Development Process. Addison Wesley Longman, Inc., New York (1999)"},{"key":"127_CR42","doi-asserted-by":"crossref","unstructured":"Wirsing, M., Knapp, A.: View consistency in software development. In: Lecture Notes in Computer Science, vol. 2941, pp. 341\u2013357. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24626-8_24"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0127-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0127-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0127-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T21:26:09Z","timestamp":1739309169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0127-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,27]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["127"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0127-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,27]]}}}