{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T18:24:12Z","timestamp":1775845452690,"version":"3.50.1"},"reference-count":67,"publisher":"World Scientific Pub Co Pte Lt","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2020,10]]},"abstract":"<jats:p> This paper introduces a mechanism to recover traceability links between the requirements and logical models in the context of critical systems development. Currently, lifecycle processes are covered by a good number of tools that are used to generate different types of artifacts. One of the cornerstone capabilities in the development of critical systems lies in the possibility of automatically recovery traceability links between system artifacts generated in different lifecycle stages. To do so, it is necessary to establish to what extent two or more of these work products are similar, dependent or should be explicitly linked together. However, the different types of artifacts and their internal representation depict a major challenge to unify how system artifacts are represented and, then, linked together. That is why, in this work, a concept-based representation is introduced to provide a semantic and unified description of any system artifact. Furthermore, a traceability function is defined and implemented to exploit this new semantic representation and to support the recovery of traceability links between different types of system artifacts. In order to evaluate the traceability function, a case study in the railway domain is conducted to compare the precision and recall of recovery traceability links between text-based requirements and logical model elements. As the main outcome of this work, the use of a concept-based paradigm to represent that system artifacts are demonstrated as a building block to automatically recover traceability links within the development lifecycle of critical systems. <\/jats:p>","DOI":"10.1142\/s0218194020400197","type":"journal-article","created":{"date-parts":[[2020,11,9]],"date-time":"2020-11-09T08:20:42Z","timestamp":1604910042000},"page":"1415-1442","source":"Crossref","is-referenced-by-count":4,"title":["Semantic Recovery of Traceability Links between System Artifacts"],"prefix":"10.1142","volume":"30","author":[{"given":"Jose Mar\u00eda","family":"Alvarez-Rodr\u00edguez","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Carlos III University of Madrid, Avd. Universidad 30, Legan\u00e9s, Madrid 28911, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"Mendieta","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Carlos III University of Madrid, Avd. Universidad 30, Legan\u00e9s, Madrid 28911, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valent\u00edn","family":"Moreno","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Carlos III University of Madrid, Avd. Universidad 30, Legan\u00e9s, Madrid 28911, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"S\u00e1nchez-Puebla","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Carlos III University of Madrid, Avd. Universidad 30, Legan\u00e9s, Madrid 28911, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Llorens","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Carlos III University of Madrid, Avd. Universidad 30, Legan\u00e9s, Madrid 28911, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2020,11,9]]},"reference":[{"key":"S0218194020400197BIB001","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.csi.2016.10.002","volume":"50","author":"de la Vara J. L.","year":"2017","journal-title":"Comput. Stand. Interfaces"},{"issue":"5","key":"S0218194020400197BIB002","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/MS.2018.3571228","volume":"35","author":"Ebert C.","year":"2018","journal-title":"IEEE Softw."},{"key":"S0218194020400197BIB003","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/11877028_2","volume-title":"Generative and Transformational Techniques in Software Engineering","volume":"4143","author":"B\u00e9zivin J.","year":"2006"},{"key":"S0218194020400197BIB004","doi-asserted-by":"crossref","DOI":"10.1007\/11787044","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","volume":"4066","author":"Rensink A.","year":"2006"},{"key":"S0218194020400197BIB005","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-540-30554-5_14","volume-title":"Object-Oriented Technology, ECOOP 2004 Workshop Reader","volume":"3344","author":"Aagedal J. \u00d8.","year":"2005"},{"key":"S0218194020400197BIB007","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-1-4471-2239-5_16","volume-title":"Software and Systems Traceability","author":"Gotel O.","year":"2012"},{"key":"S0218194020400197BIB008","volume-title":"ECMDA Traceability Workshop Proc.","author":"Lim\u00f3n A. E.","year":"2005"},{"key":"S0218194020400197BIB009","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/ICRE.1994.292398","volume-title":"Proc. First Int. Conf. Requirements Engineering","author":"Gotel O. C.","year":"1994"},{"key":"S0218194020400197BIB010","volume-title":"Systems Engineering Handbook. A Guide for System Life Cycle Processes and Activities","volume":"2003","author":"Haskins C.","year":"2011"},{"issue":"1","key":"S0218194020400197BIB011","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1002\/j.2334-5837.2015.00046.x","volume":"25","author":"Alvarez-Rodr\u00edguez J. M.","year":"2015","journal-title":"INCOSE Int. Symp."},{"key":"S0218194020400197BIB013","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/j.eswa.2017.03.010","volume":"80","author":"Enr\u00edquez J. G.","year":"2017","journal-title":"Expert Syst. Appl."},{"key":"S0218194020400197BIB014","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1107656.1107665","volume-title":"Proc. 3rd Int. Workshop on Traceability in Emerging Forms of Software Engineering","author":"Lormans M.","year":"2005"},{"issue":"6","key":"S0218194020400197BIB016","volume":"10","author":"Casta\u00f1eda V.","year":"2010","journal-title":"Glob. J. Eng. Res."},{"issue":"7","key":"S0218194020400197BIB017","doi-asserted-by":"crossref","first-page":"2530","DOI":"10.1016\/j.eswa.2012.10.067","volume":"40","author":"Ittoo A.","year":"2013","journal-title":"Expert Syst. Appl."},{"issue":"2","key":"S0218194020400197BIB018","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"Gruber T. R.","year":"1993","journal-title":"Knowl. Acquis."},{"issue":"5","key":"S0218194020400197BIB019","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1006\/ijhc.1995.1066","volume":"43","author":"Guarino N.","year":"1995","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"S0218194020400197BIB020","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-3-540-44405-3_8","volume-title":"Soft Computing in Software Engineering","volume":"159","author":"Llorens J.","year":"2004"},{"key":"S0218194020400197BIB022","first-page":"64","volume-title":"31st Int. Conf. Software Engineering and Knowledge Engineering","author":"\u00c1lvarez-Rodr\u00edguez J. M.","year":"2019"},{"key":"S0218194020400197BIB023","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84996-405-0","volume-title":"Requirements Engineering","author":"Hull M. E. C.","year":"2011","edition":"3"},{"key":"S0218194020400197BIB027","first-page":"1","volume-title":"NATO Science for Peace and Security Series-D: Information and Communication and Security","author":"Manfred B.","year":"2013"},{"key":"S0218194020400197BIB028","first-page":"27","volume-title":"Proc. 3rd European Conf. Model Driven Architecture\u00ae Foundations and Applications","author":"Albinet A.","year":"2007"},{"issue":"4","key":"S0218194020400197BIB029","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/s10270-009-0145-0","volume":"9","author":"Winkler S.","year":"2010","journal-title":"Softw. Syst. Model."},{"key":"S0218194020400197BIB030","first-page":"8","volume-title":"12th Asia-Pacific Software Engineering Conf.","author":"Mason P.","year":"2005"},{"key":"S0218194020400197BIB031","first-page":"31","volume-title":"Proc. KDD-2004 Workshop on Multi-Relational Data Mining","author":"Domingos P.","year":"2004"},{"key":"S0218194020400197BIB032","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.websem.2013.05.004","volume":"21","author":"Ferrara A.","year":"2013","journal-title":"J. Web Semant."},{"key":"S0218194020400197BIB033","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.websem.2011.11.002","volume":"10","author":"Hogan A.","year":"2012","journal-title":"J. Web Semant."},{"issue":"1","key":"S0218194020400197BIB034","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TKDE.2007.250581","volume":"19","author":"Elmagarmid A. K.","year":"2007","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"S0218194020400197BIB036","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-642-38288-8_24","volume-title":"The Semantic Web: Semantics and Big Data","author":"Gangemi A.","year":"2013"},{"key":"S0218194020400197BIB037","first-page":"450","volume-title":"Proc. Seventeenth National Conf. Artificial Intelligence and Twelfth Conf. Innovative Applications of Artificial Intelligence","author":"Noy N. F.","year":"2000"},{"key":"S0218194020400197BIB038","first-page":"180","volume-title":"Advanced Information Systems Engineering","author":"Stoermer H.","year":"2010"},{"key":"S0218194020400197BIB039","first-page":"267","volume-title":"Proc. 1st Int. Conf. Signal-Image Technology and Internet-Based Systems","author":"Scharffe F.","year":"2005"},{"issue":"11","key":"S0218194020400197BIB040","first-page":"1576","volume":"18","author":"Garc\u00eda-Rodr\u00edguez M.","year":"2012","journal-title":"J. Univers. Comput. Sci."},{"issue":"8","key":"S0218194020400197BIB041","doi-asserted-by":"crossref","first-page":"1218","DOI":"10.1109\/TKDE.2008.202","volume":"21","author":"Li J.","year":"2009","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"S0218194020400197BIB042","first-page":"142","volume-title":"Proc. 5th Int. Workshop on Ontology Matching","author":"Noessner J.","year":"2010"},{"key":"S0218194020400197BIB043","first-page":"2312","volume-title":"Proc. Twenty-Second Int. Joint Conf. Artificial Intelligence","author":"Ngomo A.-C. N.","year":"2011"},{"key":"S0218194020400197BIB044","volume-title":"Proc. First Int. Workshop on Consuming Linked Data","author":"Isele R.","year":"2010"},{"key":"S0218194020400197BIB045","first-page":"25","volume-title":"WebDB","author":"Ara\u00fajo S.","year":"2012"},{"key":"S0218194020400197BIB046","volume-title":"LDOW","volume":"813","author":"Maali F.","year":"2011"},{"key":"S0218194020400197BIB047","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1016\/j.chb.2013.07.046","volume":"30","author":"Alvarez-Rodr\u00edguez J. M.","year":"2014","journal-title":"Comput. Hum. Behav."},{"key":"S0218194020400197BIB048","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-319-03437-9_31","volume-title":"Metadata and Semantics Research","volume":"390","author":"Alvarez-Rodr\u00edguez J.","year":"2013"},{"key":"S0218194020400197BIB049","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/j.websem.2013.05.005","volume":"21","author":"Blanco R.","year":"2013","journal-title":"J. Web Semant."},{"key":"S0218194020400197BIB050","first-page":"33","volume-title":"The Semantic Web, 12th Int. Semantic Web Conf. Proc., Part II","author":"Blanco R.","year":"2013"},{"issue":"17","key":"S0218194020400197BIB051","doi-asserted-by":"crossref","first-page":"6735","DOI":"10.1016\/j.eswa.2013.06.032","volume":"40","author":"Montes-Garc\u00eda A.","year":"2013","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"S0218194020400197BIB052","doi-asserted-by":"crossref","first-page":"29","DOI":"10.2298\/CSIS130129019C","volume":"11","author":"Palacios R. C.","year":"2014","journal-title":"Comput. Sci. Inf. Syst."},{"issue":"2","key":"S0218194020400197BIB053","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1080\/10494820.2012.745430","volume":"22","author":"Palacios R. C.","year":"2014","journal-title":"Inter. Learn. Environ."},{"key":"S0218194020400197BIB055","first-page":"117","volume-title":"Proc. Third New Zealand Computer Science Research Students\u2019 Conf.","author":"Yeates S.","year":"1999"},{"key":"S0218194020400197BIB056","first-page":"485","volume-title":"Proc. 2004 IEEE\/WIC\/ACM Int. Conf. Web Intelligence","author":"Ratinov L.","year":"2004"},{"key":"S0218194020400197BIB057","first-page":"62","volume-title":"Proc. ACL Workshop on Effective Tools and Methodologies for Teaching Natural Language Processing and Computational Linguistics","author":"Loper E.","year":"2002"},{"key":"S0218194020400197BIB058","volume-title":"Text Processing with Java 6","volume":"1","author":"Bob Carpenter B. B. M. M.","year":"2012"},{"issue":"4","key":"S0218194020400197BIB060","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10579-013-9215-6","volume":"47","author":"Bontcheva K.","year":"2013","journal-title":"Lang. Res. Eval."},{"issue":"1","key":"S0218194020400197BIB061","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s10994-012-5279-6","volume":"88","author":"Read J.","year":"2012","journal-title":"Mach. Learn."},{"key":"S0218194020400197BIB062","volume-title":"Apache Solr 3 Enterprise Search Server","author":"Smiley D.","year":"2011"},{"key":"S0218194020400197BIB063","first-page":"721","volume-title":"Proc. 35th Int. ACM SIGIR Conf. Research and Development in Information Retrieval","author":"Li C.","year":"2012"},{"key":"S0218194020400197BIB064","doi-asserted-by":"crossref","first-page":"18","DOI":"10.3115\/1667884.1667888","volume-title":"Proc. ACL-IJCNLP 2009 Student Research Workshop","author":"Wang Y.","year":"2009"},{"issue":"2","key":"S0218194020400197BIB065","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/s11192-006-0156-3","volume":"69","author":"Galvez C.","year":"2006","journal-title":"Scientometrics"},{"issue":"1","key":"S0218194020400197BIB066","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s11192-012-0733-6","volume":"94","author":"Morillo F.","year":"2013","journal-title":"Scientometrics"},{"issue":"1","key":"S0218194020400197BIB067","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/j.csi.2012.02.004","volume":"35","author":"Mahmood T.","year":"2013","journal-title":"Comput. Stand. Interfaces"},{"issue":"1","key":"S0218194020400197BIB068","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1108\/00220411211200301","volume":"68","author":"Galvez C.","year":"2012","journal-title":"J. Doc."},{"issue":"1","key":"S0218194020400197BIB069","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1075\/li.30.1.03nad","volume":"30","author":"Nadeau D.","year":"2007","journal-title":"Lingvisticae Investig."},{"issue":"2","key":"S0218194020400197BIB070","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.datak.2009.10.003","volume":"69","author":"K\u00f6pcke H.","year":"2010","journal-title":"Data Knowl. Eng."},{"key":"S0218194020400197BIB071","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/j.datak.2013.08.004","volume":"88","author":"Ittoo A.","year":"2013","journal-title":"Data Knowl. Eng."},{"issue":"4","key":"S0218194020400197BIB072","doi-asserted-by":"crossref","first-page":"1251","DOI":"10.1021\/ci030463z","volume":"44","author":"Sheik S.","year":"2004","journal-title":"J. Chem. Inf. Comput. Sci."},{"issue":"2","key":"S0218194020400197BIB073","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/2431211.2431212","volume":"45","author":"Faro S.","year":"2013","journal-title":"ACM Comput. Surv."},{"key":"S0218194020400197BIB074","first-page":"73","volume-title":"KDD Workshop on Data Cleaning and Object Consolidation","volume":"3","author":"Cohen W.","year":"2003"},{"key":"S0218194020400197BIB075","first-page":"147","volume-title":"Computational Science and Its Applications","author":"Pandey K. L.","year":"2012"},{"key":"S0218194020400197BIB076","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/956750.956759","volume-title":"Proc. Ninth ACM SIGKDD Int. Conf. Knowledge Discovery and Data Mining","author":"Bilenko M.","year":"2003"},{"key":"S0218194020400197BIB077","first-page":"135","volume-title":"Proc. Enterprise Modelling and Information Systems Architectures Workshop","author":"Christ F.","year":"2011"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194020400197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,9]],"date-time":"2020-11-09T08:23:05Z","timestamp":1604910185000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194020400197"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":67,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["10.1142\/S0218194020400197"],"URL":"https:\/\/doi.org\/10.1142\/s0218194020400197","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,10]]}}}