{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:05Z","timestamp":1750220885302,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T00:00:00Z","timestamp":1602806400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,18]]},"DOI":"10.1145\/3365438.3410963","type":"proceedings-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T16:09:22Z","timestamp":1611072562000},"page":"252-262","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["\"Union is power\""],"prefix":"10.1145","author":[{"given":"Sanaa","family":"Alwidian","sequence":"first","affiliation":[{"name":"University of Ottawa, Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,16]]},"reference":[{"volume-title":"Model Based Systems Engineering: Fundamentals and Methods","author":"Micouin Patrice","key":"e_1_3_2_1_1_1","unstructured":"Patrice Micouin , 2014. Model Based Systems Engineering: Fundamentals and Methods . John Wiley & Sons . Patrice Micouin, 2014. Model Based Systems Engineering: Fundamentals and Methods. John Wiley & Sons."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30690-8_12"},{"key":"e_1_3_2_1_3_1","unstructured":"International Telecommunication Union 2018. Recommendation Z.151 (10\/18) User Requirements Notation (URN) - Language definition. October 2018. Online: https:\/\/www.itu.int\/rec\/T-REC-Z.151\/en.  International Telecommunication Union 2018. Recommendation Z.151 (10\/18) User Requirements Notation (URN) - Language definition. October 2018. Online: https:\/\/www.itu.int\/rec\/T-REC-Z.151\/en."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.6.5.747--768"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19069-3_12"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36757-1_3"},{"key":"e_1_3_2_1_7_1","unstructured":"Thorsten Berger Marsha Chechik Timo Kehrer and Manuel Wimmer. 2019. Software Evolution in Time and Space: Unifying Version and Variability Management. Report from Dagstuhl Seminar 19191 Schloss Dagstuhl --- Leibniz-Zentrum fuer Informatik.  Thorsten Berger Marsha Chechik Timo Kehrer and Manuel Wimmer. 2019. Software Evolution in Time and Space: Unifying Version and Variability Management. Report from Dagstuhl Seminar 19191 Schloss Dagstuhl --- Leibniz-Zentrum fuer Informatik."},{"volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Taentzer Gabriele","key":"e_1_3_2_1_8_1","unstructured":"Gabriele Taentzer , Ulrike Prange , Karsten Ehrigand , and Hartmut Ehrig , 2006. Fundamentals of Algebraic Graph Transformation . EATCS. Springer . Gabriele Taentzer, Ulrike Prange, Karsten Ehrigand, and Hartmut Ehrig, 2006. Fundamentals of Algebraic Graph Transformation. EATCS. Springer."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0199-7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0095-y"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30203-2_13"},{"key":"e_1_3_2_1_13_1","volume-title":"Relaxing Metamodels for Model Family Support. In 11th Workshop on Models and Evolution (ME","volume":"2019","author":"Alwidian Sanaa","year":"2017","unstructured":"Sanaa Alwidian and Daniel Amyot , 2017 . Relaxing Metamodels for Model Family Support. In 11th Workshop on Models and Evolution (ME 2017). CEUR-WS, Vol. 2019 , 64--70. Sanaa Alwidian and Daniel Amyot, 2017. Relaxing Metamodels for Model Family Support. In 11th Workshop on Models and Evolution (ME 2017). CEUR-WS, Vol. 2019, 64--70."},{"key":"e_1_3_2_1_14_1","first-page":"492","article-title":"Modeling Language Evolution for Model Family Support. In MODELS (Satellite Events)","volume":"2019","author":"Alwidian Sanaa","year":"2017","unstructured":"Sanaa Alwidian , 2017 . Modeling Language Evolution for Model Family Support. In MODELS (Satellite Events) . CEUR-WS , Vol. 2019 , 492 -- 495 . Sanaa Alwidian, 2017. Modeling Language Evolution for Model Family Support. In MODELS (Satellite Events). CEUR-WS, Vol. 2019, 492--495.","journal-title":"CEUR-WS"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00046"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566873"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2004.11.017"},{"volume-title":"Requirements engineering: From system goals to UML models to software","series-title":"Vol. 10","key":"e_1_3_2_1_18_1","unstructured":"van Lamsweerde, Axel, 2009. Requirements engineering: From system goals to UML models to software ( Vol. 10 ) . Chichester, UK : John Wiley & Sons . van Lamsweerde, Axel, 2009. Requirements engineering: From system goals to UML models to software (Vol. 10). Chichester, UK: John Wiley & Sons."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01042-3_9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/int.20433"},{"volume-title":"Non-functional requirements in software engineering","author":"Chung Lawrence","key":"e_1_3_2_1_21_1","unstructured":"Lawrence Chung , Brian A. Nixon , Eric Yu , and John Mylopoulos , 2012. Non-functional requirements in software engineering . Springer Science and Business Media (Vol 5). Lawrence Chung, Brian A. Nixon, Eric Yu, and John Mylopoulos, 2012. Non-functional requirements in software engineering. Springer Science and Business Media (Vol 5)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16373-9_5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25975-6_4"},{"key":"e_1_3_2_1_24_1","series-title":"Vol. 1","volume-title":"Optimization theory and methods: nonlinear programming","author":"Sun Wenyu","unstructured":"Wenyu Sun and Ya-Xiang Yuan , 2006. Optimization theory and methods: nonlinear programming ( Vol. 1 ) . Springer Science & Business Media . Wenyu Sun and Ya-Xiang Yuan, 2006. Optimization theory and methods: nonlinear programming (Vol. 1). Springer Science & Business Media."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2019.00034"},{"key":"e_1_3_2_1_26_1","volume-title":"IBM ILOG CPLEX Optimization Studio","author":"IBM","year":"2019","unstructured":"IBM : IBM ILOG CPLEX Optimization Studio ( 2019 ), https:\/\/www.ibm.com\/ca-en\/marketplace\/ibm-ilog-cplex. IBM: IBM ILOG CPLEX Optimization Studio (2019), https:\/\/www.ibm.com\/ca-en\/marketplace\/ibm-ilog-cplex."},{"key":"e_1_3_2_1_27_1","volume-title":"Peter Van Beek","author":"Rossi Francesca","year":"2006","unstructured":"Francesca Rossi , Peter Van Beek , and TobyWalsh (Eds.), 2006 . Handbook of constraint programming. Elsevier . Francesca Rossi, Peter Van Beek, and TobyWalsh (Eds.), 2006. Handbook of constraint programming. Elsevier."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"e_1_3_2_1_30_1","volume-title":"Gunter B\u00f6ckle and Frank J. van der Linden","author":"Pohl Klaus","year":"2005","unstructured":"Klaus Pohl , Gunter B\u00f6ckle and Frank J. van der Linden , 2005 . Software Product Line Engineering: Foundations, Principles and Techniques. Springer Science & Business Media Klaus Pohl, Gunter B\u00f6ckle and Frank J. van der Linden, 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer Science & Business Media"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"e_1_3_2_1_32_1","volume-title":"Mapping Features to Models: A Template Approach Based on Superimposed Variants","author":"Michal Antkiewicz Krzysztof Czarneckiand","year":"2005","unstructured":"Krzysztof Czarneckiand Michal Antkiewicz , 2005. Mapping Features to Models: A Template Approach Based on Superimposed Variants . In : GPCE 2005 . LNCS 3676, Springer , 422--437. Krzysztof Czarneckiand Michal Antkiewicz, 2005. Mapping Features to Models: A Template Approach Based on Superimposed Variants. In: GPCE 2005. LNCS 3676, Springer, 422--437."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648514"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Christoph Seidl and Uwe A\u00dfmann 2013. Towards Modeling and Analyzing Variability in Evolving Software Ecosystems. In VaMoS'13: Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems Article 3. ACM 1--8.  Christoph Seidl and Uwe A\u00dfmann 2013. Towards Modeling and Analyzing Variability in Evolving Software Ecosystems. In VaMoS'13: Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems Article 3. ACM 1--8.","DOI":"10.1145\/2430502.2430507"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Christop Seidl Ina Schaefer and Uwe A\u00dfmann 2014. Capturing Variability in Space and Time with Hyper Feature Models. In VaMoS'14: Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems Article 5. ACM 1--8.  Christop Seidl Ina Schaefer and Uwe A\u00dfmann 2014. Capturing Variability in Space and Time with Hyper Feature Models. In VaMoS'14: Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems Article 5. ACM 1--8.","DOI":"10.1145\/2556624.2556625"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168365.3168369"},{"key":"e_1_3_2_1_37_1","volume-title":"TimedGRL: Specifying Goal Models Over Time. In Requirements Engineering Conference Workshops (REW). IEEE, 125--134","author":"Mussbacher Gunter","year":"2016","unstructured":"Gunter Mussbacher , 2016 . TimedGRL: Specifying Goal Models Over Time. In Requirements Engineering Conference Workshops (REW). IEEE, 125--134 . Gunter Mussbacher, 2016. TimedGRL: Specifying Goal Models Over Time. In Requirements Engineering Conference Workshops (REW). IEEE, 125--134."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 9th International Workshop on Modelling in Software Engineering. IEEE Press, 26--32","author":"Luthra Sahil","year":"2017","unstructured":"Aprajita, Sahil Luthra , and Gunter Mussbacher , 2017 . Specifying evolving requirements models with TimedURN . In Proceedings of the 9th International Workshop on Modelling in Software Engineering. IEEE Press, 26--32 . Aprajita, Sahil Luthra, and Gunter Mussbacher, 2017. Specifying evolving requirements models with TimedURN. In Proceedings of the 9th International Workshop on Modelling in Software Engineering. IEEE Press, 26--32."},{"volume-title":"24th IEEE International Requirements Engineering Conference (RE). IEEE, 86--95","author":"Alicia","key":"e_1_3_2_1_39_1","unstructured":"Alicia M. Grubb and Marsha Chechik, 2016. Looking into the crystal ball: requirements evolution over time . In 24th IEEE International Requirements Engineering Conference (RE). IEEE, 86--95 . Alicia M. Grubb and Marsha Chechik, 2016. Looking into the crystal ball: requirements evolution over time. In 24th IEEE International Requirements Engineering Conference (RE). IEEE, 86--95."}],"event":{"name":"MODELS '20: ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Canada","acronym":"MODELS '20"},"container-title":["Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410963","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365438.3410963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:20Z","timestamp":1750203860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410963"}},"subtitle":["analyzing families of goal models using union models"],"short-title":[],"issued":{"date-parts":[[2020,10,16]]},"references-count":38,"alternative-id":["10.1145\/3365438.3410963","10.1145\/3365438"],"URL":"https:\/\/doi.org\/10.1145\/3365438.3410963","relation":{},"subject":[],"published":{"date-parts":[[2020,10,16]]},"assertion":[{"value":"2020-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}