{"id":"https://openalex.org/W2756275882","doi":"https://doi.org/10.1186/s40294-017-0049-8","title":"Formal model of earthquake disaster mitigation and management system","display_name":"Formal model of earthquake disaster mitigation and management system","publication_year":2017,"publication_date":"2017-09-13","ids":{"openalex":"https://openalex.org/W2756275882","doi":"https://doi.org/10.1186/s40294-017-0049-8","mag":"2756275882"},"language":"en","primary_location":{"id":"doi:10.1186/s40294-017-0049-8","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s40294-017-0049-8","pdf_url":"https://casmodeling.springeropen.com/track/pdf/10.1186/s40294-017-0049-8","source":{"id":"https://openalex.org/S3034459479","display_name":"Complex Adaptive Systems Modeling","issn_l":"2194-3206","issn":["2194-3206"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex Adaptive Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://casmodeling.springeropen.com/track/pdf/10.1186/s40294-017-0049-8","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022909686","display_name":"Nazir Ahmad Zafar","orcid":"https://orcid.org/0000-0003-1679-6851"},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Nazir Ahmad Zafar","raw_affiliation_strings":["Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal Campus, Sahiwal, 57000, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal Campus, Sahiwal, 57000, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037290747","display_name":"Hamra Afzaal","orcid":"https://orcid.org/0000-0003-4896-811X"},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Hamra Afzaal","raw_affiliation_strings":["Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal Campus, Sahiwal, 57000, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal Campus, Sahiwal, 57000, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5022909686"],"corresponding_institution_ids":["https://openalex.org/I16076960"],"apc_list":null,"apc_paid":null,"fwci":0.8787,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.78245212,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"5","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9959999918937683,"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/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9959999918937683,"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/T10273","display_name":"IoT and Edge/Fog Computing","score":0.989300012588501,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9883999824523926,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/subnet","display_name":"Subnet","score":0.8330028057098389},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7882096171379089},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5899588465690613},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5709189772605896},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.504538893699646},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.45953842997550964},{"id":"https://openalex.org/keywords/natural-disaster","display_name":"Natural disaster","score":0.4512537717819214},{"id":"https://openalex.org/keywords/emergency-management","display_name":"Emergency management","score":0.4253949522972107},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.42132115364074707},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3522905707359314},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.33914631605148315},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.17699837684631348},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.15480315685272217},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09471955895423889}],"concepts":[{"id":"https://openalex.org/C21099817","wikidata":"https://www.wikidata.org/wiki/Q7631721","display_name":"Subnet","level":2,"score":0.8330028057098389},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7882096171379089},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5899588465690613},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5709189772605896},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.504538893699646},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.45953842997550964},{"id":"https://openalex.org/C166566181","wikidata":"https://www.wikidata.org/wiki/Q8065","display_name":"Natural disaster","level":2,"score":0.4512537717819214},{"id":"https://openalex.org/C62555980","wikidata":"https://www.wikidata.org/wiki/Q1460420","display_name":"Emergency management","level":2,"score":0.4253949522972107},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42132115364074707},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3522905707359314},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.33914631605148315},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.17699837684631348},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.15480315685272217},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09471955895423889},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C153294291","wikidata":"https://www.wikidata.org/wiki/Q25261","display_name":"Meteorology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1186/s40294-017-0049-8","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s40294-017-0049-8","pdf_url":"https://casmodeling.springeropen.com/track/pdf/10.1186/s40294-017-0049-8","source":{"id":"https://openalex.org/S3034459479","display_name":"Complex Adaptive Systems Modeling","issn_l":"2194-3206","issn":["2194-3206"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex Adaptive Systems Modeling","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1186/s40294-017-0049-8","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s40294-017-0049-8","pdf_url":"https://casmodeling.springeropen.com/track/pdf/10.1186/s40294-017-0049-8","source":{"id":"https://openalex.org/S3034459479","display_name":"Complex Adaptive Systems Modeling","issn_l":"2194-3206","issn":["2194-3206"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex Adaptive Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2756275882.pdf","grobid_xml":"https://content.openalex.org/works/W2756275882.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W174968305","https://openalex.org/W214380483","https://openalex.org/W1970678469","https://openalex.org/W1972718709","https://openalex.org/W1978509825","https://openalex.org/W2000138428","https://openalex.org/W2008433345","https://openalex.org/W2026481470","https://openalex.org/W2026761095","https://openalex.org/W2071347688","https://openalex.org/W2079264962","https://openalex.org/W2082387393","https://openalex.org/W2093351523","https://openalex.org/W2100958239","https://openalex.org/W2101012814","https://openalex.org/W2106548308","https://openalex.org/W2107951442","https://openalex.org/W2144541883","https://openalex.org/W2150805847","https://openalex.org/W2155216551","https://openalex.org/W2169524767","https://openalex.org/W2177642799","https://openalex.org/W2193122367","https://openalex.org/W2228163526","https://openalex.org/W2259566997","https://openalex.org/W2266212058","https://openalex.org/W2288437812","https://openalex.org/W2343100710","https://openalex.org/W2441261600","https://openalex.org/W2471836646","https://openalex.org/W2507220309","https://openalex.org/W2532019307","https://openalex.org/W2546417013","https://openalex.org/W2548240727","https://openalex.org/W2548505599","https://openalex.org/W2552176543","https://openalex.org/W2553905264","https://openalex.org/W2568781040","https://openalex.org/W2570707890","https://openalex.org/W2590329349","https://openalex.org/W2592192593","https://openalex.org/W2602197485","https://openalex.org/W2602734660","https://openalex.org/W2620996074","https://openalex.org/W3148414537","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2049993111","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1553537032","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"Abstract":[0],"Wireless":[1],"sensor":[2],"and":[3,23,31,40,52,75,93,101,123,136,141,146,202,215,226],"actors":[4,147],"networks":[5],"(WSANs)":[6],"have":[7,33,105],"become":[8],"an":[9],"important":[10],"research":[11],"area":[12],"due":[13,47],"to":[14,48,118,181,200],"its":[15,81],"large":[16],"number":[17],"of":[18,54,59,71,77,80,116,121,132,158,164,205],"applications":[19],"in":[20,43,69,150,155],"safety,":[21],"security":[22],"mission-critical":[24],"systems.":[25],"Natural":[26],"disasters":[27,63],"such":[28,62],"as":[29,167],"earthquakes":[30,152],"floods":[32],"distressing":[34],"effects":[35],"on":[36,88,99],"human":[37],"lives,":[38],"economy":[39],"environment":[41,73],"particularly":[42],"the":[44,60,151,156,165,168,206,223,229],"developing":[45],"countries":[46],"their":[49],"high":[50],"population":[51],"lack":[53],"infrastructure.":[55],"Earthquake":[56],"is":[57,97,127,143,179,186,198,212],"one":[58],"major":[61],"which":[64,104,113,160,185],"causes":[65],"a":[66,129,173,190],"huge":[67],"loss":[68,76],"terms":[70],"deaths,":[72],"damages":[74],"property":[78],"because":[79],"unpredictable":[82],"nature.":[83],"There":[84],"exists":[85],"much":[86],"work":[87],"earthquake":[89,133],"prediction,":[90],"disaster":[91,134],"mitigation":[92,135],"management":[94,137],"but":[95],"mostly":[96],"based":[98],"simulation":[100,122],"testing":[102,124],"techniques":[103],"certain":[106],"limitations.":[107],"Formal":[108],"methods":[109,140],"are":[110,148],"mathematical":[111],"approaches":[112],"assure":[114],"correctness":[115,204],"systems":[117],"overcome":[119],"limitations":[120],"techniques.":[125],"That":[126],"why":[128],"formal":[130,139,191,207,230],"system":[131],"using":[138],"WSANs":[142],"proposed.":[144],"Sensors":[145],"deployed":[149],"vulnerable":[153],"areas":[154],"form":[157],"subnets":[159],"increase":[161],"energy":[162],"efficiency":[163],"network":[166],"processing":[169],"becomes":[170],"localized":[171],"at":[172],"subnet":[174],"level.":[175],"Firstly,":[176],"graph":[177],"theory":[178],"used":[180,199],"represent":[182],"subnet-based":[183],"model":[184],"then":[187,213],"transformed":[188],"into":[189],"model.":[192],"Vienna":[193],"Development":[194],"Method-Specification":[195],"Language":[196],"(VDM-SL)":[197],"describe":[201],"prove":[203],"specification.":[208],"The":[209],"developed":[210],"specification":[211],"validated":[214],"verified":[216],"through":[217],"VDM-SL":[218],"Toolbox":[219],"facilities":[220],"by":[221],"analyzing":[222],"pre/post":[224],"conditions":[225],"invariants":[227],"over":[228],"system.":[231]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-06-15T08:34:33.830935","created_date":"2025-10-10T00:00:00"}