{"id":"https://openalex.org/W2118824637","doi":"https://doi.org/10.1007/s10270-009-0142-3","title":"Semantics of trace relations in requirements models for consistency checking and inferencing","display_name":"Semantics of trace relations in requirements models for consistency checking and inferencing","publication_year":2009,"publication_date":"2009-12-12","ids":{"openalex":"https://openalex.org/W2118824637","doi":"https://doi.org/10.1007/s10270-009-0142-3","mag":"2118824637"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-009-0142-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-009-0142-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-009-0142-3.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-009-0142-3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087161990","display_name":"Arda G\u00f6knil","orcid":"https://orcid.org/0000-0002-2170-2066"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Arda Goknil","raw_affiliation_strings":["Software Engineering Group, University of Twente, 7500 AE, Enschede, The Netherlands","Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE"],"affiliations":[{"raw_affiliation_string":"Software Engineering Group, University of Twente, 7500 AE, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069667591","display_name":"Ivan Kurtev","orcid":"https://orcid.org/0009-0003-3783-405X"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ivan Kurtev","raw_affiliation_strings":["Software Engineering Group, University of Twente, 7500 AE, Enschede, The Netherlands","Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE"],"affiliations":[{"raw_affiliation_string":"Software Engineering Group, University of Twente, 7500 AE, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104561837","display_name":"Klaas van den Berg","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Klaas van den Berg","raw_affiliation_strings":["Software Engineering Group, University of Twente, 7500 AE, Enschede, The Netherlands","Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE"],"affiliations":[{"raw_affiliation_string":"Software Engineering Group, University of Twente, 7500 AE, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004267069","display_name":"J. Veldhuis","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan-Willem Veldhuis","raw_affiliation_strings":["Software Engineering Group, University of Twente, 7500 AE, Enschede, The Netherlands","Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE"],"affiliations":[{"raw_affiliation_string":"Software Engineering Group, University of Twente, 7500 AE, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Software Engineering Group, University of Twente, Enschede, The Netherlands 7500 AE","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5087161990"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":7.2081,"has_fulltext":true,"cited_by_count":70,"citation_normalized_percentile":{"value":0.97021662,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"10","issue":"1","first_page":"31","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7763913869857788},{"id":"https://openalex.org/keywords/requirements-traceability","display_name":"Requirements traceability","score":0.6250801086425781},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.5957328081130981},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5695922374725342},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.5379109978675842},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5107088685035706},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5084409117698669},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5077894330024719},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.4744102656841278},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.45874911546707153},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4490375220775604},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4389719069004059},{"id":"https://openalex.org/keywords/non-functional-requirement","display_name":"Non-functional requirement","score":0.4281649887561798},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.42699113488197327},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.424239844083786},{"id":"https://openalex.org/keywords/requirement","display_name":"Requirement","score":0.29135504364967346},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.28603196144104004},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2339605987071991},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22002169489860535},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.1729443371295929}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7763913869857788},{"id":"https://openalex.org/C35084680","wikidata":"https://www.wikidata.org/wiki/Q848201","display_name":"Requirements traceability","level":5,"score":0.6250801086425781},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.5957328081130981},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5695922374725342},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.5379109978675842},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5107088685035706},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5084409117698669},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5077894330024719},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.4744102656841278},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.45874911546707153},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4490375220775604},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4389719069004059},{"id":"https://openalex.org/C199747065","wikidata":"https://www.wikidata.org/wiki/Q3254666","display_name":"Non-functional requirement","level":5,"score":0.4281649887561798},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.42699113488197327},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.424239844083786},{"id":"https://openalex.org/C135475081","wikidata":"https://www.wikidata.org/wiki/Q774228","display_name":"Requirement","level":4,"score":0.29135504364967346},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.28603196144104004},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2339605987071991},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22002169489860535},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.1729443371295929},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10270-009-0142-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-009-0142-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-009-0142-3.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/255792c6-98f2-4469-b94c-dc9a5d524b6d","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/255792c6-98f2-4469-b94c-dc9a5d524b6d","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"G\u00f6knil, A, Kurtev, I, van den Berg, K & Veldhuis, J-W 2009, 'Semantics of trace relations in requirements models for consistency checking and inferencing', Software and systems modeling, vol. 10, no. 1, pp. 31-54. https://doi.org/10.1007/s10270-009-0142-3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:orbilu.uni.lu:10993/12556","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/12556","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":{"id":"doi:10.1007/s10270-009-0142-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-009-0142-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-009-0142-3.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software & Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2118824637.pdf","grobid_xml":"https://content.openalex.org/works/W2118824637.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W5287056","https://openalex.org/W23650822","https://openalex.org/W27703676","https://openalex.org/W54185166","https://openalex.org/W59872548","https://openalex.org/W84082018","https://openalex.org/W1494244595","https://openalex.org/W1503079926","https://openalex.org/W1514320565","https://openalex.org/W1517854496","https://openalex.org/W1540777452","https://openalex.org/W1543262385","https://openalex.org/W1579391008","https://openalex.org/W1679534293","https://openalex.org/W1727374591","https://openalex.org/W1968128450","https://openalex.org/W1992036716","https://openalex.org/W2045895677","https://openalex.org/W2051028605","https://openalex.org/W2080019998","https://openalex.org/W2085288146","https://openalex.org/W2099944466","https://openalex.org/W2100742239","https://openalex.org/W2102841898","https://openalex.org/W2105603754","https://openalex.org/W2110537096","https://openalex.org/W2113445838","https://openalex.org/W2116233866","https://openalex.org/W2117870171","https://openalex.org/W2125708466","https://openalex.org/W2126381465","https://openalex.org/W2129559874","https://openalex.org/W2134866950","https://openalex.org/W2139598346","https://openalex.org/W2141990385","https://openalex.org/W2151451947","https://openalex.org/W2153311568","https://openalex.org/W2153860654","https://openalex.org/W2160616386","https://openalex.org/W2160665019","https://openalex.org/W2162100845","https://openalex.org/W2171627300","https://openalex.org/W2221991655","https://openalex.org/W2339478394","https://openalex.org/W2969449755","https://openalex.org/W4253580407","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2472769502","https://openalex.org/W2784612557","https://openalex.org/W2095622719","https://openalex.org/W2040710109","https://openalex.org/W1617997706","https://openalex.org/W2398544379","https://openalex.org/W2574990557","https://openalex.org/W4312088578","https://openalex.org/W4296940279","https://openalex.org/W2566533024"],"abstract_inverted_index":{"Requirements":[0],"traceability":[1],"is":[2,71,123],"the":[3,97,121,133,165,198],"ability":[4],"to":[5,9,13,27,41,102,150,174,183],"relate":[6],"requirements":[7,29,43,49,78,106,111,181,189],"back":[8],"stakeholders":[10],"and":[11,18,33,62,68,140,177],"forward":[12,32],"corresponding":[14],"design":[15],"artifacts,":[16],"code,":[17],"test":[19],"cases.":[20],"Although":[21],"considerable":[22],"research":[23],"has":[24,38,147],"been":[25,39,148],"devoted":[26],"relating":[28,42],"in":[30,100,128,159,180,201],"both":[31,152],"backward":[34],"directions,":[35],"less":[36],"attention":[37],"paid":[40],"with":[44,113,125],"other":[45,202],"requirements.":[46,212],"Relations":[47],"between":[48,211],"influence":[50],"a":[51,72,110,126],"number":[52],"of":[53,74,77,96,120,138,168,188,197,209],"activities":[54],"during":[55],"software":[56],"development":[57],"such":[58],"as":[59],"consistency":[60,136],"checking":[61,137],"change":[63],"management.":[64],"In":[65,80,88],"most":[66],"approaches":[67],"tools,":[69],"there":[70],"lack":[73],"precise":[75],"definition":[76],"relations.":[79,107,144],"this":[81,89],"respect,":[82],"deficient":[83],"results":[84],"may":[85],"be":[86,175,184],"produced.":[87],"paper,":[90],"we":[91],"aim":[92],"at":[93],"formal":[94,166,193],"definitions":[95],"relation":[98,116,169],"types":[99,170],"order":[101],"enable":[103],"reasoning":[104,153,190],"about":[105],"We":[108,131,155],"give":[109],"metamodel":[112],"commonly":[114],"used":[115],"types.":[117],"The":[118,186],"semantics":[119,167,194],"relations":[122,139,173,179],"provided":[124],"formalization":[127,134],"first-order":[129],"logic.":[130],"use":[132],"for":[135,141],"inferring":[142],"new":[143,172],"A":[145],"tool":[146,205],"built":[149],"support":[151],"activities.":[154],"illustrate":[156],"our":[157],"approach":[158],"an":[160],"example":[161],"which":[162],"shows":[163],"that":[164],"enables":[171],"inferred":[176],"contradicting":[178],"documents":[182],"determined.":[185],"application":[187],"based":[191],"on":[192],"resolves":[195],"many":[196],"deficiencies":[199],"observed":[200],"approaches.":[203],"Our":[204],"supports":[206],"better":[207],"understanding":[208],"dependencies":[210]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":6}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}