{"id":"https://openalex.org/W2798390127","doi":"https://doi.org/10.1109/tr.2018.2849013","title":"A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model","display_name":"A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model","publication_year":2018,"publication_date":"2018-07-09","ids":{"openalex":"https://openalex.org/W2798390127","doi":"https://doi.org/10.1109/tr.2018.2849013","mag":"2798390127"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2018.2849013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2018.2849013","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1804.11296","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Charles E. Dickerson","orcid":null},"institutions":[{"id":"https://openalex.org/I143804889","display_name":"Loughborough University","ror":"https://ror.org/04vg4w365","country_code":"GB","type":"education","lineage":["https://openalex.org/I143804889"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Charles E. Dickerson","raw_affiliation_strings":["Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Loughborough, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Loughborough, U.K","institution_ids":["https://openalex.org/I143804889"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Rosmira Roslan","orcid":null},"institutions":[{"id":"https://openalex.org/I143804889","display_name":"Loughborough University","ror":"https://ror.org/04vg4w365","country_code":"GB","type":"education","lineage":["https://openalex.org/I143804889"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rosmira Roslan","raw_affiliation_strings":["Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Loughborough, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Loughborough, U.K","institution_ids":["https://openalex.org/I143804889"]}]},{"author_position":"last","author":{"id":null,"display_name":"Siyuan Ji","orcid":"https://orcid.org/0000-0001-6139-3539"},"institutions":[{"id":"https://openalex.org/I143804889","display_name":"Loughborough University","ror":"https://ror.org/04vg4w365","country_code":"GB","type":"education","lineage":["https://openalex.org/I143804889"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Siyuan Ji","raw_affiliation_strings":["Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Loughborough, U.K"],"raw_orcid":"https://orcid.org/0000-0001-6139-3539","affiliations":[{"raw_affiliation_string":"Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Loughborough, U.K","institution_ids":["https://openalex.org/I143804889"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I143804889"],"apc_list":null,"apc_paid":null,"fwci":1.7587,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.86204215,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"67","issue":"3","first_page":"1219","last_page":"1236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.4025000035762787,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.4025000035762787,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.26660001277923584,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.039900001138448715,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.6866000294685364},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.6687999963760376},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.6068999767303467},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.5909000039100647},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5430999994277954},{"id":"https://openalex.org/keywords/object-constraint-language","display_name":"Object Constraint Language","score":0.40630000829696655},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.39910000562667847},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.3921999931335449},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.3871000111103058},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.38519999384880066}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7091000080108643},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.6866000294685364},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.6687999963760376},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6068999767303467},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.5909000039100647},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5430999994277954},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43529999256134033},{"id":"https://openalex.org/C133264317","wikidata":"https://www.wikidata.org/wiki/Q1397689","display_name":"Object Constraint Language","level":5,"score":0.40630000829696655},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.39910000562667847},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.3921999931335449},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3871000111103058},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.38519999384880066},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3846000134944916},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.37459999322891235},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3598000109195709},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.35409998893737793},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35339999198913574},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34389999508857727},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.32179999351501465},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31839999556541443},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.3061999976634979},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2881999909877777},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.28139999508857727},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C107645828","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"System model","level":2,"score":0.2703999876976013},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.26930001378059387},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.2660999894142151},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.2648000121116638},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26350000500679016},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.2567000091075897},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.2547999918460846},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.2538999915122986},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.25279998779296875},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tr.2018.2849013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2018.2849013","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1804.11296","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1804.11296","pdf_url":"https://arxiv.org/pdf/1804.11296","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dspace.lboro.ac.uk:2134/34460","is_oa":true,"landing_page_url":"https://dspace.lboro.ac.uk/2134/34460","pdf_url":null,"source":{"id":"https://openalex.org/S4306401023","display_name":"Loughborough University Institutional Repository (Loughborough University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I143804889","host_organization_name":"Loughborough University","host_organization_lineage":["https://openalex.org/I143804889"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1804.11296","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1804.11296","pdf_url":"https://arxiv.org/pdf/1804.11296","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8468274868","display_name":null,"funder_award_id":"EP/K014226/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W13496033","https://openalex.org/W1515908697","https://openalex.org/W1965979806","https://openalex.org/W1971312707","https://openalex.org/W1972364602","https://openalex.org/W1981809108","https://openalex.org/W1993569811","https://openalex.org/W1993879428","https://openalex.org/W2009408210","https://openalex.org/W2038140621","https://openalex.org/W2042206224","https://openalex.org/W2047467668","https://openalex.org/W2052145312","https://openalex.org/W2060471081","https://openalex.org/W2061982867","https://openalex.org/W2064759549","https://openalex.org/W2105250292","https://openalex.org/W2119460326","https://openalex.org/W2138939294","https://openalex.org/W2158034648","https://openalex.org/W2164041037","https://openalex.org/W2164835011","https://openalex.org/W2164879235","https://openalex.org/W2271475643","https://openalex.org/W2513589818","https://openalex.org/W2516348260","https://openalex.org/W2536531485","https://openalex.org/W6677317224","https://openalex.org/W6684793708","https://openalex.org/W6712744581","https://openalex.org/W6780996604"],"related_works":[],"abstract_inverted_index":{"Fault":[0,53],"analysis":[1],"and":[2,50,72,120,131],"resolution":[3],"of":[4,9,47,66,81,94,104,114,116],"faults":[5],"should":[6],"be":[7],"part":[8],"any":[10],"end-to-end":[11],"system":[12,80,96],"development":[13],"process.":[14],"This":[15],"paper":[16,109],"is":[17,70,73,99],"concerned":[18],"with":[19,111],"developing":[20],"a":[21,112],"formal":[22],"transformation":[23,41,118],"method":[24,42,119],"that":[25],"maps":[26],"control":[27],"flows":[28],"modeled":[29],"in":[30,101],"unified":[31],"modeling":[32],"language":[33],"activities":[34],"to":[35,58,75,84,123,126],"semantically":[36],"equivalent":[37],"fault":[38,106],"trees.":[39],"The":[40,108],"developed":[43,71],"features":[44],"the":[45,60,86,91,95,102,105,117],"use":[46],"propositional":[48],"calculus":[49],"probability":[51],"theory.":[52],"propagation":[54],"chains":[55],"are":[56],"introduced":[57],"facilitate":[59],"method.":[61],"An":[62],"overarching":[63],"metamodel":[64],"comprised":[65],"transformations":[67],"between":[68],"models":[69],"applied":[74],"an":[76],"understood":[77],"traffic":[78],"management":[79],"systems":[82],"problem":[83],"demonstrate":[85],"approach.":[87],"In":[88],"this":[89],"way,":[90],"relational":[92],"structure":[93,103],"behavior":[97],"model":[98],"reflected":[100],"tree.":[107],"concludes":[110],"discussion":[113],"limitations":[115],"proposes":[121],"approaches":[122],"extend":[124],"it":[125],"object":[127],"flows,":[128],"state":[129],"machines,":[130],"functional":[132],"allocations.":[133]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2018-05-07T00:00:00"}