{"id":"https://openalex.org/W3136676281","doi":"https://doi.org/10.1155/2021/6672717","title":"A Time Refinement Framework Based on iUML-B State Machine","display_name":"A Time Refinement Framework Based on iUML-B State Machine","publication_year":2021,"publication_date":"2021-03-24","ids":{"openalex":"https://openalex.org/W3136676281","doi":"https://doi.org/10.1155/2021/6672717","mag":"3136676281"},"language":"en","primary_location":{"id":"doi:10.1155/2021/6672717","doi":"https://doi.org/10.1155/2021/6672717","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/6672717","pdf_url":"https://downloads.hindawi.com/journals/sp/2021/6672717.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,"listed_in":["cwts-core","poland-20"],"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869","https://openalex.org/P4310320595"],"host_organization_lineage_names":["Hindawi Publishing Corporation","Wiley"],"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"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/journals/sp/2021/6672717.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101902729","display_name":"Han Peng","orcid":"https://orcid.org/0000-0001-8400-4663","observed_orcids":["https://orcid.org/0000-0001-8400-4663"]},"institutions":[{"id":"https://openalex.org/I4210133467","display_name":"Xi'an Aeronautical University","ror":"https://ror.org/03qn8zy63","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210133467"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Han Peng","raw_affiliation_strings":["Xi\u2019an Aeronautical University, Xi\u2019an, China"],"raw_orcid":"https://orcid.org/0000-0001-8400-4663","affiliations":[{"raw_affiliation_string":"Xi\u2019an Aeronautical University, Xi\u2019an, China","institution_ids":["https://openalex.org/I4210133467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101656513","display_name":"Xiaoli Zhang","orcid":"https://orcid.org/0000-0002-0918-2483","observed_orcids":["https://orcid.org/0000-0002-0918-2483"]},"institutions":[{"id":"https://openalex.org/I4210133467","display_name":"Xi'an Aeronautical University","ror":"https://ror.org/03qn8zy63","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210133467"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoli Zhang","raw_affiliation_strings":["Xi\u2019an Aeronautical University, Xi\u2019an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xi\u2019an Aeronautical University, Xi\u2019an, China","institution_ids":["https://openalex.org/I4210133467"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Guozhen Cao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210133467","display_name":"Xi'an Aeronautical University","ror":"https://ror.org/03qn8zy63","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210133467"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guozhen Cao","raw_affiliation_strings":["Xi\u2019an Aeronautical University, Xi\u2019an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xi\u2019an Aeronautical University, Xi\u2019an, China","institution_ids":["https://openalex.org/I4210133467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003253582","display_name":"Zhouzhou Liu","orcid":"https://orcid.org/0000-0001-7532-9749","observed_orcids":["https://orcid.org/0000-0001-7532-9749","https://orcid.org/0009-0002-9633-8067"]},"institutions":[{"id":"https://openalex.org/I4210133467","display_name":"Xi'an Aeronautical University","ror":"https://ror.org/03qn8zy63","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210133467"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhouzhou Liu","raw_affiliation_strings":["Xi\u2019an Aeronautical University, Xi\u2019an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xi\u2019an Aeronautical University, Xi\u2019an, China","institution_ids":["https://openalex.org/I4210133467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014913291","display_name":"Yuejuan Jing","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210133467","display_name":"Xi'an Aeronautical University","ror":"https://ror.org/03qn8zy63","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210133467"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuejuan Jing","raw_affiliation_strings":["Xi\u2019an Aeronautical University, Xi\u2019an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xi\u2019an Aeronautical University, Xi\u2019an, China","institution_ids":["https://openalex.org/I4210133467"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075671904","display_name":"Lei Rao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I113306721","display_name":"Hiroshima University","ror":"https://ror.org/03t78wx29","country_code":"JP","type":"education","lineage":["https://openalex.org/I113306721"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Lei Rao","raw_affiliation_strings":["Hiroshima University, Hiroshima, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hiroshima University, Hiroshima, Japan","institution_ids":["https://openalex.org/I113306721"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101902729"],"corresponding_institution_ids":["https://openalex.org/I4210133467"],"apc_list":{"value":2000,"currency":"USD","value_usd":2000},"apc_paid":{"value":2000,"currency":"USD","value_usd":2000},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2021","issue":null,"first_page":"1","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9945999979972839,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9945999979972839,"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.0020000000949949026,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.000699999975040555,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/event-b","display_name":"Event-B","score":0.9800000190734863},{"id":"https://openalex.org/keywords/state-machines","display_name":"state machines","score":0.7279999852180481},{"id":"https://openalex.org/keywords/time-constraints","display_name":"time constraints","score":0.8009999990463257},{"id":"https://openalex.org/keywords/real-time-systems","display_name":"real-time systems","score":0.8489999771118164},{"id":"https://openalex.org/keywords/timed-automata","display_name":"timed automata","score":0.949999988079071},{"id":"https://openalex.org/keywords/model-transformation","display_name":"model transformation","score":0.5170000195503235}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.851636528968811},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7679939866065979},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6797826886177063},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.552440881729126},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5017600059509277},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.42556747794151306},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4212004840373993},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4108814001083374},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40306562185287476},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.382482647895813},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31366217136383057},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1155/2021/6672717","doi":"https://doi.org/10.1155/2021/6672717","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/6672717","pdf_url":"https://downloads.hindawi.com/journals/sp/2021/6672717.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,"listed_in":["cwts-core","poland-20"],"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869","https://openalex.org/P4310320595"],"host_organization_lineage_names":["Hindawi Publishing Corporation","Wiley"],"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"}],"best_oa_location":{"id":"doi:10.1155/2021/6672717","doi":"https://doi.org/10.1155/2021/6672717","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2021/6672717","pdf_url":"https://downloads.hindawi.com/journals/sp/2021/6672717.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,"listed_in":["cwts-core","poland-20"],"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869","https://openalex.org/P4310320595"],"host_organization_lineage_names":["Hindawi Publishing Corporation","Wiley"],"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":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G156009844","display_name":null,"funder_award_id":"2020GY-084","funder_id":"https://openalex.org/F4320324173","funder_display_name":"Natural Science Foundation of Shaanxi Province"},{"id":"https://openalex.org/G1790379996","display_name":null,"funder_award_id":"2020JM-633","funder_id":"https://openalex.org/F4320324173","funder_display_name":"Natural Science Foundation of Shaanxi Province"}],"funders":[{"id":"https://openalex.org/F4320324173","display_name":"Natural Science Foundation of Shaanxi Province","ror":null},{"id":"https://openalex.org/F4320336350","display_name":"Key Research and Development Projects of Shaanxi Province","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3136676281.pdf","grobid_xml":"https://content.openalex.org/works/W3136676281.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W98210814","https://openalex.org/W350189331","https://openalex.org/W1521713193","https://openalex.org/W1550512690","https://openalex.org/W1625106460","https://openalex.org/W1836432192","https://openalex.org/W1892497168","https://openalex.org/W1956579087","https://openalex.org/W1985804037","https://openalex.org/W1986788631","https://openalex.org/W2000947342","https://openalex.org/W2023499821","https://openalex.org/W2044648829","https://openalex.org/W2096282030","https://openalex.org/W2103882301","https://openalex.org/W2122113444","https://openalex.org/W2207648638","https://openalex.org/W2279558956","https://openalex.org/W2345050942","https://openalex.org/W2405097427","https://openalex.org/W2506083135","https://openalex.org/W2579463208","https://openalex.org/W2602673033","https://openalex.org/W2803167824","https://openalex.org/W2962962921","https://openalex.org/W3143672401","https://openalex.org/W4205693127","https://openalex.org/W4244819751","https://openalex.org/W4307691216","https://openalex.org/W6992835771","https://openalex.org/W7008701051"],"related_works":["https://openalex.org/W2768289852","https://openalex.org/W7163658398","https://openalex.org/W648946821","https://openalex.org/W6992835771","https://openalex.org/W1990895645","https://openalex.org/W2279558956","https://openalex.org/W2894261096","https://openalex.org/W1983169919","https://openalex.org/W2524383872","https://openalex.org/W7099726211"],"abstract_inverted_index":{"Event-B":[0,64,98,110,149,184],"is":[1,7,101],"a":[2,47,118,158],"formal":[3],"modeling":[4,19,27,182],"language":[5],"that":[6,78,173],"very":[8,102],"suitable":[9],"for":[10,26],"software":[11],"engineering,":[12],"but":[13],"it":[14,88,100],"lacks":[15,46],"the":[16,42,56,63,80,109,148,164,174,179,188,195,201],"ability":[17],"of":[18,40,82,166,203],"time.":[20],"Researchers":[21],"have":[22],"proposed":[23,117,134,175],"some":[24],"methods":[25,36,58],"time":[28,49,61,83,106,120,127,205],"constraints":[29,128],"in":[30,62,108,129,183],"Event-B.":[31,130],"The":[32,169],"limitations":[33,86],"with":[34,97],"existing":[35,43,57],"are":[37,190],"that,":[38],"first":[39],"all,":[41],"research":[44],"work":[45],"systematic":[48,119],"refinement":[50,121,137],"framework":[51,65,122],"based":[52],"on":[53],"Event-B;":[54],"secondly,":[55],"only":[59],"model":[60,92,151],"and":[66,93,125,139,187],"cannot":[67],"be":[68],"smoothly":[69],"converted":[70],"to":[71,91,104,123,143,146,162,192,194],"automata-based":[72],"models":[73,189],"such":[74],"as":[75],"timed":[76,196],"automata":[77,197],"facilitate":[79],"verification":[81,202],"properties.":[84,206],"These":[85],"make":[87,178],"more":[89,185],"difficult":[90],"verify":[94],"real-time":[95,150,159,180],"systems":[96],"because":[99],"time-consuming":[103],"prove":[105],"properties":[107],"framework.":[111],"In":[112],"this":[113],"paper,":[114],"we":[115,132,156],"firstly":[116],"express":[124],"refine":[126,147],"Secondly,":[131],"also":[133],"various":[135,204],"vertical":[136],"patterns":[138,142],"horizontal":[140],"extension":[141],"guide":[144],"modelers":[145],"step":[152],"by":[153],"step.":[154],"Finally,":[155],"use":[157],"system":[160,181],"case":[161],"demonstrate":[163],"practicality":[165],"our":[167],"method.":[168],"experimental":[170],"results":[171],"show":[172],"method":[176],"can":[177],"convenient":[186],"easier":[191],"convert":[193],"model,":[198],"thereby":[199],"facilitating":[200]},"counts_by_year":[],"updated_date":"2026-11-13T13:42:25.865203","created_date":"2021-03-29T00:00:00"}