{"id":"https://openalex.org/W2513589818","doi":"https://doi.org/10.1109/sysose.2016.7542918","title":"Formal methods for a system of systems analysis framework applied to traffic management","display_name":"Formal methods for a system of systems analysis framework applied to traffic management","publication_year":2016,"publication_date":"2016-06-01","ids":{"openalex":"https://openalex.org/W2513589818","doi":"https://doi.org/10.1109/sysose.2016.7542918","mag":"2513589818"},"language":"en","primary_location":{"id":"doi:10.1109/sysose.2016.7542918","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sysose.2016.7542918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 11th System of Systems Engineering Conference (SoSE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://dspace.lboro.ac.uk/2134/22383","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088881275","display_name":"Charles Dickerson","orcid":"https://orcid.org/0000-0001-7995-0102"},"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":["Mechanical, Electrical and Manufacturing Engineering, Loughborough University, Loughborough, UK"],"affiliations":[{"raw_affiliation_string":"Mechanical, Electrical and Manufacturing Engineering, Loughborough University, Loughborough, UK","institution_ids":["https://openalex.org/I143804889"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064413686","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":["Mechanical, Electrical and Manufacturing Engineering, Loughborough University, Loughborough, UK"],"affiliations":[{"raw_affiliation_string":"Mechanical, Electrical and Manufacturing Engineering, Loughborough University, Loughborough, UK","institution_ids":["https://openalex.org/I143804889"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057768589","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":["Mechanical, Electrical and Manufacturing Engineering, Loughborough University, Loughborough, UK"],"affiliations":[{"raw_affiliation_string":"Mechanical, Electrical and Manufacturing Engineering, Loughborough University, Loughborough, UK","institution_ids":["https://openalex.org/I143804889"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088881275"],"corresponding_institution_ids":["https://openalex.org/I143804889"],"apc_list":null,"apc_paid":null,"fwci":1.7736,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.89474128,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987000226974487,"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.9987000226974487,"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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9976000189781189,"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/systems-modeling-language","display_name":"Systems Modeling Language","score":0.8622291684150696},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7657173871994019},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7564665079116821},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.6045026779174805},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5737369656562805},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48740628361701965},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.46136894822120667},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4591933488845825},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4326504170894623},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3791550099849701},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1261889934539795}],"concepts":[{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.8622291684150696},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7657173871994019},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7564665079116821},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.6045026779174805},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5737369656562805},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48740628361701965},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.46136894822120667},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4591933488845825},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4326504170894623},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3791550099849701},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1261889934539795},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/sysose.2016.7542918","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sysose.2016.7542918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 11th System of Systems Engineering Conference (SoSE)","raw_type":"proceedings-article"},{"id":"pmh:oai:dspace.lboro.ac.uk:2134/22383","is_oa":true,"landing_page_url":"https://dspace.lboro.ac.uk/2134/22383","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":"IEEE 11th International Conference on System of Systems Engineering","raw_type":"Conference Contribution"},{"id":"pmh:oai:figshare.com:article/9553850","is_oa":true,"landing_page_url":"https://figshare.com/articles/Formal_methods_for_a_system_of_systems_analysis_framework_applied_to_traffic_management/9553850","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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":"<dc:type>Conference contribution"}],"best_oa_location":{"id":"pmh:oai:dspace.lboro.ac.uk:2134/22383","is_oa":true,"landing_page_url":"https://dspace.lboro.ac.uk/2134/22383","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":"IEEE 11th International Conference on System of Systems Engineering","raw_type":"Conference Contribution"},"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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W12785170","https://openalex.org/W1558730500","https://openalex.org/W1573477425","https://openalex.org/W1579299142","https://openalex.org/W1619149558","https://openalex.org/W1985280513","https://openalex.org/W2002846377","https://openalex.org/W2049293571","https://openalex.org/W2114433535","https://openalex.org/W4245799542","https://openalex.org/W4250555356","https://openalex.org/W4250965168","https://openalex.org/W6634222790"],"related_works":["https://openalex.org/W2009258791","https://openalex.org/W2135253840","https://openalex.org/W1984712372","https://openalex.org/W2141291477","https://openalex.org/W2139959881","https://openalex.org/W2313716857","https://openalex.org/W4244804067","https://openalex.org/W2170113317","https://openalex.org/W2170871060","https://openalex.org/W3149751866"],"abstract_inverted_index":{"Formal":[0],"methods":[1,130,173],"for":[2,111,124],"systems":[3,7,186],"and":[4,15,17,62,120,127,138,172],"system":[5,158,167,184],"of":[6,27,41,86,105,159,185,193],"engineering":[8],"(SoSE)":[9],"can":[10,147],"bring":[11,95],"precision":[12],"to":[13,35,94,98,133,139,150,180],"architecting":[14,126],"design,":[16],"increased":[18],"trustworthiness":[19],"in":[20,54,76,175],"verification;":[21],"but":[22,70],"they":[23],"require":[24],"the":[25,36,48,77,84,87,103,135,157,166],"use":[26],"formal":[28,63,73],"languages":[29],"that":[30,153,164,188],"are":[31,131,154,178],"not":[32,71],"broadly":[33],"comprehensible":[34],"various":[37],"stakeholders.":[38],"The":[39,170],"evolution":[40],"Model":[42],"Based":[43],"Systems":[44,49],"Engineering":[45],"(MBSE)":[46],"using":[47],"Modeling":[50,90,117],"Language":[51,91,118],"(SysML)":[52],"lies":[53],"a":[55,67,72,109,181,191],"middle":[56],"ground":[57],"between":[58,143],"legacy":[59],"document-based":[60],"SoSE":[61,125,199],"methods.":[64],"SysML":[65,121,162],"is":[66],"graphical":[68],"language":[69],"language.":[74],"Initiatives":[75],"Object":[78],"Management":[79,183],"Group":[80],"(OMG),":[81],"such":[82],"as":[83],"development":[85],"Foundational":[88],"Unified":[89,116],"(fUML)":[92],"seek":[93],"precise":[96,113],"semantics":[97,114],"object-oriented":[99],"modeling":[100],"languages.":[101],"Following":[102],"philosophy":[104],"fUML,":[106],"we":[107],"offer":[108],"framework":[110,171],"associating":[112],"with":[115,156],"(UML)":[119],"models":[122,137,163],"essential":[123,136],"design.":[128],"Straightforward":[129],"prescribed":[132],"develop":[134],"create":[140],"semantic":[141],"transformations":[142],"them.":[144],"Matrix":[145],"representations":[146],"be":[148],"used":[149],"perform":[151],"analyses":[152],"concordant":[155],"UML":[160],"or":[161,168],"represent":[165],"SoS.":[169],"developed":[174],"this":[176],"paper":[177],"applied":[179],"Traffic":[182],"(TMSoS)":[187],"has":[189],"been":[190],"subject":[192],"research":[194],"presented":[195],"at":[196],"previous":[197],"IEEE":[198],"conferences.":[200]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}