乐胖代购免代理版

{"id":"https://openalex.org/W2343783438","doi":"https://doi.org/10.1109/tse.2016.2560842","title":"Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources","display_name":"Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources","publication_year":2016,"publication_date":"2016-04-29","ids":{"openalex":"https://openalex.org/W2343783438","doi":"https://doi.org/10.1109/tse.2016.2560842","mag":"2343783438"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2016.2560842","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5025160204","display_name":"Valent\u00edn Valero","orcid":"https://orcid.org/0000-0003-3462-7656"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"funder","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Valentin Valero","raw_affiliation_strings":["Department of Computer Science, University of Castilla-La Mancha, Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007021551","display_name":"Gregorio D\u0131\u0301az","orcid":"https://orcid.org/0000-0002-9116-9535"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"funder","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Gregorio Diaz","raw_affiliation_strings":["Department of Computer Science, University of Castilla-La Mancha, Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053582424","display_name":"M. Emilia Cambronero","orcid":"https://orcid.org/0000-0003-2153-8830"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"funder","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Maria-Emilia Cambronero","raw_affiliation_strings":["Department of Computer Science, University of Castilla-La Mancha, Albacete, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.007,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.931191,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":86,"max":87},"biblio":{"volume":"43","issue":"1","first_page":"76","last_page":"99"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9994,"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"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9994,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9985,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/publication","display_name":"Publication","score":0.49644834}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9162251},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6181017},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5482559},{"id":"https://openalex.org/C41458344","wikidata":"https://www.wikidata.org/wiki/Q732577","display_name":"Publication","level":2,"score":0.49644834},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47042465},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35160846},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27166042},{"id":"https://openalex.org/C112698675","wikidata":"https://www.wikidata.org/wiki/Q37038","display_name":"Advertising","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2016.2560842","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320321595","funder_display_name":"Federaci\u00f3n Espa\u00f1ola de Enfermedades Raras","award_id":"TIN2012-36812-C02-02"},{"funder":"https://openalex.org/F4320321595","funder_display_name":"Federaci\u00f3n Espa\u00f1ola de Enfermedades Raras","award_id":"TIN2015-65845-c03-02"}],"datasets":[],"versions":[],"referenced_works_count":22,"referenced_works":["https://openalex.org/W1479764148","https://openalex.org/W1517296227","https://openalex.org/W1547063305","https://openalex.org/W1580495911","https://openalex.org/W1583588696","https://openalex.org/W183918873","https://openalex.org/W1889014638","https://openalex.org/W1962072139","https://openalex.org/W2042795885","https://openalex.org/W2049601937","https://openalex.org/W2050118349","https://openalex.org/W2055834535","https://openalex.org/W2068710718","https://openalex.org/W2101508170","https://openalex.org/W2131929623","https://openalex.org/W2137513279","https://openalex.org/W2137865376","https://openalex.org/W2144607680","https://openalex.org/W2153074919","https://openalex.org/W238307237","https://openalex.org/W4247966168","https://openalex.org/W4252147757"],"related_works":["https://openalex.org/W4243252198","https://openalex.org/W3137189469","https://openalex.org/W2462343658","https://openalex.org/W2380389143","https://openalex.org/W2363160663","https://openalex.org/W2166247150","https://openalex.org/W2135396778","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W1527862632"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"present":[4],"a":[5,39,44,57],"Timed":[6],"Automata":[7],"model":[8,63,126],"for":[9,66],"the":[10,14,24,32,81,99,125,128,131,135],"Publish/Subscribe":[11],"paradigm":[12],"in":[13,43,105],"context":[15],"of":[16,26,41,59,102,112,130],"Web":[17,45],"Service":[18,46],"Compositions":[19],"with":[20,50],"distributed":[21,60],"resources,":[22,74],"on":[23,134],"basis":[25],"an":[27],"algebraic":[28],"language":[29],"inspired":[30],"by":[31],"WSRF":[33],"standard":[34],"constructions.":[35],"This":[36],"framework":[37],"allows":[38],"set":[40],"participants":[42],"composition":[47],"to":[48,55,68,73,77,98,107,123],"interact":[49],"one":[51],"another":[52],"and":[53,71,91,127],"also":[54],"manage":[56],"collection":[58],"resources.":[61],"The":[62],"includes":[64],"operations":[65],"clients":[67],"publish,":[69],"discover":[70],"subscribe":[72],"so":[75],"as":[76],"be":[78,96],"notified":[79],"when":[80],"resource":[82],"property":[83],"values":[84],"fulfill":[85],"certain":[86,110],"conditions":[87],"(topic-based":[88],"subscription).":[89],"Simulation":[90],"model-checking":[92],"techniques":[93],"can":[94],"therefore":[95],"applied":[97],"obtained":[100,136],"network":[101],"timed":[103,137],"automata,":[104],"order":[106],"check":[108],"whether":[109],"properties":[111,133],"interest":[113],"are":[114],"satisfied.":[115],"A":[116],"specific":[117],"case":[118],"study":[119],"is":[120],"finally":[121],"presented":[122],"illustrate":[124],"verification":[129],"relevant":[132],"automata":[138],"model.":[139]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2343783438","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4}],"updated_date":"2025-04-09T07:47:58.020959","created_date":"2016-06-24"}