{"id":"https://openalex.org/W2061748856","doi":"https://doi.org/10.1109/icumt.2012.6459679","title":"Checking the robustness of a Message Oriented Middleware based system","display_name":"Checking the robustness of a Message Oriented Middleware based system","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W2061748856","doi":"https://doi.org/10.1109/icumt.2012.6459679","mag":"2061748856"},"language":"en","primary_location":{"id":"doi:10.1109/icumt.2012.6459679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icumt.2012.6459679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IV International Congress on Ultra Modern Telecommunications and Control Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050661929","display_name":"Yue Jia","orcid":"https://orcid.org/0009-0004-2871-2285"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yue Jia","raw_affiliation_strings":["Department of Electronic Engineer and Computer Science Queen Mary, University of London, London, UK","Department of Electronic Engineer and Computer Science, Queen Mary, University of London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electronic Engineer and Computer Science Queen Mary, University of London, London, UK","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"Department of Electronic Engineer and Computer Science, Queen Mary, University of London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031554813","display_name":"Eliane Bodanese","orcid":"https://orcid.org/0000-0002-6009-6257"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Eliane Bodanese","raw_affiliation_strings":["Department of Electronic Engineer and Computer Science Queen Mary, University of London, London, UK","Department of Electronic Engineer and Computer Science, Queen Mary, University of London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electronic Engineer and Computer Science Queen Mary, University of London, London, UK","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"Department of Electronic Engineer and Computer Science, Queen Mary, University of London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108528534","display_name":"John Bigham","orcid":null},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Bigham","raw_affiliation_strings":["Department of Electronic Engineer and Computer Science Queen Mary, University of London, London, UK","Department of Electronic Engineer and Computer Science, Queen Mary, University of London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electronic Engineer and Computer Science Queen Mary, University of London, London, UK","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"Department of Electronic Engineer and Computer Science, Queen Mary, University of London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I166337079"],"apc_list":null,"apc_paid":null,"fwci":0.7455,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74317214,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"1346","issue":null,"first_page":"280","last_page":"285"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9988999962806702,"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/computer-science","display_name":"Computer science","score":0.8544654846191406},{"id":"https://openalex.org/keywords/message-passing","display_name":"Message passing","score":0.6848435401916504},{"id":"https://openalex.org/keywords/message-broker","display_name":"Message broker","score":0.6608225107192993},{"id":"https://openalex.org/keywords/message-oriented-middleware","display_name":"Message oriented middleware","score":0.6599586009979248},{"id":"https://openalex.org/keywords/middleware","display_name":"Middleware (distributed applications)","score":0.6450949907302856},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.624154806137085},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6014660000801086},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5484262108802795},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5367056131362915},{"id":"https://openalex.org/keywords/message-queue","display_name":"Message queue","score":0.47439172863960266},{"id":"https://openalex.org/keywords/polling","display_name":"Polling","score":0.4600832462310791},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3517265319824219},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.25951874256134033},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.19107183814048767},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18865817785263062},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18226587772369385}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8544654846191406},{"id":"https://openalex.org/C854659","wikidata":"https://www.wikidata.org/wiki/Q1859284","display_name":"Message passing","level":2,"score":0.6848435401916504},{"id":"https://openalex.org/C179733262","wikidata":"https://www.wikidata.org/wiki/Q6821765","display_name":"Message broker","level":2,"score":0.6608225107192993},{"id":"https://openalex.org/C123640240","wikidata":"https://www.wikidata.org/wiki/Q1092177","display_name":"Message oriented middleware","level":4,"score":0.6599586009979248},{"id":"https://openalex.org/C169468491","wikidata":"https://www.wikidata.org/wiki/Q146923","display_name":"Middleware (distributed applications)","level":2,"score":0.6450949907302856},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.624154806137085},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6014660000801086},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5484262108802795},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5367056131362915},{"id":"https://openalex.org/C26324664","wikidata":"https://www.wikidata.org/wiki/Q1065525","display_name":"Message queue","level":2,"score":0.47439172863960266},{"id":"https://openalex.org/C204854418","wikidata":"https://www.wikidata.org/wiki/Q1362921","display_name":"Polling","level":2,"score":0.4600832462310791},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3517265319824219},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25951874256134033},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.19107183814048767},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18865817785263062},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18226587772369385},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icumt.2012.6459679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icumt.2012.6459679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IV International Congress on Ultra Modern Telecommunications and Control Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/17"},{"display_name":"Industry, innovation and infrastructure","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W11247368","https://openalex.org/W1492898721","https://openalex.org/W1510299197","https://openalex.org/W1517173520","https://openalex.org/W2049838685","https://openalex.org/W2069981477","https://openalex.org/W2098011842","https://openalex.org/W2115032392","https://openalex.org/W2118085316","https://openalex.org/W2138556012","https://openalex.org/W2340735175","https://openalex.org/W4242741415","https://openalex.org/W4300021588","https://openalex.org/W6600446567","https://openalex.org/W6629583379"],"related_works":["https://openalex.org/W2993055027","https://openalex.org/W2350038628","https://openalex.org/W2391901419","https://openalex.org/W1939512652","https://openalex.org/W2366825951","https://openalex.org/W2131288045","https://openalex.org/W2351208691","https://openalex.org/W2347450301","https://openalex.org/W2366360249","https://openalex.org/W1560090038"],"abstract_inverted_index":{"The":[0],"publish/subscribe":[1,45,128],"paradigm":[2,51],"is":[3,25,57],"used":[4,71,83],"to":[5,72,112,145,160],"support":[6],"a":[7,18,26,44,49,97,119,127,133,151,155],"many-to-many":[8],"model":[9,134],"that":[10,28],"allows":[11],"an":[12,30],"efficient":[13],"dissemination":[14],"of":[15,33,63,96,108,122,126],"messages":[16],"across":[17],"distributed":[19,78],"system.":[20],"Message":[21],"Oriented":[22],"Middleware":[23],"(MOM)":[24],"middleware":[27],"provides":[29,118],"asynchronous":[31],"method":[32],"passing":[34],"information":[35],"between":[36],"networked":[37],"applications.":[38],"MOMs":[39,68],"can":[40],"be":[41,101],"based":[42],"on":[43],"model,":[46],"which":[47],"offers":[48],"robust":[50],"for":[52],"message":[53],"delivery.":[54],"This":[55,116],"paper":[56,117],"concerned":[58],"with":[59],"this":[60],"specific":[61],"type":[62],"MOM.":[64],"Recently,":[65],"systems":[66,75],"using":[67,136],"have":[69],"been":[70],"integrate":[73],"enterprise":[74],"over":[76],"geographically":[77],"areas,":[79],"like":[80],"the":[81,94,106,124,162],"ones":[82],"in":[84],"financial":[85],"services,":[86],"telecommunication":[87],"applications,":[88],"transportation":[89],"and":[90,110,135,140,154,167],"health-care":[91],"systems.":[92],"However,":[93],"reliability":[95],"MOM":[98,129],"system":[99,130,163],"must":[100],"verified":[102],"as":[103,105],"well":[104],"guarantees":[107],"delivery":[109],"reachability":[111],"all":[113],"intended":[114],"destinations.":[115],"suitable":[120],"way":[121],"checking":[123,164],"configuration":[125],"by":[131],"building":[132],"Linear-time":[137],"Temporal":[138],"Logic":[139,143],"Computation":[141],"Tree":[142],"rules":[144],"verify":[146],"certain":[147],"constraints.":[148],"In":[149],"addition":[150],"code":[152],"generator":[153],"sub-paths":[156],"detector":[157],"are":[158],"implemented":[159],"make":[161],"more":[165],"user-friendly":[166],"efficient.":[168]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}