{"id":"https://openalex.org/W3154818440","doi":"https://doi.org/10.1155/2021/6685978","title":"Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems","display_name":"Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems","publication_year":2021,"publication_date":"2021-04-15","ids":{"openalex":"https://openalex.org/W3154818440","doi":"https://doi.org/10.1155/2021/6685978","mag":"3154818440"},"language":"en","primary_location":{"id":"doi:10.1155/2021/6685978","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/6685978","pdf_url":"https://downloads.hindawi.com/journals/sp/2021/6685978.pdf","source":{"id":"https://openalex.org/S166774750","display_name":"Scientific Programming","issn_l":"1058-9244","issn":["1058-9244","1875-919X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/journals/sp/2021/6685978.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044052626","display_name":"Abdul Rehman","orcid":"https://orcid.org/0000-0002-4855-5000"},"institutions":[{"id":"https://openalex.org/I79571142","display_name":"Virtual University of Pakistan","ror":"https://ror.org/00ya1zd25","country_code":"PK","type":"education","lineage":["https://openalex.org/I79571142"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Abdul Rehman","raw_affiliation_strings":["Department of Computer Science and IT, Virtual University of Pakistan, Lahore, 54000, Pakistan"],"raw_orcid":"https://orcid.org/0000-0002-4855-5000","affiliations":[{"raw_affiliation_string":"Department of Computer Science and IT, Virtual University of Pakistan, Lahore, 54000, Pakistan","institution_ids":["https://openalex.org/I79571142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039179239","display_name":"Nadeem Akhtar","orcid":"https://orcid.org/0000-0003-2475-5590"},"institutions":[{"id":"https://openalex.org/I174731842","display_name":"Islamia University of Bahawalpur","ror":"https://ror.org/002rc4w13","country_code":"PK","type":"education","lineage":["https://openalex.org/I174731842"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Nadeem Akhtar","raw_affiliation_strings":["Department of Computer Science and IT, The Islamia University of Bahawalpur, Punjab 63100, Pakistan"],"raw_orcid":"https://orcid.org/0000-0003-2475-5590","affiliations":[{"raw_affiliation_string":"Department of Computer Science and IT, The Islamia University of Bahawalpur, Punjab 63100, Pakistan","institution_ids":["https://openalex.org/I174731842"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034873772","display_name":"Omar H. Alhazmi","orcid":"https://orcid.org/0000-0002-6158-1801"},"institutions":[{"id":"https://openalex.org/I23075662","display_name":"Taibah University","ror":"https://ror.org/01xv1nn60","country_code":"SA","type":"education","lineage":["https://openalex.org/I23075662"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Omar H. Alhazmi","raw_affiliation_strings":["Department of Computer Science, Taibah University, Medina 30001, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0002-6158-1801","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Taibah University, Medina 30001, Saudi Arabia","institution_ids":["https://openalex.org/I23075662"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5039179239"],"corresponding_institution_ids":["https://openalex.org/I174731842"],"apc_list":{"value":2000,"currency":"USD","value_usd":2000},"apc_paid":{"value":2000,"currency":"USD","value_usd":2000},"fwci":0.4339,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.5715382,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"2021","issue":null,"first_page":"1","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9959999918937683,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9959999918937683,"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/T10142","display_name":"Formal Methods in Verification","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9948999881744385,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/flood-myth","display_name":"Flood myth","score":0.8009806871414185},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.6645568609237671},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4835507571697235},{"id":"https://openalex.org/keywords/flood-warning","display_name":"Flood warning","score":0.4761864244937897},{"id":"https://openalex.org/keywords/livelihood","display_name":"Livelihood","score":0.45997998118400574},{"id":"https://openalex.org/keywords/warning-system","display_name":"Warning system","score":0.44816139340400696},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4438880980014801},{"id":"https://openalex.org/keywords/environmental-resource-management","display_name":"Environmental resource management","score":0.4205087423324585},{"id":"https://openalex.org/keywords/environmental-science","display_name":"Environmental science","score":0.3764910399913788},{"id":"https://openalex.org/keywords/agriculture","display_name":"Agriculture","score":0.33823251724243164},{"id":"https://openalex.org/keywords/meteorology","display_name":"Meteorology","score":0.33002570271492004},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3277225196361542},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.3037830591201782}],"concepts":[{"id":"https://openalex.org/C74256435","wikidata":"https://www.wikidata.org/wiki/Q134052","display_name":"Flood myth","level":2,"score":0.8009806871414185},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.6645568609237671},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4835507571697235},{"id":"https://openalex.org/C2778924419","wikidata":"https://www.wikidata.org/wiki/Q5460084","display_name":"Flood warning","level":3,"score":0.4761864244937897},{"id":"https://openalex.org/C3987366","wikidata":"https://www.wikidata.org/wiki/Q6658164","display_name":"Livelihood","level":3,"score":0.45997998118400574},{"id":"https://openalex.org/C29825287","wikidata":"https://www.wikidata.org/wiki/Q1427940","display_name":"Warning system","level":2,"score":0.44816139340400696},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4438880980014801},{"id":"https://openalex.org/C107826830","wikidata":"https://www.wikidata.org/wiki/Q929380","display_name":"Environmental resource management","level":1,"score":0.4205087423324585},{"id":"https://openalex.org/C39432304","wikidata":"https://www.wikidata.org/wiki/Q188847","display_name":"Environmental science","level":0,"score":0.3764910399913788},{"id":"https://openalex.org/C118518473","wikidata":"https://www.wikidata.org/wiki/Q11451","display_name":"Agriculture","level":2,"score":0.33823251724243164},{"id":"https://openalex.org/C153294291","wikidata":"https://www.wikidata.org/wiki/Q25261","display_name":"Meteorology","level":1,"score":0.33002570271492004},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3277225196361542},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.3037830591201782},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1155/2021/6685978","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/6685978","pdf_url":"https://downloads.hindawi.com/journals/sp/2021/6685978.pdf","source":{"id":"https://openalex.org/S166774750","display_name":"Scientific Programming","issn_l":"1058-9244","issn":["1058-9244","1875-919X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Programming","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:6b9c1b85743e4bb4a9c39190ab14e194","is_oa":false,"landing_page_url":"https://doaj.org/article/6b9c1b85743e4bb4a9c39190ab14e194","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scientific Programming, Vol 2021 (2021)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2021/6685978","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/6685978","pdf_url":"https://downloads.hindawi.com/journals/sp/2021/6685978.pdf","source":{"id":"https://openalex.org/S166774750","display_name":"Scientific Programming","issn_l":"1058-9244","issn":["1058-9244","1875-919X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3154818440.pdf","grobid_xml":"https://content.openalex.org/works/W3154818440.grobid-xml"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W42364276","https://openalex.org/W101199937","https://openalex.org/W125598877","https://openalex.org/W181257274","https://openalex.org/W1496395723","https://openalex.org/W1533614215","https://openalex.org/W1534850333","https://openalex.org/W1540180001","https://openalex.org/W1570153265","https://openalex.org/W1571725816","https://openalex.org/W1735362441","https://openalex.org/W1830954042","https://openalex.org/W1934074768","https://openalex.org/W1971486022","https://openalex.org/W1997076099","https://openalex.org/W1998017916","https://openalex.org/W2009983102","https://openalex.org/W2033546932","https://openalex.org/W2058107586","https://openalex.org/W2062081943","https://openalex.org/W2100534632","https://openalex.org/W2117189826","https://openalex.org/W2119610731","https://openalex.org/W2123288296","https://openalex.org/W2132750992","https://openalex.org/W2142340571","https://openalex.org/W2148395138","https://openalex.org/W2150189917","https://openalex.org/W2339118913","https://openalex.org/W2498498356","https://openalex.org/W2738310850","https://openalex.org/W2742644929","https://openalex.org/W2743049524","https://openalex.org/W2779234129","https://openalex.org/W2803481836","https://openalex.org/W2912640545","https://openalex.org/W2917317819","https://openalex.org/W2920562277","https://openalex.org/W2998605948","https://openalex.org/W4206233890","https://openalex.org/W4244819751","https://openalex.org/W4253146326","https://openalex.org/W4254354208","https://openalex.org/W4297683866","https://openalex.org/W6634372232","https://openalex.org/W6636501790","https://openalex.org/W6741387522","https://openalex.org/W7033469184"],"related_works":["https://openalex.org/W1565271071","https://openalex.org/W2029490860","https://openalex.org/W1981503247","https://openalex.org/W2384148934","https://openalex.org/W3208993484","https://openalex.org/W2130627453","https://openalex.org/W4376138688","https://openalex.org/W3087154968","https://openalex.org/W2475014345","https://openalex.org/W4389572206"],"abstract_inverted_index":{"Floods":[0],"after":[1],"monsoon":[2,51],"rains":[3,48],"are":[4,16,20,30,33,46,115],"frequent":[5],"disasters":[6],"that":[7],"affect":[8],"millions":[9],"of":[10,37,39,63,77,83,94,100,120,146,151,165,204,209,262],"lives":[11,15],"in":[12,41,49,65,105,222],"Pakistan.":[13],"Human":[14],"lost,":[17],"agriculture":[18],"economies":[19],"destroyed,":[21],"and":[22,28,86,97,110,129,133,144,148,173,193,201,231,236,249],"livestock":[23],"animals,":[24],"houses,":[25],"fruit":[26],"farms,":[27],"crops":[29],"lost":[31],"which":[32,103],"the":[34,50,60,81,98,118,126,136,163,169,182,199,210],"major":[35],"livelihoods":[36],"thousands":[38],"people":[40],"Punjab.":[42],"Each":[43,155],"year":[44],"there":[45,58],"heavy":[47],"season":[52],"and,":[53],"due":[54,79],"to":[55,80,180,226],"global":[56],"warming,":[57],"is":[59,74,139,178,225],"rapid":[61],"melting":[62],"snow":[64],"northern":[66],"glaciers;":[67],"these":[68],"factors":[69],"subsequently":[70],"cause":[71],"floods.":[72],"There":[73],"also":[75],"loss":[76],"life":[78,108],"spread":[82],"waterborne":[84],"diseases":[85],"snake":[87],"bites.":[88],"Flood":[89],"monitoring":[90,153],"provides":[91],"early":[92],"detection":[93],"a":[95,189,228],"flood":[96,130,152,156,170,183,233],"calculation":[99],"its":[101],"intensity,":[102,131],"results":[104],"reduced":[106],"human":[107],"losses":[109],"economic":[111],"losses.":[112],"Most":[113],"casualties":[114],"caused":[116],"by":[117,206,257],"lack":[119],"timely":[121],"real-time,":[122],"authentic":[123],"information":[124,166,177],"about":[125],"high-risk":[127],"areas,":[128],"speed,":[132],"direction.":[134],"Therefore,":[135],"proposed":[137],"approach":[138],"centered":[140],"on":[141,241,252],"formal":[142,191,242,247,259],"modeling":[143,248],"verification":[145,208],"safety":[147,200],"liveness":[149,202],"properties":[150,203],"perceivers.":[154],"perceiver":[157],"has":[158],"several":[159],"sensors.":[160],"It":[161],"requires":[162],"collection":[164],"starting":[167],"from":[168],"perceiver,":[171],"observer,":[172],"environmental":[174],"forecast.":[175],"This":[176],"processed":[179],"determine":[181],"intensity":[184],"level.":[185],"We":[186,196,244],"have":[187,197,245],"developed":[188],"CP-Nets\u2019":[190],"model":[192],"model-checked":[194],"it.":[195],"verified":[198],"correctness":[205],"exhaustive":[207,258],"system":[211],"using":[212,218],"model-based":[213],"proof":[214,260],"obligations":[215,261],"(Event-B":[216],"method":[217],"Rodin).":[219],"Our":[220],"objective":[221],"this":[223],"research":[224],"propose":[227],"correct,":[229],"reliable,":[230],"efficient":[232],"warning,":[234],"monitoring,":[235],"rescue":[237],"(WMR)":[238],"SoS":[239],"based":[240,251],"methods.":[243],"used":[246],"model-checking":[250],"state-of-the-art":[253],"hierarchical":[254],"CP-Nets":[255],"supported":[256],"Event-B.":[263]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}