{"id":"https://openalex.org/W2122755355","doi":"https://doi.org/10.1007/s11334-011-0172-1","title":"Algebraic approach to linking the semantics of web services","display_name":"Algebraic approach to linking the semantics of web services","publication_year":2011,"publication_date":"2011-09-01","ids":{"openalex":"https://openalex.org/W2122755355","doi":"https://doi.org/10.1007/s11334-011-0172-1","mag":"2122755355"},"language":"en","primary_location":{"id":"doi:10.1007/s11334-011-0172-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11334-011-0172-1","pdf_url":null,"source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","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":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Huibiao Zhu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 3663 Zhongshan Road (North), Shanghai, 200062, China","Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China,200062"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 3663 Zhongshan Road (North), Shanghai, 200062, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China,200062","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114251624","display_name":"Jifeng He","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jifeng He","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 3663 Zhongshan Road (North), Shanghai, 200062, China","Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China,200062"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 3663 Zhongshan Road (North), Shanghai, 200062, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China,200062","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100336996","display_name":"Jing Li","orcid":"https://orcid.org/0000-0002-7977-103X"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jing Li","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 3663 Zhongshan Road (North), Shanghai, 200062, China","Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China,200062"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 3663 Zhongshan Road (North), Shanghai, 200062, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China,200062","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041103024","display_name":"Jonathan P. Bowen","orcid":"https://orcid.org/0000-0002-8748-6140"},"institutions":[{"id":"https://openalex.org/I4210119379","display_name":"National Archaeological Museum","ror":"https://ror.org/02st7ck79","country_code":"IT","type":"archive","lineage":["https://openalex.org/I4210119379"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Jonathan P. Bowen","raw_affiliation_strings":["Museophile Limited, Oak Barn, Sonning Eye, Reading, RG4 6TN, UK","Museophile Limited, Oak Barn, Sonning Eye, Reading, UK","Museophile Limited, Oak Barn, Sonning Eye, Reading, UK RG4 6TN#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Museophile Limited, Oak Barn, Sonning Eye, Reading, RG4 6TN, UK","institution_ids":[]},{"raw_affiliation_string":"Museophile Limited, Oak Barn, Sonning Eye, Reading, UK","institution_ids":["https://openalex.org/I4210119379"]},{"raw_affiliation_string":"Museophile Limited, Oak Barn, Sonning Eye, Reading, UK RG4 6TN#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041103024","https://openalex.org/A5100336996","https://openalex.org/A5102937444","https://openalex.org/A5114251624"],"corresponding_institution_ids":["https://openalex.org/I4210119379","https://openalex.org/I4210139618","https://openalex.org/I66867065"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":null,"fwci":2.3097,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.92660722,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"7","issue":"3","first_page":"209","last_page":"224"},"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.9973999857902527,"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.9958000183105469,"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/operational-semantics","display_name":"Operational semantics","score":0.832868218421936},{"id":"https://openalex.org/keywords/denotational-semantics-of-the-actor-model","display_name":"Denotational semantics of the Actor model","score":0.7426643371582031},{"id":"https://openalex.org/keywords/action-semantics","display_name":"Action semantics","score":0.7374758720397949},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.7273643016815186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6489030122756958},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.6118950843811035},{"id":"https://openalex.org/keywords/computational-semantics","display_name":"Computational semantics","score":0.5850242972373962},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5616182088851929},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5544468760490417},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.5004737377166748},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.4906810522079468},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4797726571559906},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.47717443108558655},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4253835380077362},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.2734082043170929}],"concepts":[{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.832868218421936},{"id":"https://openalex.org/C89448276","wikidata":"https://www.wikidata.org/wiki/Q5259284","display_name":"Denotational semantics of the Actor model","level":5,"score":0.7426643371582031},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.7374758720397949},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.7273643016815186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6489030122756958},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.6118950843811035},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.5850242972373962},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5616182088851929},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5544468760490417},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.5004737377166748},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.4906810522079468},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4797726571559906},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.47717443108558655},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4253835380077362},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.2734082043170929}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11334-011-0172-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11334-011-0172-1","pdf_url":null,"source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W4022269","https://openalex.org/W41007281","https://openalex.org/W120333500","https://openalex.org/W1239375374","https://openalex.org/W1482240164","https://openalex.org/W1487792011","https://openalex.org/W1497527018","https://openalex.org/W1506588809","https://openalex.org/W1514943866","https://openalex.org/W1540180001","https://openalex.org/W1555143792","https://openalex.org/W1556237564","https://openalex.org/W1559870885","https://openalex.org/W1579083398","https://openalex.org/W1603799276","https://openalex.org/W1828344454","https://openalex.org/W1922950412","https://openalex.org/W1936701972","https://openalex.org/W1974168649","https://openalex.org/W1979649001","https://openalex.org/W1985660652","https://openalex.org/W2010854931","https://openalex.org/W2061243320","https://openalex.org/W2089148440","https://openalex.org/W2089621397","https://openalex.org/W2093916942","https://openalex.org/W2098270955","https://openalex.org/W2098981343","https://openalex.org/W2103953153","https://openalex.org/W2110425399","https://openalex.org/W2110846749","https://openalex.org/W2118229393","https://openalex.org/W2129276634","https://openalex.org/W2129384397","https://openalex.org/W2134801513","https://openalex.org/W2146516325","https://openalex.org/W2147218830","https://openalex.org/W2148337378","https://openalex.org/W2149416537","https://openalex.org/W2150977952","https://openalex.org/W2164226682","https://openalex.org/W2986375905","https://openalex.org/W3000511677","https://openalex.org/W3144368627","https://openalex.org/W4211008702","https://openalex.org/W4244204472","https://openalex.org/W4251283131","https://openalex.org/W4254354208"],"related_works":["https://openalex.org/W2363690241","https://openalex.org/W2348616540","https://openalex.org/W2072493788","https://openalex.org/W1975908952","https://openalex.org/W4233868614","https://openalex.org/W4234924236","https://openalex.org/W2017152877","https://openalex.org/W1493950382","https://openalex.org/W4394639331","https://openalex.org/W2122755355"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}