{"id":"https://openalex.org/W4254906440","doi":"https://doi.org/10.1109/iwast.2013.6595787","title":"ParTes: A test generation strategy for choreography participants","display_name":"ParTes: A test generation strategy for choreography participants","publication_year":2013,"publication_date":"2013-05-01","ids":{"openalex":"https://openalex.org/W4254906440","doi":"https://doi.org/10.1109/iwast.2013.6595787"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwast.2013.6595787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-00826638/document","any_repository_has_fulltext":true},"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":["Computer Science Division, University of Camerino, Camerino, Italy"],"affiliations":[{"raw_affiliation_string":"Computer Science Division, University of Camerino, Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022855757","display_name":"Daniele Fani'","orcid":null},"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":"Daniele Fani","raw_affiliation_strings":["Computer Science Division, University of Camerino, Camerino, Italy"],"affiliations":[{"raw_affiliation_string":"Computer Science Division, University of Camerino, Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016180635","display_name":"Andrea Polini","orcid":"https://orcid.org/0000-0002-2840-7561"},"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":"Andrea Polini","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":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":5,"citation_normalized_percentile":{"value":0.9375,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":80,"max":81},"biblio":{"volume":null,"issue":null,"first_page":"26","last_page":"32"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.998,"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.9886,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/choreography","display_name":"Choreography","score":0.7982099},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.47456032}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.83225},{"id":"https://openalex.org/C183920142","wikidata":"https://www.wikidata.org/wiki/Q180856","display_name":"Choreography","level":3,"score":0.7982099},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.629004},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.50728816},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48380226},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.47813594},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.47456032},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44358182},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.41655695},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.3365084},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2924599},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15523672},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.10308778},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C147446459","wikidata":"https://www.wikidata.org/wiki/Q11639","display_name":"Dance","level":2,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwast.2013.6595787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00826638","pdf_url":"https://inria.hal.science/hal-00826638/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00826638/file/ast2013.pdf","pdf_url":"https://inria.hal.science/hal-00826638/file/ast2013.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-00826638/file/ast2013.pdf","pdf_url":"https://hal.inria.fr/hal-00826638/file/ast2013.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-00826638/document","pdf_url":"https://hal.inria.fr/hal-00826638/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.9962","pdf_url":"http://hal.inria.fr/docs/00/82/66/38/PDF/ast2013.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00826638","pdf_url":"https://inria.hal.science/hal-00826638/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.44,"display_name":"Partnerships for the goals"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":8,"referenced_works":["https://openalex.org/W1500477099","https://openalex.org/W1526210217","https://openalex.org/W1577602361","https://openalex.org/W2057339615","https://openalex.org/W2082707656","https://openalex.org/W2136922549","https://openalex.org/W2141465799","https://openalex.org/W2149406008"],"related_works":["https://openalex.org/W4317929841","https://openalex.org/W4233928602","https://openalex.org/W4205109123","https://openalex.org/W3184506649","https://openalex.org/W3084123073","https://openalex.org/W2900505934","https://openalex.org/W2397017983","https://openalex.org/W2373396016","https://openalex.org/W2262525553","https://openalex.org/W1986563699"],"abstract_inverted_index":{"Inter-organizational":[0],"business":[1,13],"processes":[2],"permit":[3],"to":[4,11,27,39,46,57,61,107,114,127,150,163,169,175],"specify":[5],"how":[6,29],"different":[7,30],"organizations":[8,31],"can":[9,101],"integrate":[10,83],"carryon":[12],"activities":[14],"together.":[15],"In":[16],"this":[17],"context":[18],"choreography":[19,120,139],"specifications":[20,77],"provide":[21],"a":[22,49,92,116,119,143,159],"particularly":[23,73],"useful":[24,69],"view":[25],"permitting":[26,45],"define":[28],"should":[32],"interact":[33],"and":[34,43,51,68,80,105],"exchange":[35],"messages":[36],"in":[37,137,177],"order":[38],"fruitfully":[40],"cooperate.":[41],"Tools":[42],"mechanisms":[44],"check":[47,108],"that":[48],"stakeholder,":[50],"its":[52],"provided":[53],"e-services,":[54],"are":[55,78,182],"able":[56],"correctly":[58],"cooperate":[59],"according":[60],"the":[62,109,132,138,171],"global":[63],"specification":[64,140],"become":[65],"an":[66],"important":[67],"asset.":[70],"This":[71,89],"is":[72,126,156],"true":[74],"when":[75,179],"open":[76],"considered":[79],"services":[81],"dynamically":[82],"with":[84],"each":[85],"other":[86],"at":[87],"run-time.":[88],"paper":[90],"proposes":[91],"novel":[93],"derivation":[94,154],"strategy":[95],"for":[96,152],"test":[97,129,153],"case":[98],"skeletons,":[99],"which":[100,167],"be":[102],"successively":[103],"refined":[104],"concretized":[106],"behaviour":[110],"of":[111,148,173],"parties":[112],"willing":[113],"play":[115],"role":[117],"within":[118],"enactment.":[121],"The":[122,146],"very":[123],"basic":[124],"idea":[125],"derive":[128],"cases":[130],"from":[131],"possible":[133],"interaction":[134],"traces":[135,149],"included":[136],"handled":[141],"as":[142],"workflow":[144],"graph.":[145],"selection":[147],"use":[151],"purpose":[155],"driven":[157],"by":[158],"specifically":[160],"conceived":[161],"technique":[162],"work":[164],"flow":[165],"refactoring":[166],"permits":[168],"reduce":[170],"number":[172],"interleavings":[174],"explore,":[176],"particular":[178],"parallel":[180],"statements":[181],"considered.":[183]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4254906440","counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-04-20T22:51:38.846913","created_date":"2022-05-12"}