{"id":"https://openalex.org/W3088917155","doi":"https://doi.org/10.1109/access.2020.3025934","title":"SAM-SoS: A Stochastic Software Architecture Modeling and Verification Approach for Complex System-of-Systems","display_name":"SAM-SoS: A Stochastic Software Architecture Modeling and Verification Approach for Complex System-of-Systems","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3088917155","doi":"https://doi.org/10.1109/access.2020.3025934","mag":"3088917155"},"language":"en","primary_location":{"id":"doi:10.1109/access.2020.3025934","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3025934","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09203892.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09203892.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003096709","display_name":"Ahmad Mohsin","orcid":"https://orcid.org/0000-0001-9023-0851"},"institutions":[{"id":"https://openalex.org/I12079687","display_name":"Edith Cowan University","ror":"https://ror.org/05jhnwe22","country_code":"AU","type":"education","lineage":["https://openalex.org/I12079687"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Ahmad Mohsin","raw_affiliation_strings":["School of Science, Edith Cowan University, Joondalup, WA, Australia"],"raw_orcid":"https://orcid.org/0000-0001-9023-0851","affiliations":[{"raw_affiliation_string":"School of Science, Edith Cowan University, Joondalup, WA, Australia","institution_ids":["https://openalex.org/I12079687"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034645046","display_name":"Naeem Khalid Janjua","orcid":"https://orcid.org/0000-0003-0483-8196"},"institutions":[{"id":"https://openalex.org/I12079687","display_name":"Edith Cowan University","ror":"https://ror.org/05jhnwe22","country_code":"AU","type":"education","lineage":["https://openalex.org/I12079687"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Naeem Khalid Janjua","raw_affiliation_strings":["School of Science, Edith Cowan University, Joondalup, WA, Australia"],"raw_orcid":"https://orcid.org/0000-0003-0483-8196","affiliations":[{"raw_affiliation_string":"School of Science, Edith Cowan University, Joondalup, WA, Australia","institution_ids":["https://openalex.org/I12079687"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034900636","display_name":"Syed Mohammed Shamsul Islam","orcid":"https://orcid.org/0000-0002-3200-2903"},"institutions":[{"id":"https://openalex.org/I12079687","display_name":"Edith Cowan University","ror":"https://ror.org/05jhnwe22","country_code":"AU","type":"education","lineage":["https://openalex.org/I12079687"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Syed M. S. Islam","raw_affiliation_strings":["School of Science, Edith Cowan University, Joondalup, WA, Australia"],"raw_orcid":"https://orcid.org/0000-0002-3200-2903","affiliations":[{"raw_affiliation_string":"School of Science, Edith Cowan University, Joondalup, WA, Australia","institution_ids":["https://openalex.org/I12079687"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058693284","display_name":"Muhammad Ali Babar","orcid":"https://orcid.org/0000-0001-6653-6076"},"institutions":[{"id":"https://openalex.org/I5681781","display_name":"The University of Adelaide","ror":"https://ror.org/00892tw58","country_code":"AU","type":"education","lineage":["https://openalex.org/I5681781"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Muhammad Ali Babar","raw_affiliation_strings":["Centre for Research on Engineering Software Technologies (CREST), The University of Adelaide, Adelaide, SA, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Research on Engineering Software Technologies (CREST), The University of Adelaide, Adelaide, SA, Australia","institution_ids":["https://openalex.org/I5681781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5003096709"],"corresponding_institution_ids":["https://openalex.org/I12079687"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.744,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.7157687,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"8","issue":null,"first_page":"177580","last_page":"177603"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9993000030517578,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9927999973297119,"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/T14306","display_name":"Technology Assessment and Management","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8124661445617676},{"id":"https://openalex.org/keywords/system-of-systems","display_name":"System of systems","score":0.6126858592033386},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5084423422813416},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5040165781974792},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.4760991334915161},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4144722521305084},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.40621381998062134},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3546428084373474},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35000622272491455},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.347181499004364},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.34483420848846436},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3265073299407959}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8124661445617676},{"id":"https://openalex.org/C87912763","wikidata":"https://www.wikidata.org/wiki/Q7663737","display_name":"System of systems","level":3,"score":0.6126858592033386},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5084423422813416},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5040165781974792},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.4760991334915161},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4144722521305084},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.40621381998062134},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3546428084373474},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35000622272491455},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.347181499004364},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.34483420848846436},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3265073299407959}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2020.3025934","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3025934","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09203892.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:ro.ecu.edu.au:ecuworkspost2013-9736","is_oa":true,"landing_page_url":"https://ro.ecu.edu.au/ecuworkspost2013/8730","pdf_url":null,"source":{"id":"https://openalex.org/S2765015692","display_name":"Australasian Journal of Paramedicine","issn_l":"2202-7270","issn":["2202-7270"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Research outputs 2014 to 2021","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:0211bfe302b949999b27e312502409fc","is_oa":true,"landing_page_url":"https://doaj.org/article/0211bfe302b949999b27e312502409fc","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 8, Pp 177580-177603 (2020)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2020.3025934","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3025934","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09203892.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320988","display_name":"Edith Cowan University","ror":"https://ror.org/05jhnwe22"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3088917155.pdf","grobid_xml":"https://content.openalex.org/works/W3088917155.grobid-xml"},"referenced_works_count":91,"referenced_works":["https://openalex.org/W3986271","https://openalex.org/W107090256","https://openalex.org/W120106741","https://openalex.org/W168394658","https://openalex.org/W418273445","https://openalex.org/W1483241283","https://openalex.org/W1498402014","https://openalex.org/W1506588809","https://openalex.org/W1516256348","https://openalex.org/W1546948343","https://openalex.org/W1579500408","https://openalex.org/W1599457040","https://openalex.org/W1601373402","https://openalex.org/W1926575324","https://openalex.org/W1966033650","https://openalex.org/W1984215995","https://openalex.org/W1996920086","https://openalex.org/W1998681616","https://openalex.org/W2001570142","https://openalex.org/W2025045787","https://openalex.org/W2030371792","https://openalex.org/W2041226400","https://openalex.org/W2048905609","https://openalex.org/W2058107586","https://openalex.org/W2062965120","https://openalex.org/W2072586181","https://openalex.org/W2084684397","https://openalex.org/W2089520845","https://openalex.org/W2091628575","https://openalex.org/W2093551656","https://openalex.org/W2093916942","https://openalex.org/W2098084644","https://openalex.org/W2100653580","https://openalex.org/W2107348271","https://openalex.org/W2107465592","https://openalex.org/W2108444701","https://openalex.org/W2110837847","https://openalex.org/W2115654637","https://openalex.org/W2117435128","https://openalex.org/W2123288296","https://openalex.org/W2124942057","https://openalex.org/W2126214140","https://openalex.org/W2132695268","https://openalex.org/W2133038101","https://openalex.org/W2134591574","https://openalex.org/W2134991157","https://openalex.org/W2139872812","https://openalex.org/W2149453296","https://openalex.org/W2161994195","https://openalex.org/W2162366870","https://openalex.org/W2162943184","https://openalex.org/W2163854732","https://openalex.org/W2165014417","https://openalex.org/W2165203881","https://openalex.org/W2171516295","https://openalex.org/W2176490758","https://openalex.org/W2211172803","https://openalex.org/W2503313501","https://openalex.org/W2510690504","https://openalex.org/W2546810726","https://openalex.org/W2547889920","https://openalex.org/W2556093741","https://openalex.org/W2564008331","https://openalex.org/W2582870527","https://openalex.org/W2589217375","https://openalex.org/W2744921653","https://openalex.org/W2762588455","https://openalex.org/W2787596386","https://openalex.org/W2802803919","https://openalex.org/W2891579065","https://openalex.org/W2892813239","https://openalex.org/W2898291905","https://openalex.org/W2898495039","https://openalex.org/W2909059060","https://openalex.org/W2912904668","https://openalex.org/W2926412738","https://openalex.org/W2954663471","https://openalex.org/W2982577334","https://openalex.org/W3103944412","https://openalex.org/W4214963255","https://openalex.org/W4242441073","https://openalex.org/W4242692807","https://openalex.org/W4244123356","https://openalex.org/W4255588109","https://openalex.org/W4300462940","https://openalex.org/W4301000707","https://openalex.org/W4301885396","https://openalex.org/W4362223624","https://openalex.org/W6675923076","https://openalex.org/W6681037852","https://openalex.org/W6684934224"],"related_works":["https://openalex.org/W2949958531","https://openalex.org/W1533614215","https://openalex.org/W2885989553","https://openalex.org/W2890067885","https://openalex.org/W1980228813","https://openalex.org/W1542338789","https://openalex.org/W2014618744","https://openalex.org/W2133273222","https://openalex.org/W2741277517","https://openalex.org/W2077348519"],"abstract_inverted_index":{"A":[0,196],"System-of-Systems":[1],"(SoS)":[2],"is":[3,26,30,48,200,256],"a":[4,89,182,203,215,251],"complex,":[5],"dynamic":[6],"system":[7,60],"whose":[8],"Constituent":[9],"Systems":[10],"(CSs)":[11],"are":[12,62,220],"not":[13],"known":[14],"precisely":[15],"at":[16,126],"design":[17,127,133,137,242],"time,":[18],"and":[19,40,57,67,81,86,94,117,122,129,149,164,188,265,286],"the":[20,43,84,103,108,114,140,173,178,193,232,259,292],"environment":[21],"in":[22,169],"which":[23],"they":[24],"operate":[25],"uncertain.":[27],"SoS":[28,52,90,124,153,168,210,247,269,277],"behavior":[29,87],"unpredictable":[31],"due":[32],"to":[33,50,97,120,146,162,186],"underlying":[34],"architectural":[35,190,207],"characteristics":[36],"such":[37,77],"as":[38,78,181],"autonomy":[39],"independence.":[41],"Although":[42],"stochastic":[44,184,198,218,260],"composition":[45],"of":[46,88,142,152,209,231,243,276,284],"CSs":[47],"vital":[49],"achieving":[51,107],"missions,":[53],"their":[54],"unknown":[55,65],"behaviors":[56,125],"impact":[58,101],"on":[59,72,102,258],"properties":[61,104],"unavoidable.":[63],"Moreover,":[64],"conditions":[66],"volatility":[68],"have":[69,158],"significant":[70],"effects":[71],"crucial":[73],"Quality":[74],"Attributes":[75],"(QAs)":[76],"performance,":[79],"reliability":[80],"security.":[82],"Hence,":[83],"structure":[85],"must":[91],"be":[92],"modeled":[93],"validated":[95],"quantitatively":[96],"foresee":[98],"any":[99],"potential":[100],"critical":[105,274],"for":[106,135,177,206,248,268],"missions.":[109,270],"Current":[110],"modeling":[111],"approaches":[112],"lack":[113],"essential":[115],"syntax":[116],"semantics":[118],"required":[119,194],"model":[121,163,199,279],"verify":[123,165],"time":[128],"cannot":[130],"offer":[131],"alternative":[132],"choices":[134],"better":[136,282],"decisions.":[138],"Therefore,":[139],"majority":[141],"existing":[143],"techniques":[144],"fail":[145],"provide":[147],"qualitative":[148,264],"quantitative":[150,266],"verification":[151,227],"architecture":[154,278],"models.":[155],"Consequently,":[156],"we":[157],"proposed":[159,293],"an":[160,238,244],"approach":[161,205,233],"Non-Deterministic":[166],"(ND)":[167],"advance":[170],"by":[171],"extending":[172],"current":[174],"algebraic":[175],"notations":[176],"formal":[179,197,226],"models":[180,219],"hybrid":[183,204],"formalism":[185],"specify":[187],"reason":[189],"elements":[191],"with":[192,211,237,250,288],"semantics.":[195],"developed":[201],"using":[202,225,262,291],"descriptions":[208],"behavioral":[212],"constraints.":[213],"Through":[214],"model-driven":[216],"approach,":[217],"then":[221],"translated":[222],"into":[223],"PRISM":[224],"rules.":[228],"The":[229],"effectiveness":[230],"has":[234],"been":[235],"tested":[236],"end-to-end":[239],"case":[240],"study":[241],"emergency":[245],"response":[246],"dealing":[249],"fire":[252],"situation.":[253],"Architectural":[254],"analysis":[255],"conducted":[257],"model,":[261],"various":[263],"measures":[267],"Experimental":[271],"results":[272],"reveal":[273],"aspects":[275],"that":[280],"facilitate":[281],"achievement":[283],"missions":[285],"QAs":[287],"improved":[289],"design,":[290],"approach.":[294]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}