{"id":"https://openalex.org/W1523562824","doi":"https://doi.org/10.1109/sies.2015.7185035","title":"ReSA: An ontology-based requirement specification language tailored to automotive systems","display_name":"ReSA: An ontology-based requirement specification language tailored to automotive systems","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W1523562824","doi":"https://doi.org/10.1109/sies.2015.7185035","mag":"1523562824"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2015.7185035","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2015.7185035","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018861125","display_name":"Nesredin Mahmud","orcid":null},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Nesredin Mahmud","raw_affiliation_strings":["M\u00e4lardalen University, Sweden","[Malardalen University, Sweden]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"[Malardalen University, Sweden]","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025773724","display_name":"Cristina Seceleanu","orcid":"https://orcid.org/0000-0003-2870-2680"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Cristina Seceleanu","raw_affiliation_strings":["M\u00e4lardalen University, Sweden","[Malardalen University, Sweden]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"[Malardalen University, Sweden]","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029784399","display_name":"Oscar Ljungkrantz","orcid":null},"institutions":[{"id":"https://openalex.org/I1340210623","display_name":"Volvo (Sweden)","ror":"https://ror.org/05b6ypc36","country_code":"SE","type":"company","lineage":["https://openalex.org/I1340210623"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Oscar Ljungkrantz","raw_affiliation_strings":["Volvo Group Trucks Technology, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Volvo Group Trucks Technology, Sweden","institution_ids":["https://openalex.org/I1340210623"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7807,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.8808654,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983000159263611,"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.9983000159263611,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9940000176429749,"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.7725844383239746},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5749467611312866},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.5535057783126831},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5514683127403259},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5322107076644897},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5245842337608337},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.4525328576564789},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44854044914245605},{"id":"https://openalex.org/keywords/functional-specification","display_name":"Functional specification","score":0.4446884095668793},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.41826245188713074},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4148261547088623},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.17657414078712463},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14888936281204224},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1327575445175171},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1286809742450714},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.1270308494567871}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7725844383239746},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5749467611312866},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.5535057783126831},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5514683127403259},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5322107076644897},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5245842337608337},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.4525328576564789},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44854044914245605},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.4446884095668793},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.41826245188713074},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4148261547088623},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.17657414078712463},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14888936281204224},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1327575445175171},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1286809742450714},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.1270308494567871},{"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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sies.2015.7185035","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2015.7185035","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th IEEE International Symposium on Industrial Embedded Systems (SIES)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W86587414","https://openalex.org/W650936524","https://openalex.org/W1075403691","https://openalex.org/W1520778375","https://openalex.org/W1533149422","https://openalex.org/W1533669913","https://openalex.org/W1583095677","https://openalex.org/W1964378848","https://openalex.org/W1995008247","https://openalex.org/W1996776089","https://openalex.org/W2025323318","https://openalex.org/W2026743036","https://openalex.org/W2042037135","https://openalex.org/W2082434633","https://openalex.org/W2105590118","https://openalex.org/W2130175296","https://openalex.org/W2130560480","https://openalex.org/W2133109597","https://openalex.org/W2139212084","https://openalex.org/W2140923664","https://openalex.org/W2150189917","https://openalex.org/W2152506470","https://openalex.org/W2158025672","https://openalex.org/W2159958244","https://openalex.org/W2499393420","https://openalex.org/W2606578572","https://openalex.org/W2913212004","https://openalex.org/W4239745798","https://openalex.org/W4246913434","https://openalex.org/W4251772280","https://openalex.org/W6621452758","https://openalex.org/W6736563950","https://openalex.org/W6758677535"],"related_works":["https://openalex.org/W2466702713","https://openalex.org/W1547699668","https://openalex.org/W2164964134","https://openalex.org/W2019981802","https://openalex.org/W2158159493","https://openalex.org/W2596450396","https://openalex.org/W2117824779","https://openalex.org/W2136953793","https://openalex.org/W2048472863","https://openalex.org/W2313419847"],"abstract_inverted_index":{"Automotive":[0],"systems":[1],"are":[2,27],"developed":[3],"using":[4],"multi-leveled":[5,96],"architectural":[6,97,133],"abstractions":[7],"in":[8,34,52,57,93,131,158],"an":[9,139],"attempt":[10],"to":[11,36,73,184],"manage":[12],"the":[13,109,132,150,189],"increasing":[14],"complexity":[15],"and":[16,23,59,81,146,155],"criticality":[17],"of":[18,32,40,95,108,128,135,170,188],"automotive":[19,45,140],"functions.":[20],"Consequently,":[21],"well-structured":[22],"unambiguously":[24],"specified":[25,51,110],"requirements":[26,50,63,75,92,123,187],"needed":[28],"on":[29,49],"all":[30],"levels":[31,127],"abstraction,":[33,129],"order":[35],"enable":[37],"early":[38],"detection":[39],"possible":[41],"design":[42],"errors.":[43],"However,":[44],"industry":[46],"often":[47],"relies":[48],"ambiguous":[53],"natural":[54],"language,":[55,118],"sometimes":[56],"large":[58],"incomprehensible":[60],"documents.":[61],"Semi-formal":[62],"specification":[64,124],"approaches":[65,85],"(e.g.,":[66],"requirement":[67],"boilerplates,":[68],"pattern-based":[69],"specifications,":[70],"etc.)":[71],"aim":[72],"reduce":[74],"ambiguity,":[76],"without":[77],"altering":[78],"their":[79],"readability":[80],"expressiveness.":[82],"Nevertheless,":[83],"such":[84],"do":[86,100],"not":[87],"offer":[88],"support":[89],"for":[90,104,149],"specifying":[91,159],"terms":[94],"concepts,":[98],"nor":[99],"they":[101],"provide":[102],"means":[103],"early-stage":[105],"rigorous":[106],"analysis":[107],"requirements.":[111],"In":[112],"this":[113],"paper,":[114],"we":[115,181],"propose":[116],"a":[117,195],"called":[119],"ReSA,":[120],"which":[121,193],"allows":[122],"at":[125],"various":[126],"modeled":[130],"language":[134],"EAST-ADL.":[136],"ReSA":[137],"uses":[138],"systems'":[141],"ontology":[142],"that":[143],"offers":[144],"typing":[145],"syntactic":[147],"axioms":[148],"specification.":[151],"Besides":[152],"enforcing":[153],"structure":[154],"more":[156],"rigor":[157],"requirements,":[160,171],"our":[161],"approach":[162],"enables":[163],"checking":[164],"refinement":[165],"as":[166,168],"well":[167],"consistency":[169],"by":[172],"proving":[173],"ordinary":[174],"boolean":[175],"implications.":[176],"To":[177],"illustrate":[178],"ReSA's":[179],"applicability,":[180],"show":[182],"how":[183],"specify":[185],"some":[186],"Adjustable":[190],"Speed":[191],"Limiter,":[192],"is":[194],"complex,":[196],"safety-critical":[197],"Volvo":[198],"Trucks":[199],"user":[200],"function.":[201]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}