{"id":"https://openalex.org/W2095602899","doi":"https://doi.org/10.1109/sysose.2011.5966616","title":"Addressing systems verification of autonomous systems through Bi-directional model transformations: A systems model driven architecture approach","display_name":"Addressing systems verification of autonomous systems through Bi-directional model transformations: A systems model driven architecture approach","publication_year":2011,"publication_date":"2011-06-01","ids":{"openalex":"https://openalex.org/W2095602899","doi":"https://doi.org/10.1109/sysose.2011.5966616","mag":"2095602899"},"language":"en","primary_location":{"id":"doi:10.1109/sysose.2011.5966616","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sysose.2011.5966616","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 6th International Conference on System of Systems Engineering","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/A5011091214","display_name":"Glenn Callow","orcid":null},"institutions":[{"id":"https://openalex.org/I201377164","display_name":"BAE Systems (Sweden)","ror":"https://ror.org/00yewjk07","country_code":"SE","type":"company","lineage":["https://openalex.org/I201377164","https://openalex.org/I4210143731"]},{"id":"https://openalex.org/I4210143731","display_name":"BAE Systems (United Kingdom)","ror":"https://ror.org/04p8ejq70","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210143731"]}],"countries":["GB","SE"],"is_corresponding":true,"raw_author_name":"Glenn Callow","raw_affiliation_strings":["BAE Systems Avionics, UK","BAE Systems, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"BAE Systems Avionics, UK","institution_ids":["https://openalex.org/I4210143731"]},{"raw_affiliation_string":"BAE Systems, UK#TAB#","institution_ids":["https://openalex.org/I201377164"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005238842","display_name":"Roy Kalawsky","orcid":"https://orcid.org/0000-0002-9023-8295"},"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":"Roy Kalawsky","raw_affiliation_strings":["Loughborough University, UK","Loughborough University, (UK)"],"affiliations":[{"raw_affiliation_string":"Loughborough University, UK","institution_ids":["https://openalex.org/I143804889"]},{"raw_affiliation_string":"Loughborough University, (UK)","institution_ids":["https://openalex.org/I143804889"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058313938","display_name":"Graham Watson","orcid":null},"institutions":[{"id":"https://openalex.org/I201377164","display_name":"BAE Systems (Sweden)","ror":"https://ror.org/00yewjk07","country_code":"SE","type":"company","lineage":["https://openalex.org/I201377164","https://openalex.org/I4210143731"]},{"id":"https://openalex.org/I4210143731","display_name":"BAE Systems (United Kingdom)","ror":"https://ror.org/04p8ejq70","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210143731"]}],"countries":["GB","SE"],"is_corresponding":false,"raw_author_name":"Graham Watson","raw_affiliation_strings":["BAE Systems Avionics, UK","BAE Systems, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"BAE Systems Avionics, UK","institution_ids":["https://openalex.org/I4210143731"]},{"raw_affiliation_string":"BAE Systems, UK#TAB#","institution_ids":["https://openalex.org/I201377164"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063272199","display_name":"Yuki Okuda","orcid":null},"institutions":[{"id":"https://openalex.org/I201377164","display_name":"BAE Systems (Sweden)","ror":"https://ror.org/00yewjk07","country_code":"SE","type":"company","lineage":["https://openalex.org/I201377164","https://openalex.org/I4210143731"]},{"id":"https://openalex.org/I4210143731","display_name":"BAE Systems (United Kingdom)","ror":"https://ror.org/04p8ejq70","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210143731"]}],"countries":["GB","SE"],"is_corresponding":false,"raw_author_name":"Yuki Okuda","raw_affiliation_strings":["BAE Systems Avionics, UK","BAE Systems, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"BAE Systems Avionics, UK","institution_ids":["https://openalex.org/I4210143731"]},{"raw_affiliation_string":"BAE Systems, UK#TAB#","institution_ids":["https://openalex.org/I201377164"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5011091214"],"corresponding_institution_ids":["https://openalex.org/I201377164","https://openalex.org/I4210143731"],"apc_list":null,"apc_paid":null,"fwci":0.3929,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.6702502,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":null,"first_page":"311","last_page":"316"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9986000061035156,"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.9980999827384949,"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/computer-science","display_name":"Computer science","score":0.7289150953292847},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6500239372253418},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.545174777507782},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.519374430179596},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5183649659156799},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5180811882019043},{"id":"https://openalex.org/keywords/systems-modeling","display_name":"Systems modeling","score":0.43812867999076843},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.4367592930793762},{"id":"https://openalex.org/keywords/system-of-systems","display_name":"System of systems","score":0.4345681667327881},{"id":"https://openalex.org/keywords/systems-architecture","display_name":"Systems architecture","score":0.4147277772426605},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3801572024822235},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3470665216445923},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.3218439221382141},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2739849090576172},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20454683899879456},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17463409900665283},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07184439897537231}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7289150953292847},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6500239372253418},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.545174777507782},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.519374430179596},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5183649659156799},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5180811882019043},{"id":"https://openalex.org/C110963975","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"Systems modeling","level":2,"score":0.43812867999076843},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.4367592930793762},{"id":"https://openalex.org/C87912763","wikidata":"https://www.wikidata.org/wiki/Q7663737","display_name":"System of systems","level":3,"score":0.4345681667327881},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.4147277772426605},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3801572024822235},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3470665216445923},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.3218439221382141},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2739849090576172},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20454683899879456},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17463409900665283},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07184439897537231},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sysose.2011.5966616","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sysose.2011.5966616","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 6th International Conference on System of Systems Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320341","display_name":"Loughborough University","ror":"https://ror.org/04vg4w365"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W578727352","https://openalex.org/W1511832825","https://openalex.org/W1662351102","https://openalex.org/W1989914740","https://openalex.org/W2015092736","https://openalex.org/W2150330743","https://openalex.org/W2168235826","https://openalex.org/W6616730904","https://openalex.org/W6630678651"],"related_works":["https://openalex.org/W4254551825","https://openalex.org/W1661299522","https://openalex.org/W1992947435","https://openalex.org/W4240378107","https://openalex.org/W2805215803","https://openalex.org/W3118642821","https://openalex.org/W2023599241","https://openalex.org/W2071986666","https://openalex.org/W4249879121","https://openalex.org/W2976461980"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3],"domain":[4],"modeling":[5],"approach":[6,31,94],"that":[7],"employs":[8],"novel":[9],"bi-directional":[10],"model":[11,28],"transformations":[12],"to":[13,38,42,52,98,105],"enable":[14],"the":[15,45,49,77,84,87],"verification":[16],"of":[17,35,86,108],"an":[18],"autonomous":[19,61,99],"system's":[20],"functions":[21],"and":[22,70,83,101],"performance.":[23],"The":[24],"innovative":[25],"systems":[26,36,62,100],"based":[27],"driven":[29],"architecture":[30],"allows":[32],"important":[33],"aspects":[34],"engineering":[37],"be":[39,53,56,64,74,103],"undertaken":[40],"closer":[41],"deployment,":[43],"when":[44],"conditions":[46],"under":[47],"which":[48,80],"system":[50],"is":[51,95],"used":[54],"will":[55,63,73],"more":[57],"readily":[58],"apparent.":[59],"Such":[60],"tasked":[65],"at":[66],"increasingly":[67],"abstract":[68],"levels,":[69],"their":[71],"performance":[72],"influenced":[75],"by":[76],"environment":[78],"in":[79],"they":[81,89],"operate":[82],"nature":[85],"goals":[88],"have":[90],"been":[91],"set.":[92],"Our":[93],"not":[96],"restricted":[97],"can":[102],"applied":[104],"other":[106],"types":[107],"complex":[109],"system.":[110]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}