{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:23Z","timestamp":1750220603850,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"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,19]]},"DOI":"10.1145\/3419804.3420272","type":"proceedings-article","created":{"date-parts":[[2020,10,18]],"date-time":"2020-10-18T10:23:21Z","timestamp":1603016601000},"page":"117-126","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Traceability Management of GRL and SysML Models"],"prefix":"10.1145","author":[{"given":"Amal Ahmed","family":"Anda","sequence":"first","affiliation":[{"name":"University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.05.028"},{"key":"e_1_3_2_1_2_1","volume-title":"SysML and KAOS for Ambient Systems Requirements Modeling. In ANT 2012 and MobiWIS 2012 (Procedia Computer Science","volume":"481","author":"Ahmad Manzoor","year":"2012","unstructured":"Manzoor Ahmad , Jean-Michel Bruel , R\u00e9gine Laleau , and Christophe Gnaho . 2012 . Using RELAX , SysML and KAOS for Ambient Systems Requirements Modeling. In ANT 2012 and MobiWIS 2012 (Procedia Computer Science , Vol. 10). Elsevier, 474-- 481 . https:\/\/doi.org\/10.1016\/j.procs.2012.06.061 10.1016\/j.procs.2012.06.061 Manzoor Ahmad, Jean-Michel Bruel, R\u00e9gine Laleau, and Christophe Gnaho. 2012. Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. In ANT 2012 and MobiWIS 2012 (Procedia Computer Science, Vol. 10). Elsevier, 474--481. https:\/\/doi.org\/10.1016\/j.procs.2012.06.061"},{"volume-title":"Conceptual Modeling","author":"Akhigbe Okhaide","key":"e_1_3_2_1_3_1","unstructured":"Okhaide Akhigbe , Mohammad Alhaj , Daniel Amyot , Omar Badreddin , Edna Braun , Nick Cartwright , Gregory Richards , and Gunter Mussbacher . 2014. Creating Quantitative Goal Models: Governmental Experience . In Conceptual Modeling , Eric Yu, Gillian Dobbie, Matthias Jarke, and Sandeep Purao (Eds.). Springer International Publishing , Cham , 466--473. Okhaide Akhigbe, Mohammad Alhaj, Daniel Amyot, Omar Badreddin, Edna Braun, Nick Cartwright, Gregory Richards, and Gunter Mussbacher. 2014. Creating Quantitative Goal Models: Governmental Experience. In Conceptual Modeling, Eric Yu, Gillian Dobbie, Matthias Jarke, and Sandeep Purao (Eds.). Springer International Publishing, Cham, 466--473."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the Ninth International i* Workshop (iStar","volume":"1674","author":"Akhigbe Okhaide","year":"2016","unstructured":"Okhaide Akhigbe , Daniel Amyot , Amal Ahmed Anda , Lysanne Lessard , and Daoyang Xiao . 2016 . Consistency Analysis for User Requirements Notation Models . In Proceedings of the Ninth International i* Workshop (iStar 2016). CEUR-WS Vol. 1674 , 43--48. Okhaide Akhigbe, Daniel Amyot, Amal Ahmed Anda, Lysanne Lessard, and Daoyang Xiao. 2016. Consistency Analysis for User Requirements Notation Models. In Proceedings of the Ninth International i* Workshop (iStar 2016). CEUR-WS Vol. 1674, 43--48."},{"key":"e_1_3_2_1_5_1","volume-title":"Towards Improved Requirements Engineering with SysML and the User Requirements Notation. In 2016 IEEE 24th International Requirements Engineering Conference (RE). IEEE CS, 329--334","author":"Amyot Daniel","year":"2016","unstructured":"Daniel Amyot , Amal A Anda , Malak Baslyman , Lysanne Lessard , and Jean-Michel Bruel . 2016 . Towards Improved Requirements Engineering with SysML and the User Requirements Notation. In 2016 IEEE 24th International Requirements Engineering Conference (RE). IEEE CS, 329--334 . https:\/\/doi.org\/10.1109\/RE.2016.58 10.1109\/RE.2016.58 Daniel Amyot, Amal A Anda, Malak Baslyman, Lysanne Lessard, and Jean-Michel Bruel. 2016. Towards Improved Requirements Engineering with SysML and the User Requirements Notation. In 2016 IEEE 24th International Requirements Engineering Conference (RE). IEEE CS, 329--334. https:\/\/doi.org\/10.1109\/RE.2016.58"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1841349.1841356"},{"volume-title":"Advances in Conceptual Modeling","author":"Amyot Daniel","key":"e_1_3_2_1_7_1","unstructured":"Daniel Amyot , Azalia Shamsaei , Jason Kealey , Etienne Tremblay , Andrew Miga , Gunter Mussbacher , Mohammad Alhaj , Rasha Tawhid , Edna Braun , and Nick Cartwright . 2012. Towards Advanced Goal Model Analysis with jUCMNav . In Advances in Conceptual Modeling . Springer Berlin Heidelberg , 201--210. Daniel Amyot, Azalia Shamsaei, Jason Kealey, Etienne Tremblay, Andrew Miga, Gunter Mussbacher, Mohammad Alhaj, Rasha Tawhid, Edna Braun, and Nick Cartwright. 2012. Towards Advanced Goal Model Analysis with jUCMNav. In Advances in Conceptual Modeling. Springer Berlin Heidelberg, 201--210."},{"key":"e_1_3_2_1_8_1","volume-title":"Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. In 27th IEEE International Requirements Engineering Conference (RE'19)","author":"Anda Amal A","year":"2019","unstructured":"Amal A Anda and Daniel Amyot . 2019 . Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. In 27th IEEE International Requirements Engineering Conference (RE'19) . IEEE CS, 245--256. Amal A Anda and Daniel Amyot. 2019. Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. In 27th IEEE International Requirements Engineering Conference (RE'19). IEEE CS, 245--256."},{"key":"e_1_3_2_1_9_1","volume-title":"An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models. In Tenth International Model-Driven Requirements Engineering Workshop (MoDRE). IEEE CS, 11--20","author":"Anda Amal Ahmed","year":"2020","unstructured":"Amal Ahmed Anda and Daniel Amyot . 2020 . An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models. In Tenth International Model-Driven Requirements Engineering Workshop (MoDRE). IEEE CS, 11--20 . Amal Ahmed Anda and Daniel Amyot. 2020. An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models. In Tenth International Model-Driven Requirements Engineering Workshop (MoDRE). IEEE CS, 11--20."},{"key":"e_1_3_2_1_10_1","unstructured":"Apache Velocity Project. 2020. Velocity Template Language. http:\/\/velocity.apache.org\/engine\/devel\/user-guide.html.  Apache Velocity Project. 2020. Velocity Template Language. http:\/\/velocity.apache.org\/engine\/devel\/user-guide.html."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387904.3389251"},{"key":"e_1_3_2_1_12_1","volume-title":"CEUR Workshop Proceedings","volume":"1731","author":"Badreddin Omar","year":"2016","unstructured":"Omar Badreddin , Vahdat Abdelzad , Timothy C Lethbridge , and Maged Elaasar . 2016 . FSysML: Foundational executable SysML for cyber-physical system modeling . In CEUR Workshop Proceedings , Vol. 1731 . 38--51. Omar Badreddin, Vahdat Abdelzad, Timothy C Lethbridge, and Maged Elaasar. 2016. FSysML: Foundational executable SysML for cyber-physical system modeling. In CEUR Workshop Proceedings, Vol. 1731. 38--51."},{"volume-title":"in practice","author":"Berenbach Brian","key":"e_1_3_2_1_13_1","unstructured":"Brian Berenbach , Daniel Paulish , Juergen Kazmeier , and Arnold Rudorfer . 2009. Software & systems requirements engineering : in practice . McGraw-Hill, Inc. Brian Berenbach, Daniel Paulish, Juergen Kazmeier, and Arnold Rudorfer. 2009. Software & systems requirements engineering: in practice. McGraw-Hill, Inc."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings - 2012 IEEE\/ACIS 11th International Conference on Computer and Information Science, ICIS 2012. 547--552","author":"Cui Xiaofeng","year":"2012","unstructured":"Xiaofeng Cui and Richard F Paige . 2012 . An integrated framework for system\/software requirements development aligning with business motivations . In Proceedings - 2012 IEEE\/ACIS 11th International Conference on Computer and Information Science, ICIS 2012. 547--552 . https:\/\/doi.org\/10.1109\/ICIS.2012.32 10.1109\/ICIS.2012.32 Xiaofeng Cui and Richard F Paige. 2012. An integrated framework for system\/software requirements development aligning with business motivations. In Proceedings - 2012 IEEE\/ACIS 11th International Conference on Computer and Information Science, ICIS 2012. 547--552. https:\/\/doi.org\/10.1109\/ICIS.2012.32"},{"key":"e_1_3_2_1_15_1","volume-title":"Amal Ahmed Anda, and Daniel Amyot","author":"Fan Yuxuan","year":"2018","unstructured":"Yuxuan Fan , Amal Ahmed Anda, and Daniel Amyot . 2018 . An Arithmetic Semantics for GRL Goal Models with Function Generation. In System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering (SAM 2018), Vol. LNCS 11150 . Springer , 144--162. Yuxuan Fan, Amal Ahmed Anda, and Daniel Amyot. 2018. An Arithmetic Semantics for GRL Goal Models with Function Generation. In System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering (SAM 2018), Vol. LNCS 11150. Springer, 144--162."},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the 10th Workshop on Requirements Engineering (WER'07)","author":"Ghanavati Sepideh","year":"2007","unstructured":"Sepideh Ghanavati , Daniel Amyot , and Liam Peyton . 2007 . A Requirements Management Framework for Privacy Compliance . In Proc. of the 10th Workshop on Requirements Engineering (WER'07) . 149--159. Sepideh Ghanavati, Daniel Amyot, and Liam Peyton. 2007. A Requirements Management Framework for Privacy Compliance. In Proc. of the 10th Workshop on Requirements Engineering (WER'07). 149--159."},{"key":"e_1_3_2_1_17_1","volume-title":"Andrea Zisman, Alexander Egyed, Paul Gr\u00fcnbacher, Alex Dekhtyar, Giuliano Antoniol, Jonathan Maletic, and Patrick M\u00e4der.","author":"Gotel Orlena","year":"2012","unstructured":"Orlena Gotel , Jane Cleland-Huang , Jane Huffman Hayes , Andrea Zisman, Alexander Egyed, Paul Gr\u00fcnbacher, Alex Dekhtyar, Giuliano Antoniol, Jonathan Maletic, and Patrick M\u00e4der. 2012 . Traceability Fundamentals. Springer London , 3--22. Orlena Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Gr\u00fcnbacher, Alex Dekhtyar, Giuliano Antoniol, Jonathan Maletic, and Patrick M\u00e4der. 2012. Traceability Fundamentals. Springer London, 3--22."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-015-0221-7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-017-0280-z"},{"key":"e_1_3_2_1_20_1","unstructured":"IBM. 2018. Rational DOORS V9.6.1. http:\/\/goo.gl\/yGWpze.  IBM. 2018. Rational DOORS V9.6.1. http:\/\/goo.gl\/yGWpze."},{"key":"e_1_3_2_1_21_1","unstructured":"IBM Knowledge Center. 2018a. IBM Rational DOORS DXL Reference Manual Release 9.5. https:\/\/goo.gl\/iJFLdV.  IBM Knowledge Center. 2018a. IBM Rational DOORS DXL Reference Manual Release 9.5. https:\/\/goo.gl\/iJFLdV."},{"key":"e_1_3_2_1_22_1","unstructured":"IBM Knowledge Center. 2018b. Rational DOORS database structure schema. https:\/\/goo.gl\/CCcLGX.  IBM Knowledge Center. 2018b. Rational DOORS database structure schema. https:\/\/goo.gl\/CCcLGX."},{"key":"e_1_3_2_1_23_1","unstructured":"Informatics Research Institute of Toulouse. 2018. SM@RT Team. https:\/\/www.irit.fr\/en\/departement\/dep-reliability-systems-and-software\/smrt-team\/.  Informatics Research Institute of Toulouse. 2018. SM@RT Team. https:\/\/www.irit.fr\/en\/departement\/dep-reliability-systems-and-software\/smrt-team\/."},{"key":"e_1_3_2_1_24_1","unstructured":"ITU-T. 2018. Recommendation Z.151 (10\/18): User Requirements Notation (URN) - Language Definition. http:\/\/www.itu.int\/rec\/T-REC-Z.151\/en.  ITU-T. 2018. Recommendation Z.151 (10\/18): User Requirements Notation (URN) - Language Definition. http:\/\/www.itu.int\/rec\/T-REC-Z.151\/en."},{"key":"e_1_3_2_1_25_1","unstructured":"ITU-T. 2019. Recommendation Z.100 (10\/19): Specification and Description Language - Overview of SDL-2010. http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en.  ITU-T. 2019. Recommendation Z.100 (10\/19): Specification and Description Language - Overview of SDL-2010. http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en."},{"key":"e_1_3_2_1_26_1","unstructured":"No Magic Inc. 2019. Cameo Systems Modeler. https:\/\/www.nomagic.com\/products\/cameo-systems-modeler#resources.  No Magic Inc. 2019. Cameo Systems Modeler. https:\/\/www.nomagic.com\/products\/cameo-systems-modeler#resources."},{"key":"e_1_3_2_1_27_1","unstructured":"OMG. 2015. Business Motivation Model (BMM) version 1.3. https:\/\/www.omg.org\/spec\/BMM\/1.3\/.  OMG. 2015. Business Motivation Model (BMM) version 1.3. https:\/\/www.omg.org\/spec\/BMM\/1.3\/."},{"volume-title":"Systems Modeling Language (SysML) v2 Request For Proposal (RFP)","author":"OMG.","key":"e_1_3_2_1_28_1","unstructured":"OMG. 2017a. Systems Modeling Language (SysML) v2 Request For Proposal (RFP) . http:\/\/www.omg.org\/cgi-bin\/doc.cgi?ad\/2017-12-2. OMG. 2017a. Systems Modeling Language (SysML) v2 Request For Proposal (RFP). http:\/\/www.omg.org\/cgi-bin\/doc.cgi?ad\/2017-12-2."},{"key":"e_1_3_2_1_29_1","unstructured":"OMG. 2017b. Unified Modeling Language (UML) version 2.5.1. https:\/\/www.omg.org\/spec\/UML\/2.5.1.  OMG. 2017b. Unified Modeling Language (UML) version 2.5.1. https:\/\/www.omg.org\/spec\/UML\/2.5.1."},{"key":"e_1_3_2_1_30_1","unstructured":"OMG. 2019. Systems Modeling Language (SysML) v1.6. https:\/\/www.omg.org\/spec\/SysML\/1.6\/.  OMG. 2019. Systems Modeling Language (SysML) v1.6. https:\/\/www.omg.org\/spec\/SysML\/1.6\/."},{"key":"e_1_3_2_1_31_1","unstructured":"OSLC. 2018. Open Services Lifecycle Collaboration. https:\/\/open-services.net\/specifications\/.  OSLC. 2018. Open Services Lifecycle Collaboration. https:\/\/open-services.net\/specifications\/."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/MoDRE.2014.6890824"},{"volume-title":"Requirements engineering: From system goals to UML models to software","author":"van Lamsweerde Axel","key":"e_1_3_2_1_33_1","unstructured":"Axel van Lamsweerde . 2009. Requirements engineering: From system goals to UML models to software . Vol. 10 . Chichester, UK : John Wiley & Sons . Axel van Lamsweerde. 2009. Requirements engineering: From system goals to UML models to software. Vol. 10. Chichester, UK: John Wiley & Sons."},{"key":"e_1_3_2_1_34_1","volume-title":"Inforsid","author":"Wanderley Fernando","year":"2014","unstructured":"Fernando Wanderley , Nicolas Belloir , Jean-Michel Bruel , Nabil Hameurlain , and Jo\u00e3o Ara\u00fajo . 2014. Des buts \u00e0 la mod\u00e9lisation syst\u00e8me: une approche de mod\u00e9lisation des exigences centr\u00e9e utilisateur . In Inforsid 2014 . Herm\u00e8s , 113--128. Fernando Wanderley, Nicolas Belloir, Jean-Michel Bruel, Nabil Hameurlain, and Jo\u00e3o Ara\u00fajo. 2014. Des buts \u00e0 la mod\u00e9lisation syst\u00e8me: une approche de mod\u00e9lisation des exigences centr\u00e9e utilisateur. In Inforsid 2014. Herm\u00e8s, 113--128."},{"volume-title":"Transactions on","author":"Welsh Kris","key":"e_1_3_2_1_35_1","unstructured":"Kris Welsh , Nelly Bencomo , Pete Sawyer , and Jon Whittle . 2014. Self-explanation in adaptive systems based on runtime goal-based models . In Transactions on Computational Collective Intelligence XVI. Springer , 122--145. Kris Welsh, Nelly Bencomo, Pete Sawyer, and Jon Whittle. 2014. Self-explanation in adaptive systems based on runtime goal-based models. In Transactions on Computational Collective Intelligence XVI. Springer, 122--145."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0101-0"}],"event":{"name":"SAM '20: 12th System Analysis and Modelling Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Canada","acronym":"SAM '20"},"container-title":["Proceedings of the 12th System Analysis and Modelling Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419804.3420272","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3419804.3420272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:32:03Z","timestamp":1750195923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419804.3420272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":36,"alternative-id":["10.1145\/3419804.3420272","10.1145\/3419804"],"URL":"https:\/\/doi.org\/10.1145\/3419804.3420272","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}