{"id":"https://openalex.org/W3140241946","doi":"https://doi.org/10.1109/pesos.2012.6225935","title":"Local model learning for asynchronous services","display_name":"Local model learning for asynchronous services","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W3140241946","doi":"https://doi.org/10.1109/pesos.2012.6225935","mag":"3140241946"},"language":"en","primary_location":{"id":"doi:10.1109/pesos.2012.6225935","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pesos.2012.6225935","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5070832857","display_name":"Casandra Holotescu","orcid":null},"institutions":[{"id":"https://openalex.org/I3122695212","display_name":"Polytechnic University of Timi\u015foara","ror":"https://ror.org/02v91gy68","country_code":"RO","type":"education","lineage":["https://openalex.org/I3122695212"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Casandra Holotescu","raw_affiliation_strings":["Department of Computer and Software Engineering, Politehnica University of Timi\u015foara, Timisoara, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Software Engineering, Politehnica University of Timi\u015foara, Timisoara, Romania","institution_ids":["https://openalex.org/I3122695212"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5070832857"],"corresponding_institution_ids":["https://openalex.org/I3122695212"],"apc_list":null,"apc_paid":null,"fwci":0.283,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54226361,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"22","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9962999820709229,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9962999820709229,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9962000250816345,"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/T10260","display_name":"Software Engineering Research","score":0.9940000176429749,"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.8330878019332886},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7625705003738403},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.7446131706237793},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6790843605995178},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5649209022521973},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5486323833465576},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5315950512886047},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.4869609773159027},{"id":"https://openalex.org/keywords/service-model","display_name":"Service model","score":0.46432653069496155},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45120489597320557},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.430310994386673},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41255950927734375},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4109021723270416},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3656376004219055},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3437843918800354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27866798639297485},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.21048742532730103},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1716090738773346}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8330878019332886},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7625705003738403},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.7446131706237793},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6790843605995178},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5649209022521973},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5486323833465576},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5315950512886047},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.4869609773159027},{"id":"https://openalex.org/C2983289691","wikidata":"https://www.wikidata.org/wiki/Q7455768","display_name":"Service model","level":3,"score":0.46432653069496155},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45120489597320557},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.430310994386673},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41255950927734375},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4109021723270416},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3656376004219055},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3437843918800354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27866798639297485},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.21048742532730103},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1716090738773346},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/pesos.2012.6225935","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pesos.2012.6225935","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338370","display_name":"FP7 Information and Communication Technologies","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W65260318","https://openalex.org/W84123355","https://openalex.org/W138239890","https://openalex.org/W1517402704","https://openalex.org/W1546246283","https://openalex.org/W1560397499","https://openalex.org/W1573881032","https://openalex.org/W1760635954","https://openalex.org/W1840142437","https://openalex.org/W1989445634","https://openalex.org/W2021418918","https://openalex.org/W2035374283","https://openalex.org/W2059057465","https://openalex.org/W2063277386","https://openalex.org/W2092622056","https://openalex.org/W2130826964","https://openalex.org/W2142973056","https://openalex.org/W2145020764","https://openalex.org/W2154958885","https://openalex.org/W2163119090","https://openalex.org/W2483649756","https://openalex.org/W2751866193","https://openalex.org/W6605595423","https://openalex.org/W6628852112","https://openalex.org/W6634601099","https://openalex.org/W6679479249"],"related_works":["https://openalex.org/W2583381754","https://openalex.org/W2144255176","https://openalex.org/W2222333653","https://openalex.org/W1970797462","https://openalex.org/W109977192","https://openalex.org/W2566747981","https://openalex.org/W4312120139","https://openalex.org/W2809541058","https://openalex.org/W2342453732","https://openalex.org/W3199687328"],"abstract_inverted_index":{"Software":[0],"services":[1,86],"are":[2,56,154],"often":[3],"composed":[4],"into":[5],"more":[6,138],"complex":[7],"systems.":[8],"Existing":[9],"methods":[10],"ensure":[11],"the":[12,26,31,34,50,113,124,134],"correctness":[13],"of":[14,112],"service":[15,24,125,142],"compositions":[16],"by":[17,94],"automatically":[18],"generating":[19],"a":[20,23,38,73,119],"mediator/adaptor":[21],"service:":[22],"in":[25,33,106,133],"middle":[27],"to":[28,64,108,145,157],"properly":[29],"coordinate":[30],"interactions":[32],"system":[35,121],"towards":[36],"satisfying":[37],"desired":[39],"temporal":[40],"property.":[41],"This":[42],"is":[43,91,127],"accomplished":[44],"using":[45],"formal":[46],"behavioural":[47],"models":[48,55,153],"for":[49,80,118,160],"participating":[51],"services.":[52,70,83],"However,":[53],"such":[54,85],"not":[57,92],"always":[58],"provided,":[59],"which":[60,90],"makes":[61],"it":[62],"difficult":[63],"compose":[65],"systems":[66],"containing":[67],"incompletely":[68],"specified":[69],"We":[71],"developed":[72],"black-box":[74,141],"model":[75,104,126,143],"learning":[76,96],"method":[77],"specifically":[78],"adapted":[79],"stateful":[81],"asynchronous":[82],"Often,":[84],"exhibit":[87],"uncontrollable":[88],"behaviour,":[89],"addressed":[93],"current":[95],"techniques.":[97],"Our":[98],"technique":[99],"interleaves":[100],"runtime":[101],"exploration":[102],"with":[103],"refinement":[105],"order":[107],"learn":[109],"an":[110],"approximation":[111],"real":[114],"behaviour":[115],"that":[116,151],"allows":[117],"safe":[120],"composition.":[122],"Furthermore,":[123],"learned":[128],"locally,":[129],"thus":[130],"allowing":[131],"parallelism":[132],"inference":[135],"process":[136],"when":[137],"than":[139],"one":[140],"has":[144],"be":[146,158],"learned.":[147],"Experiments":[148],"performed":[149],"show":[150],"obtained":[152],"precise":[155],"enough":[156],"used":[159],"adaptor":[161],"synthesis.":[162]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}