{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:38:20Z","timestamp":1726043900721},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030306892"},{"type":"electronic","value":"9783030306908"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30690-8_12","type":"book-chapter","created":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T19:02:47Z","timestamp":1567969367000},"page":"200-218","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Union Models: Support for Efficient Reasoning About Model Families Over Space and Time"],"prefix":"10.1007","author":[{"given":"Sanaa","family":"Alwidian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","DOI":"10.1002\/9781118579435","volume-title":"Model Based Systems Engineering: Fundamentals and Methods","author":"P Micouin","year":"2014","unstructured":"Micouin, P.: Model Based Systems Engineering: Fundamentals and Methods. Wiley, Hoboken (2014)"},{"key":"12_CR2","unstructured":"ITU-T: Recommendation Z.151 (10\/18) User Requirements Notation (URN) \u2013 Language definition (2018). https:\/\/www.itu.int\/rec\/T-REC-Z.151\/en"},{"issue":"5","key":"12_CR3","doi-asserted-by":"publisher","first-page":"747","DOI":"10.4304\/jsw.6.5.747-768","volume":"6","author":"D Amyot","year":"2011","unstructured":"Amyot, D., Mussbacher, G.: User requirements notation: the first ten years, the next ten years. J. Softw. 6(5), 747\u2013768 (2011)","journal-title":"J. Softw."},{"key":"12_CR4","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of algebraic graph transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-47884-1_16","volume-title":"Integrated Formal Methods","author":"S Kent","year":"2002","unstructured":"Kent, S.: Model driven engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 286\u2013298. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-47884-1_16"},{"key":"12_CR6","unstructured":"Alwidian, S., Amyot, D.: Relaxing metamodels for model family support. In: 11th Workshop on Models and Evolution (ME 2017), vol. 2019, pp. 60\u201364. CEUR-WS (2017)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-36757-1_3","volume-title":"System Analysis and Modeling: Theory and Practice","author":"A Shamsaei","year":"2013","unstructured":"Shamsaei, A., et al.: An approach to specify and analyze goal model families. In: Haugen, \u00d8., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 34\u201352. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36757-1_3"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Famelis, M.: Managing design-time uncertainty in software models. Doctoral dissertation, University of Toronto, Canada (2016)","DOI":"10.1109\/MODELS.2017.24"},{"key":"12_CR9","unstructured":"NetworkX. https:\/\/networkx.github.io\/ . Accessed 05 June 2019"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"\u00abUML\u2009\u00bb\u20092003 - The Unified Modeling Language. Modeling Languages and Applications","author":"R Straeten Van Der","year":"2003","unstructured":"Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 326\u2013340. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45221-8_28"},{"key":"12_CR11","unstructured":"SATisPY Solver. https:\/\/github.com\/netom\/satispy . Accessed 15 June 2019"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Aprajita, Luthra, S., Mussbacher, G.: Specifying evolving requirements models with TimedURN. In: Proceedings of the 9th International Workshop on Modelling in Software Engineering, pp. 26\u201332. IEEE Press (2017)","DOI":"10.1109\/MiSE.2017.10"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Grubb, A.M., Chechik, M.: Modeling and reasoning with changing intentions: an experiment. In: 2017 IEEE 25th International Requirements Engineering Conference (RE), pp. 164\u2013173. IEEE CS (2017)","DOI":"10.1109\/RE.2017.19"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-319-19069-3_12","volume-title":"Advanced Information Systems Engineering","author":"A Palmieri","year":"2015","unstructured":"Palmieri, A., Collet, P., Amyot, D.: Handling regulatory goal model families as software product lines. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 181\u2013196. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19069-3_12"},{"key":"12_CR15","doi-asserted-by":"publisher","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., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/3-540-28901-1"},{"issue":"2","key":"12_CR16","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"PY Schobbens","year":"2007","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C., Bontemps, Y.: Generic semantics of feature diagrams. Comput. Netw. 51(2), 456\u2013479 (2007)","journal-title":"Comput. Netw."},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422\u2013437. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11561347_28"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Seidl, C., Schaefer, I., A\u00dfmann, U.: Integrated management of variability in space and time in software families. In: Proceedings of the 18th International Software Product Line Conference (SPLC), vol. 1, pp. 22\u201331. ACM (2014)","DOI":"10.1145\/2648511.2648514"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Lity, S., Nahrendorf, S., Th\u00fcm, T., Seidl, C., Schaefer, I.: 175% modeling for product-line evolution of domain artifacts. In: Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), pp. 27\u201334. ACM (2018)","DOI":"10.1145\/3168365.3168369"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: towards modeling and reasoning with uncertainty. In: 34th International Conference on Software Engineering (ICSE), pp. 573\u2013583. IEEE CS (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"12_CR21","unstructured":"Mussbacher, G.: TimedGRL: specifying goal models over time. In: IEEE International Requirements Engineering Conference Workshops (REW), pp. 125\u2013134. IEEE CS (2016)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Grubb, A.M., Chechik, M.: Looking into the crystal ball: requirements evolution over time. In: 24th International Requirements Engineering Conference (RE), pp. 86\u201395. IEEE CS (2016)","DOI":"10.1109\/RE.2016.45"},{"issue":"3","key":"12_CR23","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1108\/17440080910983556","volume":"5","author":"K Altmanninger","year":"2009","unstructured":"Altmanninger, K., Seidl, M., Wimmer, M.: A survey on model versioning approaches. Int. J. Web Inf. Syst. 5(3), 271\u2013304 (2009)","journal-title":"Int. J. Web Inf. Syst."},{"key":"12_CR24","unstructured":"F\u00f6rtsch, S., Westfechtel, B.: Differencing and merging of software diagrams\u2013state of the art and challenges. In: Filipe, J., Helfert, M., and Shishkov, B. (eds.) Second International Conference on Software and Data Technologies (ICSOFT), pp. 90\u201399. INSTICC Press (2007)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45221-8_2","volume-title":"\u00abUML\u2009\u00bb\u20092003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2\u201317. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45221-8_2"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30690-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,27]],"date-time":"2022-09-27T17:37:54Z","timestamp":1664300274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30690-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030306892","9783030306908"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30690-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on System Analysis and Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Munich","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sam2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sdl-forum.org\/Events\/SAM2019\/index.htm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.85","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1 keynote speaker paper","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}