{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:09:03Z","timestamp":1792184943463,"version":"4.4.0"},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,12,13]],"date-time":"2014-12-13T00:00:00Z","timestamp":1418428800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1007\/s10270-014-0441-1","type":"journal-article","created":{"date-parts":[[2014,12,12]],"date-time":"2014-12-12T10:57:41Z","timestamp":1418381861000},"page":"811-845","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":72,"title":["Clafer: unifying class and feature modeling"],"prefix":"10.1007","volume":"15","author":[{"given":"Kacper","family":"B\u0105k","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zinovy","family":"Diskin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Micha\u0142","family":"Antkiewicz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,12,13]]},"reference":[{"key":"441_CR1","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: a challenging model transformation. Model Driven Eng. Lang. Syst. (2007)"},{"key":"441_CR2","unstructured":"Antkiewicz, M., B\u0105k, K., Zayan, D., Czarnecki, K., W\u0105sowski, A., Diskin, Z.: Example-driven modeling using clafer. In: First International Workshop on Model-Driven Engineering By Example (2013). http:\/\/ceur-ws.org\/Vol-1104"},{"key":"441_CR3","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., B\u0105k, K., Murashkin, A., Liang, J., Olaechea, R., Czarnecki, K.: Clafer tools for product line engineering. In: Proceedings of the 17th International Software Product Line Conference Co-located Workshops (2013)","DOI":"10.1145\/2499777.2499779"},{"key":"441_CR4","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Czarnecki, K., Stephan, M.: Engineering of framework-specific modeling languages. Softw. Eng. IEEE Trans. 35(6), 521\u2013549 (2009)","DOI":"10.1109\/TSE.2009.30"},{"key":"441_CR5","doi-asserted-by":"crossref","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T.: Nivel: a metamodelling language with a formal semantics. Softw. Syst. Model. 8(4), 31\u201340 (2009)","DOI":"10.1007\/s10270-008-0103-2"},{"key":"441_CR6","doi-asserted-by":"crossref","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T., Soininen, T.: A unified conceptual foundation for feature modelling. In: Software Product Line Conference, 10th International (2006)","DOI":"10.1109\/SPLINE.2006.1691575"},{"key":"441_CR7","doi-asserted-by":"crossref","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T., Soininen, T.: Kumbang: A domain ontology for modelling variability in software product families. Adv. Eng. Inform. 21(1), 23\u201340 (2007)","DOI":"10.1016\/j.aei.2006.11.007"},{"key":"441_CR8","unstructured":"Astels, D.: Refactoring with UML. In: Proceedings of the 3rd International Conference Extreme Programming and Flexible Processes in Software Engineering (2002)"},{"key":"441_CR9","doi-asserted-by":"crossref","unstructured":"B\u0105k, K., Zayan, D., Czarnecki, K., Antkiewicz, M., Diskin, Z., W\u0105sowski, A., Rayside, D.: Example-driven modeling: model = abstractions + examples. In: New Ideas and Emerging Results (NIER) Track of the 35th International Conference on Software Engineering (2013)","DOI":"10.1109\/ICSE.2013.6606696"},{"key":"441_CR10","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science, vol. 10. Prentice Hall, New York (1990)"},{"key":"441_CR11","doi-asserted-by":"crossref","unstructured":"Berger, T., Rublack, R., Nair, D., Atlee, J.M., Becker, M., Czarnecki, K., W\u0105sowski, A.: A survey of variability modeling in industrial practice. In: Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems (2013)","DOI":"10.1145\/2430502.2430513"},{"key":"441_CR12","doi-asserted-by":"crossref","unstructured":"Berger, T., She, S., Lotufo, R., W\u0105sowski, A., Czarnecki, K.: Variability modeling in the real: a perspective from the operating systems domain. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (2010)","DOI":"10.1145\/1858996.1859010"},{"key":"441_CR13","doi-asserted-by":"crossref","unstructured":"B\u0105k, K., Czarnecki, K., W\u0105sowski, A.: Feature and meta-models in Clafer: mixed, specialized, and coupled. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010, LNCS 6563, pp. 102\u2013122. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-19440-5_7"},{"key":"441_CR14","doi-asserted-by":"crossref","unstructured":"B\u0105k, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., W\u0105sowski, A.: Partial instances via subclassing. Softw. Lang. Eng. (2013)","DOI":"10.1007\/978-3-319-02654-1_19"},{"key":"441_CR15","doi-asserted-by":"crossref","unstructured":"Classen, A., Boucher, Q., Heymans, P.: A text-based approach to feature modelling: Syntax and semantics of TVL. Sci. Comp. Program. 76(12), 1130\u20131143 (2011)","DOI":"10.1016\/j.scico.2010.10.005"},{"key":"441_CR16","unstructured":"Clau\u00df, M., Jena, I.: Modeling variability with UML. In: Young Researchers Workshop at GCSE (2001)"},{"key":"441_CR17","unstructured":"Consortium, A., et al.: EAST-ADL domain model specification, Nov. 28, 2013. Version 2.1.12"},{"key":"441_CR18","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: Gluck, R., Lowrt, M. (eds.) GPCE 2005, LNCS, vol. 3676, pp. 422\u2013437. Springer, Heidelberg (2005)","DOI":"10.1007\/11561347_28"},{"key":"441_CR19","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Bednasch, T., Unger, P., Eisenecker, U.: Generative programming for embedded software: an industrial experience report. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002, LNCS 2487, pp. 156\u2013172. Springer. Heidelberg (2002)","DOI":"10.1007\/3-540-45821-2_10"},{"key":"441_CR20","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Gr\u00fcenbacher, P., Rabiser, R., Schmid, K., W\u0105sowski, A.: Cool features and tough decisions: a comparison of variability modeling approaches. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems (2012)","DOI":"10.1145\/2110147.2110167"},{"key":"441_CR21","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. Softw. Process Improv. Pract. 10(1), 331\u2013348 (2005)","DOI":"10.1002\/spip.213"},{"key":"441_CR22","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Hwan, C., Kim, P., Kalleberg, K.: Feature models are views on ontologies. Software Product Line Conference, 10th International (2006)","DOI":"10.1109\/SPLINE.2006.1691576"},{"key":"441_CR23","unstructured":"Czarnecki, K., Kim, C.H.: Cardinality-based feature modeling and constraints: a progress report. In: International Workshop on Software Factories (2005)"},{"key":"441_CR24","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 (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"441_CR25","doi-asserted-by":"crossref","unstructured":"Dahchour, M., Pirotte, A., Zim\u00e1nyi, E.: Generic relationships in information modeling. J. Data Semant. IV 3730, 1\u201334 (2005)","DOI":"10.1007\/11603412_1"},{"key":"441_CR26","doi-asserted-by":"crossref","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 337\u2013340 (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"441_CR27","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Visualization vs. specification in diagrammatic notations: A case study with the UML. In: Hegarty, M., Meyer, B., Hari Narayanan, N. (eds.) Diagrams 2002, LNAI 2317, pp. 112\u2013115. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-46037-3_15"},{"key":"441_CR28","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Cadish, B.: Variable sets and functions framework for conceptual modeling: integrating ER and OO via sketches with dynamic markers. In: Object-Oriented and Entity-Relationship Modeling (1995)","DOI":"10.1007\/BFb0020535"},{"key":"441_CR29","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Easterbrook, S., Dingel, J.: Engineering Associations: From Models to Code and Back through Semantics. In: Objects, Components, Models and Patterns (2008)","DOI":"10.1007\/978-3-540-69824-1_19"},{"key":"441_CR30","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Kadish, B.: Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling. Data Knowl Eng 47, 1\u201359 (2003)","DOI":"10.1016\/S0169-023X(03)00047-8"},{"key":"441_CR31","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal arrow foundations for visual modeling. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000, LNAI 1889, pp. 345\u2013360. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-44590-0_30"},{"key":"441_CR32","doi-asserted-by":"crossref","unstructured":"Felfernig, A., Friedrich, G.E., Jannach, D.: UML as domain specific language for the construction of knowledge-based configuration systems. Int. J. Softw. Eng. Knowl. Eng. 10(04), 449\u2013469 (2000)","DOI":"10.1142\/S0218194000000249"},{"key":"441_CR33","doi-asserted-by":"crossref","unstructured":"Gaeta, J.A.P.: Modeling and implementing variability in aerospace systems product lines. Master\u2019s thesis, University of Waterloo (2014)","DOI":"10.1145\/2791060.2791104"},{"key":"441_CR34","volume-title":"Designing Software Product Lines with UML","author":"H Gomaa","year":"2004","unstructured":"Gomaa, H.: Designing Software Product Lines with UML. Addison-Wesley, Boston (2004)"},{"key":"441_CR35","unstructured":"Group, O.M.: Systems Modeling Language (SysML) (2012). http:\/\/www.omg.org\/spec\/SysML\/1.3\/"},{"key":"441_CR36","doi-asserted-by":"crossref","unstructured":"Heidenreich, F., Kopcsek, J., Wende, C.: FeatureMapper: mapping features to models. In: Companion of the 30th International Conference on Software Engineering (2008)","DOI":"10.1145\/1370175.1370199"},{"key":"441_CR37","doi-asserted-by":"crossref","unstructured":"Hubaux, A., Boucher, Q., Hartmann, H., Michel, R., Heymans, P.: Evaluating a textual feature modelling language: four industrial case studies. Softw. Lang. Eng. (2010)","DOI":"10.1007\/978-3-642-19440-5_23"},{"key":"441_CR38","doi-asserted-by":"crossref","unstructured":"Hubaux, A., Xiong, Y., Czarnecki, K.: A user survey of configuration challenges in Linux and eCos. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems (2012)","DOI":"10.1145\/2110147.2110164"},{"key":"441_CR39","unstructured":"IBM, Thales, Fokus, F., TCS: Proposal for Common Variability Language (CVL) (2012, revised submission). http:\/\/www.omgwiki.org\/variability\/doku.php"},{"key":"441_CR40","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","DOI":"10.1145\/505145.505149"},{"key":"441_CR41","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2011","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2011)"},{"key":"441_CR42","doi-asserted-by":"crossref","unstructured":"Janota, M., Botterweck, G.: Formal approach to integrating feature and architecture models. Fundam. Approach. Softw. Eng. 31\u201345 (2008)","DOI":"10.1007\/978-3-540-78743-3_3"},{"key":"441_CR43","doi-asserted-by":"crossref","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: a DSL for metamodel specification. In: Formal Methods for Open Object-Based Distributed Systems, pp. 171\u2013185 (2006)","DOI":"10.1007\/11768869_14"},{"key":"441_CR44","unstructured":"Jussien, N., Rochart, G., Lorca, X., et al.: Choco: an open source java constraint programming library. In: CPAIOR\u201908 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP\u201908) (2008)"},{"key":"441_CR45","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21, CMU (1990)","DOI":"10.21236\/ADA235785"},{"key":"441_CR46","unstructured":"Kang, K.C.: FODA: Twenty years of perspective on feature modeling. In: Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems (2010)"},{"key":"441_CR47","volume-title":"Introduction to Higher-Order Categorical Logic","author":"J Lambek","year":"1988","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic, vol. 7. Cambridge University Press, Cambridge (1988)"},{"key":"441_CR48","unstructured":"Liang, J.: Correcting Clafer Models with Automated Analysis. Technical Report GSDLab-TR 2012-04-30, GSD Lab, University of Waterloo (2012)"},{"key":"441_CR49","unstructured":"Liang, J.: Solving Clafer models with Choco (GSDLab-TR 2012-12-30) (2012)"},{"key":"441_CR50","doi-asserted-by":"crossref","unstructured":"Michel, R., Classen, A., Hubaux, A., Boucher, Q.: A formal semantics for feature cardinalities in feature diagrams. In: Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems (2011)","DOI":"10.1145\/1944892.1944902"},{"key":"441_CR51","unstructured":"Murashkin, A.: Automotive electronic\/electric architecture modeling, design exploration and optimization using Clafer. Master\u2019s thesis, University of Waterloo (2014)"},{"key":"441_CR52","doi-asserted-by":"crossref","unstructured":"Murashkin, A., Antkiewicz, M., Rayside, D., Czarnecki, K.: Visualization and exploration of optimal variants in product line engineering. In: Proceedings of the 17th International Software Product Line Conference (2013)","DOI":"10.1145\/2491627.2491647"},{"key":"441_CR53","doi-asserted-by":"crossref","unstructured":"Olaechea, R., Stewart, S., Czarnecki, K., Rayside, D.: Modeling and multi-objective optimization of quality attributes in variability-rich software. In: Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages (2012)","DOI":"10.1145\/2420942.2420944"},{"key":"441_CR54","unstructured":"OMG: Meta Object Facility (MOF) Core Specification (2011)"},{"key":"441_CR55","unstructured":"OMG: OMG Object Constraint Language (OCL) 2.4 (2014)"},{"key":"441_CR56","unstructured":"Partnership, A.D.: Automotive open system architecture (autosar), release 4.1 (2013). http:\/\/www.autosar.org\/specifications\/release-41\/"},{"key":"441_CR57","unstructured":"Partnership, A.D.: Feature model exchange format (2013). https:\/\/www.autosar.org\/fileadmin\/files\/releases\/4-1\/methodology-templates\/templates\/standard\/AUTOSAR_TPS_FeatureModelExchangeFormat.pdf"},{"key":"441_CR58","unstructured":"Reiser, M.O., Kolagari, R.T., Weber, M.: Unified feature modeling as a basis for managing complex system families. In: Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems (2007)"},{"key":"441_CR59","doi-asserted-by":"crossref","unstructured":"Rossini, A., Rutle, A., Lamo, Y., Wolter, U.: A formalisation of the copy-modify-merge approach to version control in MDE. J. Log. Algebr. Program. 79(7), 636\u2013658 (2010)","DOI":"10.1016\/j.jlap.2009.10.003"},{"key":"441_CR60","doi-asserted-by":"crossref","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in MDE. J. Log. Algebr. Program. 81(4), 422\u2013457 (2012)","DOI":"10.1016\/j.jlap.2012.03.006"},{"key":"441_CR61","doi-asserted-by":"crossref","unstructured":"Schmid, K., John, I.: A customizable approach to full lifecycle variability management. Sci. Comput. Program. 53, 259\u2013284 (2004)","DOI":"10.1016\/j.scico.2003.04.002"},{"key":"441_CR62","doi-asserted-by":"crossref","unstructured":"Software Productivity Consortium Services Corporation: Reuse-Driven Software Processes Guidebook, version 02.00.03. Technical Report SPC-92019-CMC (1993)","DOI":"10.21236\/ADA273644"},{"key":"441_CR63","unstructured":"Stephan, M., Antkiewicz, M.: Ecore.fmp: A tool for editing and instantiating class models as feature models. Technical Report 2008-08, University of Waterloo (2008)"},{"key":"441_CR64","doi-asserted-by":"crossref","unstructured":"Suny\u00e9, G., Pollet, D., Traon, Y.L., J\u00e9z\u00e9quel, J.M.: Refactoring UML models. In: UML\u2014The Unified Modeling Language. Modeling Languages, Concepts, and Tools, pp. 134\u2013148 (2001)","DOI":"10.1007\/3-540-45441-1_11"},{"key":"441_CR65","doi-asserted-by":"crossref","unstructured":"Wand, Y., Storey, V., Weber, R.: An ontological analysis of the relationship construct in conceptual modeling. ACM Trans. Database Syst. 24(4), 494\u2013528 (1999)","DOI":"10.1145\/331983.331989"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0441-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0441-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0441-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T11:26:53Z","timestamp":1566127613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0441-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,13]]},"references-count":65,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["441"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0441-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,13]]}}}