{"id":"https://openalex.org/W4294658789","doi":"https://doi.org/10.18293/seke2022-140","title":"A Novel Approach to Maintain Traceability between Safety Requirements and Model Design","display_name":"A Novel Approach to Maintain Traceability between Safety Requirements and Model Design","publication_year":2022,"publication_date":"2022-07-01","ids":{"openalex":"https://openalex.org/W4294658789","doi":"https://doi.org/10.18293/seke2022-140"},"language":"en","primary_location":{"id":"doi:10.18293/seke2022-140","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2022-140","pdf_url":"https://doi.org/10.18293/seke2022-140","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.18293/seke2022-140","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100391013","display_name":"Qian Wang","orcid":"https://orcid.org/0000-0001-8756-1422"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qian Wang","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100375020","display_name":"Jing Liu","orcid":"https://orcid.org/0000-0002-5463-4987"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Liu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100342753","display_name":"John H. Zhang","orcid":"https://orcid.org/0000-0002-4319-4285"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"John Zhang","raw_affiliation_strings":["Huawei Technology, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Technology, Shanghai, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055584228","display_name":"Hui Dou","orcid":"https://orcid.org/0000-0002-8917-2786"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui Dou","raw_affiliation_strings":["Huawei Technology, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Technology, Shanghai, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100563167","display_name":"Haiying Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haiying Sun","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xiaohong Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaohong Chen","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114251624","display_name":"Jifeng He","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jifeng He","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2022","issue":null,"first_page":"31","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9973999857902527,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9973999857902527,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9961000084877014,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.8157784342765808},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.8114408254623413},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7782474756240845},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.7143687009811401},{"id":"https://openalex.org/keywords/process-ontology","display_name":"Process ontology","score":0.6562210321426392},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5970637798309326},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5149946808815002},{"id":"https://openalex.org/keywords/ontology-based-data-integration","display_name":"Ontology-based data integration","score":0.49979138374328613},{"id":"https://openalex.org/keywords/suggested-upper-merged-ontology","display_name":"Suggested Upper Merged Ontology","score":0.4913758337497711},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.48842325806617737},{"id":"https://openalex.org/keywords/upper-ontology","display_name":"Upper ontology","score":0.4412243366241455},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3382321000099182}],"concepts":[{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.8157784342765808},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.8114408254623413},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7782474756240845},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.7143687009811401},{"id":"https://openalex.org/C137003198","wikidata":"https://www.wikidata.org/wiki/Q7247296","display_name":"Process ontology","level":3,"score":0.6562210321426392},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5970637798309326},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5149946808815002},{"id":"https://openalex.org/C22550185","wikidata":"https://www.wikidata.org/wiki/Q7095047","display_name":"Ontology-based data integration","level":3,"score":0.49979138374328613},{"id":"https://openalex.org/C50971890","wikidata":"https://www.wikidata.org/wiki/Q7635093","display_name":"Suggested Upper Merged Ontology","level":4,"score":0.4913758337497711},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.48842325806617737},{"id":"https://openalex.org/C78726541","wikidata":"https://www.wikidata.org/wiki/Q3882785","display_name":"Upper ontology","level":3,"score":0.4412243366241455},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3382321000099182},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18293/seke2022-140","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2022-140","pdf_url":"https://doi.org/10.18293/seke2022-140","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18293/seke2022-140","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2022-140","pdf_url":"https://doi.org/10.18293/seke2022-140","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/13","display_name":"Climate action"}],"awards":[{"id":"https://openalex.org/G4844286744","display_name":"\u4fe1\u606f\u7269\u7406\u7cfb\u7edf\u65f6\u7a7a\u5efa\u6a21\u4e0e\u9a8c\u8bc1\u5173\u952e\u95ee\u9898\u7814\u7a76","funder_award_id":"61972150","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4294658789.pdf","grobid_xml":"https://content.openalex.org/works/W4294658789.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W312552","https://openalex.org/W833942132","https://openalex.org/W1654805921","https://openalex.org/W2171051433","https://openalex.org/W2406025487","https://openalex.org/W2771580277","https://openalex.org/W2898620461","https://openalex.org/W2983059540","https://openalex.org/W3021778304","https://openalex.org/W3146766014","https://openalex.org/W6600011250","https://openalex.org/W6713735388"],"related_works":["https://openalex.org/W2732632690","https://openalex.org/W2066689607","https://openalex.org/W2015306306","https://openalex.org/W2363188691","https://openalex.org/W26549824","https://openalex.org/W4251889114","https://openalex.org/W2357775360","https://openalex.org/W2889792096","https://openalex.org/W1977671906","https://openalex.org/W2765352056"],"abstract_inverted_index":{"One":[0],"of":[1,17,27,35,98,103,115,133],"the":[2,25,113,122,129],"major":[3],"challenges":[4],"confronting":[5],"System":[6],"Modeling":[7],"Language(SysML)":[8],"is":[9],"that":[10,64],"it":[11,65],"cannot":[12],"always":[13],"provide":[14],"verifiable":[15],"guarantees":[16],"formalization":[18],"and":[19,39,83,119,131],"rigorousness.":[20],"To":[21],"verify":[22],"model":[23,84],"designs,":[24],"research":[26],"transformation":[28,47],"from":[29],"SysML":[30],"to":[31,52,77,111],"ontology":[32,43,99,114,123],"emerges":[33],"because":[34],"ontology's":[36],"formal":[37],"standards":[38],"verifiability":[40],"obtained":[41],"by":[42],"reasoners.":[44],"However,":[45],"existing":[46],"approaches":[48],"are":[49],"mostly":[50],"limited":[51],"a":[53,60,74,95,116],"single":[54],"view":[55],"without":[56],"traceability":[57,80],"or":[58],"lack":[59],"clear":[61],"process":[62,97],"so":[63],"can't":[66],"be":[67],"automated.":[68],"In":[69,90],"this":[70,109],"paper,":[71],"we":[72],"propose":[73],"novel":[75],"approach":[76,93,110],"maintain":[78],"precious":[79],"between":[81],"requirements":[82],"multi-views":[85],"design":[86],"based":[87],"on":[88],"ontology.":[89],"addition,":[91],"our":[92,134],"contains":[94],"normative":[96],"building":[100],"in":[101],"support":[102],"an":[104],"automated":[105],"implementation.":[106],"We":[107],"use":[108],"obtain":[112],"safety-critical":[117],"system":[118],"carry":[120],"out":[121],"evaluation":[124],"experiment,":[125],"whose":[126],"results":[127],"demonstrate":[128],"feasibility":[130],"efficiency":[132],"approach.":[135]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}