{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:37Z","timestamp":1750308817277,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T00:00:00Z","timestamp":1276560000000},"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":[[2010,6,15]]},"DOI":"10.1145\/1814392.1814398","type":"proceedings-article","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T13:11:04Z","timestamp":1276607464000},"page":"39-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Tool support for generation and validation of traces between requirements and architecture"],"prefix":"10.1145","author":[{"given":"Arda","family":"Goknil","sequence":"first","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Kurtev","sequence":"additional","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaas","family":"van den Berg","sequence":"additional","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"17","article-title":"Enabling the Refinement of a Software Architecture into a Design. In: UML'99","volume":"1723","author":"Abi-Antoun M.","year":"1999","journal-title":"LNCS"},{"key":"e_1_3_2_1_2_1","unstructured":"Architecture Design and Analysis Language (AADL). http:\/\/www.aadl.info. Accessed 05 January 2010.  Architecture Design and Analysis Language (AADL). http:\/\/www.aadl.info. Accessed 05 January 2010."},{"key":"e_1_3_2_1_3_1","unstructured":"Baier C. and Katoen J. P. 2008. Principles of Model Checking. MIT Press.   Baier C. and Katoen J. P. 2008. Principles of Model Checking. MIT Press."},{"key":"e_1_3_2_1_4_1","first-page":"263","article-title":"Traceability and Interoperability at Different Levels of Abstraction in Model-Driven Engineering. In","volume":"2005","author":"Bonde L.","year":"2005","journal-title":"FDL"},{"key":"e_1_3_2_1_5_1","unstructured":"Ciraci S. 2009. Graph based Verification of Software Evolution Requirements. PhD thesis Univ. of Twente. CTIT Ph.D.-thesis series No. 09-162 ISBN 978-90-365-2956-3  Ciraci S. 2009. Graph based Verification of Software Evolution Requirements. PhD thesis Univ. of Twente. CTIT Ph.D.-thesis series No. 09-162 ISBN 978-90-365-2956-3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"volume":"4350","volume-title":"Lecture Notes in Computer Science","author":"Clavel M.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","first-page":"95","volume-title":"Requirements Interdependencies: State of the Art and Future Challenges","author":"Dahlstedt A. G.","year":"2005"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194005002464"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178051"},{"key":"e_1_3_2_1_11_1","unstructured":"Egyed A. 2000. Automatically Validating Model Consistency during Refinement. Technical report Center for Software Engineering University of Southern California.  Egyed A. 2000. Automatically Validating Model Consistency during Refinement. Technical report Center for Software Engineering University of Southern California."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Goknil A. Kurtev I. van den Berg K. and Veldhuis J. W. 2009. Semantics of Trace Relations in Requirements Models for Consistency Checking and Inferencing. Theme Issue on Traceability Software and System Modeling Journal.  Goknil A. Kurtev I. van den Berg K. and Veldhuis J. W. 2009. Semantics of Trace Relations in Requirements Models for Consistency Checking and Inferencing. Theme Issue on Traceability Software and System Modeling Journal.","DOI":"10.1007\/s10270-009-0142-3"},{"key":"e_1_3_2_1_14_1","first-page":"94","volume-title":"In: RE'94","author":"Gotel O. C. Z.","year":"1994"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287640"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31959-7_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_14"},{"volume-title":"DOA'2002 Federated Conferences, Industrial track, Irvine.","author":"Kurtev I.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","unstructured":"Looman S. A. M. 2009. Impact Analysis of Changes in Functional Requirements in the Behavioral View of Software Architectures. M.Sc. Thesis University of Twente.  Looman S. A. M. 2009. Impact Analysis of Changes in Functional Requirements in the Behavioral View of Software Architectures. M.Sc. Thesis University of Twente."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_13"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.1060.0552"},{"key":"e_1_3_2_1_23_1","unstructured":"Moment2-AADL. http:\/\/www.cs.le.ac.uk\/people\/aboronat\/tools\/moment2-aadl\/  Moment2-AADL. http:\/\/www.cs.le.ac.uk\/people\/aboronat\/tools\/moment2-aadl\/"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222136"},{"key":"e_1_3_2_1_25_1","unstructured":"OMG\n\n  \n  : Semantics of Business Vocabulary and Rules (SBVR). OMG Standard v. 1.0.  OMG: Semantics of Business Vocabulary and Rules (SBVR). OMG Standard v. 1.0."},{"key":"e_1_3_2_1_26_1","unstructured":"OMG\n\n  \n  : SysML Specification. OMG ptc\/06-05-04 http:\/\/www.sysml.org\/specs.htm. Accessed 05 January 2010  OMG: SysML Specification. OMG ptc\/06-05-04 http:\/\/www.sysml.org\/specs.htm. Accessed 05 January 2010"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"\u00d6lveczky P. C. Boronat A. Mesequer J. and Pek E. 2010. Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. Technical Report at UIUC (to appear).  \u00d6lveczky P. C. Boronat A. Mesequer J. and Pek E. 2010. Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. Technical Report at UIUC (to appear).","DOI":"10.1007\/978-3-642-13464-7_5"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.43"},{"key":"e_1_3_2_1_29_1","first-page":"54","volume-title":"Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. In: SLE","author":"Rivera E. J.","year":"2008"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Schwarz H. Ebert J. and Winter A. 2009. Graph-based Traceability: a Comprehensive Approach. Theme Issue on Traceability Software and System Modeling Journal.  Schwarz H. Ebert J. and Winter A. 2009. Graph-based Traceability: a Comprehensive Approach. Theme Issue on Traceability Software and System Modeling Journal.","DOI":"10.1007\/s10270-009-0141-4"},{"key":"e_1_3_2_1_31_1","unstructured":"http:\/\/www.aptest.com\/glossary.html#S  http:\/\/www.aptest.com\/glossary.html#S"}],"event":{"name":"ECMFA-TW '10: 6th ECMFA Traceability Workshop","acronym":"ECMFA-TW '10","location":"Paris France"},"container-title":["Proceedings of the 6th ECMFA Traceability Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1814392.1814398","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1814392.1814398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:33Z","timestamp":1750278393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1814392.1814398"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,15]]},"references-count":30,"alternative-id":["10.1145\/1814392.1814398","10.1145\/1814392"],"URL":"https:\/\/doi.org\/10.1145\/1814392.1814398","relation":{},"subject":[],"published":{"date-parts":[[2010,6,15]]},"assertion":[{"value":"2010-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}