{"id":"https://openalex.org/W2158602388","doi":"https://doi.org/10.1109/ftdcs.2004.1316588","title":"Introducing compositionality in web service descriptions","display_name":"Introducing compositionality in web service descriptions","publication_year":2004,"publication_date":"2004-11-12","ids":{"openalex":"https://openalex.org/W2158602388","doi":"https://doi.org/10.1109/ftdcs.2004.1316588","mag":"2158602388"},"language":"en","primary_location":{"id":"doi:10.1109/ftdcs.2004.1316588","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ftdcs.2004.1316588","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 10th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2004. FTDCS 2004.","raw_type":"proceedings-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/A5102904860","display_name":"Monika Solanki","orcid":"https://orcid.org/0000-0002-2345-449X"},"institutions":[{"id":"https://openalex.org/I66943878","display_name":"De Montfort University","ror":"https://ror.org/0312pnr83","country_code":"GB","type":"education","lineage":["https://openalex.org/I66943878"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"M. Solanki","raw_affiliation_strings":["Software Technology Research Laboratory, De Montfort University, Leicester, UK"],"affiliations":[{"raw_affiliation_string":"Software Technology Research Laboratory, De Montfort University, Leicester, UK","institution_ids":["https://openalex.org/I66943878"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005843564","display_name":"Antonio Cau","orcid":"https://orcid.org/0000-0002-3046-1217"},"institutions":[{"id":"https://openalex.org/I66943878","display_name":"De Montfort University","ror":"https://ror.org/0312pnr83","country_code":"GB","type":"education","lineage":["https://openalex.org/I66943878"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A. Cau","raw_affiliation_strings":["Software Technology Research Laboratory, De Montfort University, Leicester, UK"],"affiliations":[{"raw_affiliation_string":"Software Technology Research Laboratory, De Montfort University, Leicester, UK","institution_ids":["https://openalex.org/I66943878"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111660006","display_name":"Hussein Zedan","orcid":null},"institutions":[{"id":"https://openalex.org/I66943878","display_name":"De Montfort University","ror":"https://ror.org/0312pnr83","country_code":"GB","type":"education","lineage":["https://openalex.org/I66943878"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hussein Zedan","raw_affiliation_strings":["Software Technology Research Laboratory, De Montfort University, Leicester, UK","Software Technology Research Lab, De Montfort University, Leicester, UK"],"affiliations":[{"raw_affiliation_string":"Software Technology Research Laboratory, De Montfort University, Leicester, UK","institution_ids":["https://openalex.org/I66943878"]},{"raw_affiliation_string":"Software Technology Research Lab, De Montfort University, Leicester, UK","institution_ids":["https://openalex.org/I66943878"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102904860"],"corresponding_institution_ids":["https://openalex.org/I66943878"],"apc_list":null,"apc_paid":null,"fwci":4.847,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.95223184,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"a 56","issue":null,"first_page":"14","last_page":"20"},"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":0.9983000159263611,"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":0.9983000159263611,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9947999715805054,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9947999715805054,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.8643978834152222},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7428289651870728},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.6648336052894592},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5948526263237},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5295936465263367},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.48957595229148865},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4665626585483551},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.43344345688819885},{"id":"https://openalex.org/keywords/service-composition","display_name":"Service composition","score":0.4239591658115387},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37865227460861206},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17628061771392822}],"concepts":[{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.8643978834152222},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7428289651870728},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6648336052894592},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5948526263237},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5295936465263367},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.48957595229148865},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4665626585483551},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.43344345688819885},{"id":"https://openalex.org/C2983385018","wikidata":"https://www.wikidata.org/wiki/Q7455734","display_name":"Service composition","level":3,"score":0.4239591658115387},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37865227460861206},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17628061771392822},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/ftdcs.2004.1316588","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ftdcs.2004.1316588","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 10th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2004. FTDCS 2004.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.357.1827","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.1827","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.tech.dmu.ac.uk/STRL/research/publications/pubs/2003/2003-8.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.96.6091","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.6091","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://perso.enst.fr/~demeure/WKSHP-ANWIRE/Solanski-paper.pdf","raw_type":"text"},{"id":"pmh:oai:dora.dmu.ac.uk:2086/3550","is_oa":false,"landing_page_url":"http://hdl.handle.net/2086/3550","pdf_url":null,"source":{"id":"https://openalex.org/S4306400394","display_name":"DMU Open Research Archive (De Montfort University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66943878","host_organization_name":"De Montfort University","host_organization_lineage":["https://openalex.org/I66943878"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4000000059604645,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W80370608","https://openalex.org/W103336569","https://openalex.org/W181757201","https://openalex.org/W1239375374","https://openalex.org/W1497559908","https://openalex.org/W1524265748","https://openalex.org/W1575746435","https://openalex.org/W2038952689","https://openalex.org/W2047475087","https://openalex.org/W2134353308","https://openalex.org/W2139609292","https://openalex.org/W2158602388","https://openalex.org/W2166309559","https://openalex.org/W2170523074","https://openalex.org/W4250612252","https://openalex.org/W6607453749","https://openalex.org/W6679883038","https://openalex.org/W6683655030"],"related_works":["https://openalex.org/W3095531775","https://openalex.org/W1526190050","https://openalex.org/W4251923961","https://openalex.org/W2477397717","https://openalex.org/W2010490241","https://openalex.org/W2759178867","https://openalex.org/W1606807920","https://openalex.org/W3023528543","https://openalex.org/W166507480","https://openalex.org/W2103777085"],"abstract_inverted_index":{"Web":[0],"services":[1],"are":[2,44,52],"essentially":[3],"black":[4],"box":[5],"components":[6],"from":[7],"a":[8,11,78,83,116],"composer's":[9],"or":[10,77],"mediator's":[12],"perspective.":[13],"The":[14,107],"behavioural":[15],"description":[16],"of":[17,39,61,73,104,125],"any":[18],"service":[19,33,40,63,76,87,100],"can":[20],"be":[21,47],"asserted":[22],"by":[23,31],"the":[24,32,56,62],"composer":[25],"only":[26,54],"through":[27],"interface":[28],"predicates":[29],"exposed":[30],"provider":[34],"Normally":[35],"for":[36,85,119],"proving":[37,122],"properties":[38,51,124],"compositions,":[41],"pre/post":[42],"conditions":[43],"found":[45],"to":[46],"sufficient.":[48],"However":[49],"these":[50],"assertions":[53],"on":[55,111],"initial":[57],"and":[58,94,102,121],"final":[59],"states":[60],"respectively.":[64],"They":[65],"do":[66],"not":[67],"help":[68],"in":[69],"specifying/verifying":[70],"ongoing":[71],"behaviour":[72],"an":[74],"individual":[75],"composed":[79],"system.":[80],"We":[81],"propose":[82],"framework":[84],"enriching":[86],"descriptions":[88],"with":[89],"two":[90],"compositional":[91],"assertions:":[92],"assumption":[93],"commitment":[95],"that":[96],"facilitate":[97],"reasoning":[98],"about":[99],"composition":[101],"verification":[103],"their":[105],"integration.":[106],"technique":[108],"is":[109],"based":[110],"interval":[112],"temporal":[113,123],"logic":[114],"(ITL),":[115],"sound":[117],"formalism":[118],"specifying":[120],"systems.":[126]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}