Clafer: unifying class and feature modeling
Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple fe...
Ausführliche Beschreibung
Gespeichert in:
| Autor*in: |
Bąk, Kacper [verfasserIn] |
|---|
| Format: |
Artikel |
|---|---|
| Sprache: |
Englisch |
| Erschienen: |
2014 |
|---|
| Schlagwörter: |
|---|
| Anmerkung: |
© Springer-Verlag Berlin Heidelberg 2014 |
|---|
| Übergeordnetes Werk: |
Enthalten in: Software and systems modeling - Springer Berlin Heidelberg, 2002, 15(2014), 3 vom: 13. Dez., Seite 811-845 |
|---|---|
| Übergeordnetes Werk: |
volume:15 ; year:2014 ; number:3 ; day:13 ; month:12 ; pages:811-845 |
| Links: |
|---|
| DOI / URN: |
10.1007/s10270-014-0441-1 |
|---|
| Katalog-ID: |
OLC2044246678 |
|---|
| LEADER | 01000caa a22002652 4500 | ||
|---|---|---|---|
| 001 | OLC2044246678 | ||
| 003 | DE-627 | ||
| 005 | 20230502181512.0 | ||
| 007 | tu | ||
| 008 | 200820s2014 xx ||||| 00| ||eng c | ||
| 024 | 7 | |a 10.1007/s10270-014-0441-1 |2 doi | |
| 035 | |a (DE-627)OLC2044246678 | ||
| 035 | |a (DE-He213)s10270-014-0441-1-p | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 082 | 0 | 4 | |a 004 |q VZ |
| 082 | 0 | 4 | |a 004 |q VZ |
| 084 | |a 54.50$jProgrammierung: Allgemeines |2 bkl | ||
| 100 | 1 | |a Bąk, Kacper |e verfasserin |4 aut | |
| 245 | 1 | 0 | |a Clafer: unifying class and feature modeling |
| 264 | 1 | |c 2014 | |
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 500 | |a © Springer-Verlag Berlin Heidelberg 2014 | ||
| 520 | |a Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages. | ||
| 650 | 4 | |a Language design | |
| 650 | 4 | |a Feature modeling | |
| 650 | 4 | |a OOM | |
| 650 | 4 | |a Semantics | |
| 650 | 4 | |a Unification | |
| 700 | 1 | |a Diskin, Zinovy |4 aut | |
| 700 | 1 | |a Antkiewicz, Michał |4 aut | |
| 700 | 1 | |a Czarnecki, Krzysztof |4 aut | |
| 700 | 1 | |a Wąsowski, Andrzej |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t Software and systems modeling |d Springer Berlin Heidelberg, 2002 |g 15(2014), 3 vom: 13. Dez., Seite 811-845 |w (DE-627)356568156 |w (DE-600)2092265-6 |w (DE-576)10203768X |x 1619-1366 |7 nnns |
| 773 | 1 | 8 | |g volume:15 |g year:2014 |g number:3 |g day:13 |g month:12 |g pages:811-845 |
| 856 | 4 | 1 | |u https://doi.org/10.1007/s10270-014-0441-1 |z lizenzpflichtig |3 Volltext |
| 912 | |a GBV_USEFLAG_A | ||
| 912 | |a SYSFLAG_A | ||
| 912 | |a GBV_OLC | ||
| 912 | |a SSG-OLC-MAT | ||
| 912 | |a GBV_ILN_70 | ||
| 912 | |a GBV_ILN_2018 | ||
| 912 | |a GBV_ILN_2244 | ||
| 912 | |a GBV_ILN_4046 | ||
| 912 | |a GBV_ILN_4277 | ||
| 936 | b | k | |a 54.50$jProgrammierung: Allgemeines |q VZ |0 181569876 |0 (DE-625)181569876 |
| 951 | |a AR | ||
| 952 | |d 15 |j 2014 |e 3 |b 13 |c 12 |h 811-845 | ||
| author_variant |
k b kb z d zd m a ma k c kc a w aw |
|---|---|
| matchkey_str |
article:16191366:2014----::lfrnfiglsadet |
| hierarchy_sort_str |
2014 |
| bklnumber |
54.50$jProgrammierung: Allgemeines |
| publishDate |
2014 |
| allfields |
10.1007/s10270-014-0441-1 doi (DE-627)OLC2044246678 (DE-He213)s10270-014-0441-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bąk, Kacper verfasserin aut Clafer: unifying class and feature modeling 2014 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag Berlin Heidelberg 2014 Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages. Language design Feature modeling OOM Semantics Unification Diskin, Zinovy aut Antkiewicz, Michał aut Czarnecki, Krzysztof aut Wąsowski, Andrzej aut Enthalten in Software and systems modeling Springer Berlin Heidelberg, 2002 15(2014), 3 vom: 13. Dez., Seite 811-845 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:15 year:2014 number:3 day:13 month:12 pages:811-845 https://doi.org/10.1007/s10270-014-0441-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 15 2014 3 13 12 811-845 |
| spelling |
10.1007/s10270-014-0441-1 doi (DE-627)OLC2044246678 (DE-He213)s10270-014-0441-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bąk, Kacper verfasserin aut Clafer: unifying class and feature modeling 2014 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag Berlin Heidelberg 2014 Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages. Language design Feature modeling OOM Semantics Unification Diskin, Zinovy aut Antkiewicz, Michał aut Czarnecki, Krzysztof aut Wąsowski, Andrzej aut Enthalten in Software and systems modeling Springer Berlin Heidelberg, 2002 15(2014), 3 vom: 13. Dez., Seite 811-845 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:15 year:2014 number:3 day:13 month:12 pages:811-845 https://doi.org/10.1007/s10270-014-0441-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 15 2014 3 13 12 811-845 |
| allfields_unstemmed |
10.1007/s10270-014-0441-1 doi (DE-627)OLC2044246678 (DE-He213)s10270-014-0441-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bąk, Kacper verfasserin aut Clafer: unifying class and feature modeling 2014 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag Berlin Heidelberg 2014 Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages. Language design Feature modeling OOM Semantics Unification Diskin, Zinovy aut Antkiewicz, Michał aut Czarnecki, Krzysztof aut Wąsowski, Andrzej aut Enthalten in Software and systems modeling Springer Berlin Heidelberg, 2002 15(2014), 3 vom: 13. Dez., Seite 811-845 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:15 year:2014 number:3 day:13 month:12 pages:811-845 https://doi.org/10.1007/s10270-014-0441-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 15 2014 3 13 12 811-845 |
| allfieldsGer |
10.1007/s10270-014-0441-1 doi (DE-627)OLC2044246678 (DE-He213)s10270-014-0441-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bąk, Kacper verfasserin aut Clafer: unifying class and feature modeling 2014 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag Berlin Heidelberg 2014 Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages. Language design Feature modeling OOM Semantics Unification Diskin, Zinovy aut Antkiewicz, Michał aut Czarnecki, Krzysztof aut Wąsowski, Andrzej aut Enthalten in Software and systems modeling Springer Berlin Heidelberg, 2002 15(2014), 3 vom: 13. Dez., Seite 811-845 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:15 year:2014 number:3 day:13 month:12 pages:811-845 https://doi.org/10.1007/s10270-014-0441-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 15 2014 3 13 12 811-845 |
| allfieldsSound |
10.1007/s10270-014-0441-1 doi (DE-627)OLC2044246678 (DE-He213)s10270-014-0441-1-p DE-627 ger DE-627 rakwb eng 004 VZ 004 VZ 54.50$jProgrammierung: Allgemeines bkl Bąk, Kacper verfasserin aut Clafer: unifying class and feature modeling 2014 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag Berlin Heidelberg 2014 Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages. Language design Feature modeling OOM Semantics Unification Diskin, Zinovy aut Antkiewicz, Michał aut Czarnecki, Krzysztof aut Wąsowski, Andrzej aut Enthalten in Software and systems modeling Springer Berlin Heidelberg, 2002 15(2014), 3 vom: 13. Dez., Seite 811-845 (DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X 1619-1366 nnns volume:15 year:2014 number:3 day:13 month:12 pages:811-845 https://doi.org/10.1007/s10270-014-0441-1 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 54.50$jProgrammierung: Allgemeines VZ 181569876 (DE-625)181569876 AR 15 2014 3 13 12 811-845 |
| language |
English |
| source |
Enthalten in Software and systems modeling 15(2014), 3 vom: 13. Dez., Seite 811-845 volume:15 year:2014 number:3 day:13 month:12 pages:811-845 |
| sourceStr |
Enthalten in Software and systems modeling 15(2014), 3 vom: 13. Dez., Seite 811-845 volume:15 year:2014 number:3 day:13 month:12 pages:811-845 |
| format_phy_str_mv |
Article |
| institution |
findex.gbv.de |
| topic_facet |
Language design Feature modeling OOM Semantics Unification |
| dewey-raw |
004 |
| isfreeaccess_bool |
false |
| container_title |
Software and systems modeling |
| authorswithroles_txt_mv |
Bąk, Kacper @@aut@@ Diskin, Zinovy @@aut@@ Antkiewicz, Michał @@aut@@ Czarnecki, Krzysztof @@aut@@ Wąsowski, Andrzej @@aut@@ |
| publishDateDaySort_date |
2014-12-13T00:00:00Z |
| hierarchy_top_id |
356568156 |
| dewey-sort |
14 |
| id |
OLC2044246678 |
| language_de |
englisch |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2044246678</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230502181512.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200820s2014 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s10270-014-0441-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2044246678</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s10270-014-0441-1-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.50$jProgrammierung: Allgemeines</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bąk, Kacper</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Clafer: unifying class and feature modeling</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer-Verlag Berlin Heidelberg 2014</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Language design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Feature modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">OOM</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Unification</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diskin, Zinovy</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Antkiewicz, Michał</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Czarnecki, Krzysztof</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wąsowski, Andrzej</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Software and systems modeling</subfield><subfield code="d">Springer Berlin Heidelberg, 2002</subfield><subfield code="g">15(2014), 3 vom: 13. Dez., Seite 811-845</subfield><subfield code="w">(DE-627)356568156</subfield><subfield code="w">(DE-600)2092265-6</subfield><subfield code="w">(DE-576)10203768X</subfield><subfield code="x">1619-1366</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:15</subfield><subfield code="g">year:2014</subfield><subfield code="g">number:3</subfield><subfield code="g">day:13</subfield><subfield code="g">month:12</subfield><subfield code="g">pages:811-845</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s10270-014-0441-1</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4277</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.50$jProgrammierung: Allgemeines</subfield><subfield code="q">VZ</subfield><subfield code="0">181569876</subfield><subfield code="0">(DE-625)181569876</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">15</subfield><subfield code="j">2014</subfield><subfield code="e">3</subfield><subfield code="b">13</subfield><subfield code="c">12</subfield><subfield code="h">811-845</subfield></datafield></record></collection>
|
| author |
Bąk, Kacper |
| spellingShingle |
Bąk, Kacper ddc 004 bkl 54.50$jProgrammierung: Allgemeines misc Language design misc Feature modeling misc OOM misc Semantics misc Unification Clafer: unifying class and feature modeling |
| authorStr |
Bąk, Kacper |
| ppnlink_with_tag_str_mv |
@@773@@(DE-627)356568156 |
| format |
Article |
| dewey-ones |
004 - Data processing & computer science |
| delete_txt_mv |
keep |
| author_role |
aut aut aut aut aut |
| collection |
OLC |
| remote_str |
false |
| illustrated |
Not Illustrated |
| issn |
1619-1366 |
| topic_title |
004 VZ 54.50$jProgrammierung: Allgemeines bkl Clafer: unifying class and feature modeling Language design Feature modeling OOM Semantics Unification |
| topic |
ddc 004 bkl 54.50$jProgrammierung: Allgemeines misc Language design misc Feature modeling misc OOM misc Semantics misc Unification |
| topic_unstemmed |
ddc 004 bkl 54.50$jProgrammierung: Allgemeines misc Language design misc Feature modeling misc OOM misc Semantics misc Unification |
| topic_browse |
ddc 004 bkl 54.50$jProgrammierung: Allgemeines misc Language design misc Feature modeling misc OOM misc Semantics misc Unification |
| format_facet |
Aufsätze Gedruckte Aufsätze |
| format_main_str_mv |
Text Zeitschrift/Artikel |
| carriertype_str_mv |
nc |
| hierarchy_parent_title |
Software and systems modeling |
| hierarchy_parent_id |
356568156 |
| dewey-tens |
000 - Computer science, knowledge & systems |
| hierarchy_top_title |
Software and systems modeling |
| isfreeaccess_txt |
false |
| familylinks_str_mv |
(DE-627)356568156 (DE-600)2092265-6 (DE-576)10203768X |
| title |
Clafer: unifying class and feature modeling |
| ctrlnum |
(DE-627)OLC2044246678 (DE-He213)s10270-014-0441-1-p |
| title_full |
Clafer: unifying class and feature modeling |
| author_sort |
Bąk, Kacper |
| journal |
Software and systems modeling |
| journalStr |
Software and systems modeling |
| lang_code |
eng |
| isOA_bool |
false |
| dewey-hundreds |
000 - Computer science, information & general works |
| recordtype |
marc |
| publishDateSort |
2014 |
| contenttype_str_mv |
txt |
| container_start_page |
811 |
| author_browse |
Bąk, Kacper Diskin, Zinovy Antkiewicz, Michał Czarnecki, Krzysztof Wąsowski, Andrzej |
| container_volume |
15 |
| class |
004 VZ 54.50$jProgrammierung: Allgemeines bkl |
| format_se |
Aufsätze |
| author-letter |
Bąk, Kacper |
| doi_str_mv |
10.1007/s10270-014-0441-1 |
| normlink |
181569876 |
| normlink_prefix_str_mv |
181569876 (DE-625)181569876 |
| dewey-full |
004 |
| title_sort |
clafer: unifying class and feature modeling |
| title_auth |
Clafer: unifying class and feature modeling |
| abstract |
Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages. © Springer-Verlag Berlin Heidelberg 2014 |
| abstractGer |
Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages. © Springer-Verlag Berlin Heidelberg 2014 |
| abstract_unstemmed |
Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages. © Springer-Verlag Berlin Heidelberg 2014 |
| collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2018 GBV_ILN_2244 GBV_ILN_4046 GBV_ILN_4277 |
| container_issue |
3 |
| title_short |
Clafer: unifying class and feature modeling |
| url |
https://doi.org/10.1007/s10270-014-0441-1 |
| remote_bool |
false |
| author2 |
Diskin, Zinovy Antkiewicz, Michał Czarnecki, Krzysztof Wąsowski, Andrzej |
| author2Str |
Diskin, Zinovy Antkiewicz, Michał Czarnecki, Krzysztof Wąsowski, Andrzej |
| ppnlink |
356568156 |
| mediatype_str_mv |
n |
| isOA_txt |
false |
| hochschulschrift_bool |
false |
| doi_str |
10.1007/s10270-014-0441-1 |
| up_date |
2024-07-03T22:47:00.312Z |
| _version_ |
1803599814664912896 |
| fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2044246678</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230502181512.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200820s2014 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s10270-014-0441-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2044246678</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s10270-014-0441-1-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.50$jProgrammierung: Allgemeines</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bąk, Kacper</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Clafer: unifying class and feature modeling</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer-Verlag Berlin Heidelberg 2014</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Language design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Feature modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">OOM</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Unification</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diskin, Zinovy</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Antkiewicz, Michał</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Czarnecki, Krzysztof</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wąsowski, Andrzej</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Software and systems modeling</subfield><subfield code="d">Springer Berlin Heidelberg, 2002</subfield><subfield code="g">15(2014), 3 vom: 13. Dez., Seite 811-845</subfield><subfield code="w">(DE-627)356568156</subfield><subfield code="w">(DE-600)2092265-6</subfield><subfield code="w">(DE-576)10203768X</subfield><subfield code="x">1619-1366</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:15</subfield><subfield code="g">year:2014</subfield><subfield code="g">number:3</subfield><subfield code="g">day:13</subfield><subfield code="g">month:12</subfield><subfield code="g">pages:811-845</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s10270-014-0441-1</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4277</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.50$jProgrammierung: Allgemeines</subfield><subfield code="q">VZ</subfield><subfield code="0">181569876</subfield><subfield code="0">(DE-625)181569876</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">15</subfield><subfield code="j">2014</subfield><subfield code="e">3</subfield><subfield code="b">13</subfield><subfield code="c">12</subfield><subfield code="h">811-845</subfield></datafield></record></collection>
|
| score |
7.4032135 |