{"id":"https://openalex.org/W2782074258","doi":"https://doi.org/10.1109/tsc.2018.2789454","title":"Web Service Interaction Modeling and Verification Using Recursive Composition Algebra","display_name":"Web Service Interaction Modeling and Verification Using Recursive Composition Algebra","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2782074258","doi":"https://doi.org/10.1109/tsc.2018.2789454","mag":"2782074258"},"language":"en","primary_location":{"id":"doi:10.1109/tsc.2018.2789454","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2018.2789454","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-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":null,"display_name":"Gopal N. Rai","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gopal N. Rai","raw_affiliation_strings":["Madanapalle Institute of Technology and Science, Madanapalle, Andhra Pradesh, India"],"affiliations":[{"raw_affiliation_string":"Madanapalle Institute of Technology and Science, Madanapalle, Andhra Pradesh, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039037892","display_name":"G. R. Gangadharan","orcid":"https://orcid.org/0000-0002-0764-2650"},"institutions":[{"id":"https://openalex.org/I150312865","display_name":"Institute for Development and Research in Banking Technology","ror":"https://ror.org/00ta0g865","country_code":"IN","type":"government","lineage":["https://openalex.org/I150312865"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"G. R. Gangadharan","raw_affiliation_strings":["IDRBT, Hyderabad, Telangana, India"],"affiliations":[{"raw_affiliation_string":"IDRBT, Hyderabad, Telangana, India","institution_ids":["https://openalex.org/I150312865"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032847771","display_name":"Vineet Padmanabhan","orcid":"https://orcid.org/0000-0002-5571-839X"},"institutions":[{"id":"https://openalex.org/I36893310","display_name":"University of Hyderabad","ror":"https://ror.org/04a7rxb17","country_code":"IN","type":"education","lineage":["https://openalex.org/I36893310"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Vineet Padmanabhan","raw_affiliation_strings":["University of Hyderabad, Hyderabad, Telangana, India"],"affiliations":[{"raw_affiliation_string":"University of Hyderabad, Hyderabad, Telangana, India","institution_ids":["https://openalex.org/I36893310"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014716105","display_name":"Rajkumar Buyya","orcid":"https://orcid.org/0000-0001-9754-6496"},"institutions":[{"id":"https://openalex.org/I165779595","display_name":"The University of Melbourne","ror":"https://ror.org/01ej9dk98","country_code":"AU","type":"education","lineage":["https://openalex.org/I165779595"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Rajkumar Buyya","raw_affiliation_strings":["University of Melbourne, Melbourne, Parkville, VIC, Australia"],"affiliations":[{"raw_affiliation_string":"University of Melbourne, Melbourne, Parkville, VIC, Australia","institution_ids":["https://openalex.org/I165779595"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2893,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.9339103,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9979000091552734,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.994700014591217,"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/computer-science","display_name":"Computer science","score":0.8659265041351318},{"id":"https://openalex.org/keywords/composability","display_name":"Composability","score":0.8230608105659485},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.7859309911727905},{"id":"https://openalex.org/keywords/web-modeling","display_name":"Web modeling","score":0.5431562662124634},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4579308331012726},{"id":"https://openalex.org/keywords/ws-policy","display_name":"WS-Policy","score":0.4544743001461029},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4391598105430603},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4358966052532196},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4338741898536682},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3379501700401306},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33165499567985535},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.32545650005340576},{"id":"https://openalex.org/keywords/web-development","display_name":"Web development","score":0.1756899356842041},{"id":"https://openalex.org/keywords/web-application-security","display_name":"Web application security","score":0.17489609122276306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8659265041351318},{"id":"https://openalex.org/C2778814252","wikidata":"https://www.wikidata.org/wiki/Q5156715","display_name":"Composability","level":2,"score":0.8230608105659485},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.7859309911727905},{"id":"https://openalex.org/C130436687","wikidata":"https://www.wikidata.org/wiki/Q7978591","display_name":"Web modeling","level":3,"score":0.5431562662124634},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4579308331012726},{"id":"https://openalex.org/C190515685","wikidata":"https://www.wikidata.org/wiki/Q749179","display_name":"WS-Policy","level":5,"score":0.4544743001461029},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4391598105430603},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4358966052532196},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4338741898536682},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3379501700401306},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33165499567985535},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.32545650005340576},{"id":"https://openalex.org/C79373723","wikidata":"https://www.wikidata.org/wiki/Q386275","display_name":"Web development","level":3,"score":0.1756899356842041},{"id":"https://openalex.org/C59241245","wikidata":"https://www.wikidata.org/wiki/Q4781497","display_name":"Web application security","level":4,"score":0.17489609122276306}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsc.2018.2789454","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2018.2789454","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.41999998688697815,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W111771363","https://openalex.org/W123147048","https://openalex.org/W594662932","https://openalex.org/W635203671","https://openalex.org/W1489021242","https://openalex.org/W1498432697","https://openalex.org/W1512371038","https://openalex.org/W1524265748","https://openalex.org/W1568575694","https://openalex.org/W1588253469","https://openalex.org/W1592190916","https://openalex.org/W1607861066","https://openalex.org/W1962632332","https://openalex.org/W1968215784","https://openalex.org/W1974447645","https://openalex.org/W1981179560","https://openalex.org/W1983305622","https://openalex.org/W1983393516","https://openalex.org/W2005830997","https://openalex.org/W2006154223","https://openalex.org/W2011715386","https://openalex.org/W2012696692","https://openalex.org/W2012880169","https://openalex.org/W2013386105","https://openalex.org/W2014999538","https://openalex.org/W2028722689","https://openalex.org/W2031916507","https://openalex.org/W2059584710","https://openalex.org/W2066521076","https://openalex.org/W2073266192","https://openalex.org/W2083091245","https://openalex.org/W2085018315","https://openalex.org/W2100535349","https://openalex.org/W2123986639","https://openalex.org/W2126728257","https://openalex.org/W2128433357","https://openalex.org/W2131064738","https://openalex.org/W2139657108","https://openalex.org/W2143669126","https://openalex.org/W2152291093","https://openalex.org/W2153074919","https://openalex.org/W2160025200","https://openalex.org/W2160225496","https://openalex.org/W2171500111","https://openalex.org/W2185658025","https://openalex.org/W2257590153","https://openalex.org/W2300979961","https://openalex.org/W2418891445","https://openalex.org/W3098287565","https://openalex.org/W4234261252","https://openalex.org/W4245409258","https://openalex.org/W4254320104","https://openalex.org/W4285719527","https://openalex.org/W6633933898","https://openalex.org/W6635138567","https://openalex.org/W6640771989","https://openalex.org/W6686449979","https://openalex.org/W6717178364","https://openalex.org/W7058388500"],"related_works":["https://openalex.org/W2966213226","https://openalex.org/W2150857843","https://openalex.org/W1492751213","https://openalex.org/W187706589","https://openalex.org/W2152443496","https://openalex.org/W158536397","https://openalex.org/W1501569591","https://openalex.org/W2011932101","https://openalex.org/W2064213895","https://openalex.org/W3139770152"],"abstract_inverted_index":{"The":[0,51,152],"design":[1],"principle":[2],"of":[3,10,20,53,66,83,115,129,155,179,199],"composability":[4],"among":[5],"Web":[6,21,27,48,58,67,85,180],"services":[7,68],"is":[8,30,122,145],"one":[9],"the":[11,16,80,104,113,125,148,156],"most":[12],"crucial":[13],"reasons":[14],"for":[15,47,147],"success":[17],"and":[18,44,127,189,193],"popularity":[19],"services.":[22,200],"However,":[23],"achieving":[24],"error-free":[25],"automatic":[26,197],"service":[28,49,59,86,181],"composition":[29,41,55,72,92,198],"still":[31],"a":[32,39,57,63,70,84,97,116],"challenge.":[33],"In":[34,76],"this":[35,139],"paper,":[36,140],"we":[37,89,102],"propose":[38,90],"recursive":[40,54,71,91,186],"based":[42,123,172],"modeling":[43,167],"verification":[45,120],"technique":[46,121],"interaction.":[50],"application":[52],"over":[56],"with":[60],"respect":[61],"to":[62,78,111],"given":[64],"set":[65],"yields":[69],"interaction":[73,87,132,182],"graph":[74],"(RCIG).":[75],"order":[77],"capture":[79],"requirement":[81,98],"specifications":[82],"scenario,":[88],"specification":[93,99],"language":[94],"(RCSL)":[95],"as":[96,107,168,185],"language.":[100],"Further,":[101],"employ":[103],"proposed":[105,157],"RCIG":[106],"an":[108],"interpretation":[109],"model":[110,170],"interpret":[112],"semantics":[114],"RCSL":[117],"formula.":[118],"Our":[119],"on":[124],"generation":[126],"analysis":[128],"all":[130],"possible":[131],"patterns.":[133],"Performance":[134],"evaluation":[135],"results,":[136],"provided":[137],"in":[138,169],"show":[141],"that":[142],"our":[143],"proposition":[144],"implementable":[146],"real":[149],"world":[150],"applications.":[151],"key":[153],"advantages":[154],"approach":[158],"are:":[159],"(i)":[160],"it":[161,175,195],"does":[162],"not":[163],"require":[164],"explicit":[165],"system":[166],"checking":[171],"approaches,":[173],"(ii)":[174],"captures":[176],"primitive":[177],"characteristics":[178],"patterns,":[183],"such":[184],"composition,":[187],"sequential":[188],"parallel":[190],"flow,":[191],"etc,":[192],"(iii)":[194],"supports":[196]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}