乐胖代购免代理版

{"id":"https://openalex.org/W2141465799","doi":"https://doi.org/10.1109/icst.2010.27","title":"A Counter-Example Testing Approach for Orchestrated Services","display_name":"A Counter-Example Testing Approach for Orchestrated Services","publication_year":2010,"publication_date":"2010-04-01","ids":{"openalex":"https://openalex.org/W2141465799","doi":"https://doi.org/10.1109/icst.2010.27","mag":"2141465799"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst.2010.27","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5023911738","display_name":"Francesco De Angelis","orcid":"https://orcid.org/0000-0001-8827-6033"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"funder","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco de Angelis","raw_affiliation_strings":["Dept. of Math. & Comput. Sci., Univ. of Camerino, Camerino, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Math. & Comput. Sci., Univ. of Camerino, Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016180635","display_name":"Andrea Polini","orcid":"https://orcid.org/0000-0002-2840-7561"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"funder","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Polini","raw_affiliation_strings":["Dept. of Math. & Comput. Sci., Univ. of Camerino, Camerino, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Math. & Comput. Sci., Univ. of Camerino, Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108404700","display_name":"Guglielmo De Angelis","orcid":null},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"funder","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Guglielmo de Angelis","raw_affiliation_strings":["ISTI--CNR, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"ISTI--CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.924,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":19,"citation_normalized_percentile":{"value":0.706776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":null,"issue":null,"first_page":"373","last_page":"382"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":1.0,"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":1.0,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.999,"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/orchestration","display_name":"Orchestration","score":0.7546818},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.5593053},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.4246459}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8592297},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.7546818},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.72032696},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6309574},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.5593053},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5544243},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5223821},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5196687},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.50443566},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5034763},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.4420886},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.4246459},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.3724408},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29711214},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.13734096},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst.2010.27","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.46}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":18,"referenced_works":["https://openalex.org/W1490535996","https://openalex.org/W1539797561","https://openalex.org/W1584784988","https://openalex.org/W1896160926","https://openalex.org/W2006867623","https://openalex.org/W2028586402","https://openalex.org/W2052495090","https://openalex.org/W2094545987","https://openalex.org/W2107313510","https://openalex.org/W2123986639","https://openalex.org/W2136277350","https://openalex.org/W2153074919","https://openalex.org/W2160225496","https://openalex.org/W3033024692","https://openalex.org/W4211181233","https://openalex.org/W4241509948","https://openalex.org/W4285719527","https://openalex.org/W65517794"],"related_works":["https://openalex.org/W580258128","https://openalex.org/W4210370802","https://openalex.org/W2465848154","https://openalex.org/W2391018907","https://openalex.org/W2382209682","https://openalex.org/W2208347154","https://openalex.org/W2156144933","https://openalex.org/W2150570828","https://openalex.org/W1549769711","https://openalex.org/W1548422763"],"abstract_inverted_index":{"Service":[0],"oriented":[1],"computing":[2],"is":[3],"based":[4],"on":[5,76],"a":[6,99,108,135,155],"typical":[7],"combination":[8],"of":[9,18,40,62,95,107],"features":[10],"such":[11],"as":[12],"very":[13],"late":[14],"binding,":[15],"run-time":[16,27],"integration":[17,127],"software":[19],"elements":[20],"owned":[21],"and":[22,36,47,56,114],"managed":[23],"by":[24],"third":[25],"parties,":[26],"changes.":[28],"These":[29],"characteristics":[30],"generally":[31],"make":[32],"difficult":[33],"both":[34],"static":[35],"dynamic":[37],"verification":[38,46],"capabilities":[39],"service-centric":[41],"systems.":[42],"In":[43,72,146],"this":[44,73,147],"domain":[45],"testing":[48],"research":[49],"communities":[50],"have":[51],"to":[52,83,119,124,167],"face":[53],"new":[54,64,68],"issues":[55],"revise":[57],"existing":[58],"solutions;":[59],"possibly":[60],"profiting":[61],"the":[63,67,93,105,138],"opportunities":[65],"that":[66],"paradigm":[69],"makes":[70],"available.":[71],"paper,":[74],"focusing":[75],"service":[77,163],"orchestrations,":[78],"we":[79],"propose":[80],"an":[81],"approach":[82,103,130],"automatic":[84],"test":[85,121,158],"case":[86],"generation":[87],"aiming":[88],"in":[89,98,134],"particular":[90],"at":[91],"checking":[92,117],"behaviour":[94],"services":[96],"participating":[97],"given":[100],"orchestration.":[101],"The":[102,129],"exploits":[104],"availability":[106],"runnable":[109],"model":[110,116],"(the":[111],"BPEL":[112,149],"specification)":[113],"uses":[115],"techniques":[118],"derive":[120],"cases":[122],"suitable":[123],"detect":[125],"possible":[126],"problems.":[128],"has":[131],"been":[132],"implemented":[133],"plug-in":[136],"for":[137,143,160],"Eclipse":[139],"platform":[140],"already":[141],"released":[142],"public":[144],"usage.":[145],"way":[148],"developers":[150],"can":[151],"easily":[152],"derive,":[153],"using":[154],"single":[156],"environment,":[157],"suites":[159],"each":[161],"participant":[162],"they":[164],"would":[165],"like":[166],"compose.":[168]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2141465799","counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":6}],"updated_date":"2025-03-17T23:25:58.733771","created_date":"2016-06-24"}