{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:44:17Z","timestamp":1778215457468,"version":"3.51.4"},"reference-count":51,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T00:00:00Z","timestamp":1309478400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2011,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We propose a formal operational semantics for service discovery and binding. This semantics is based on a graph-based representation of the configuration of global computers typed by business activities. Business activities execute distributed workflows that can trigger, at run time, the discovery, ranking and selection of services to which they bind, thus reconfiguring the workflows that they execute. Discovery, ranking and selection are based on compliance with required business and interaction protocols and optimisation of quality-of-service constraints. Binding and reconfiguration are captured as algebraic operations on configuration graphs. We also discuss the methodological implications that this model framework has on software engineering using a typical travel-booking scenario. To the best of our knowledge, our approach is the first to provide a clear separation between service computation and discovery\/instantiation\/binding, and to offer a formal framework that is independent of the SOA middleware components that act as service registries or brokers, and the protocols through which bindings and invocations are performed.<\/jats:p>","DOI":"10.1007\/s00165-010-0166-z","type":"journal-article","created":{"date-parts":[[2010,10,26]],"date-time":"2010-10-26T06:33:49Z","timestamp":1288074829000},"page":"433-463","source":"Crossref","is-referenced-by-count":20,"title":["An abstract model of service discovery and binding"],"prefix":"10.1145","volume":"23","author":[{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Leicester, LE1 7RH, Leicester, UK"}]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[{"name":"Department of Informatics, Faculty of Sciences, University of Lisbon, Lisbon, Portugal"}]},{"given":"Laura","family":"Bocchi","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Leicester, LE1 7RH, Leicester, UK"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","first-page":"358","volume-title":"FORTE. Lecture notes in computer science, vol 4574","author":"Abreu J","year":"2007"},{"key":"e_1_2_1_2_2_2","unstructured":"van der Aalst WMP Beisiegel M van Hee KM K\u00f6nig D Stahl C (2006) A SOA -based architecture framework. In: Leymann F Reisig W Thatte SR van der Aalst WMP (eds) The role of business processes in service oriented architectures volume 06291 of Dagstuhl seminar proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI) S chloss Dagstuhl Germany"},{"key":"e_1_2_1_2_3_2","volume-title":"Web services\u2014concepts, architectures and applications. Data-centric systems and applications","author":"Alonso G","year":"2004"},{"key":"e_1_2_1_2_4_2","first-page":"1","volume-title":"COORDINATION. Lecture notes in computer science, vol 5052","author":"Abreu J","year":"2008"},{"issue":"3","key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","article-title":"A formal basis for architectural connection","volume":"6","author":"Allen R","year":"1998","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","unstructured":"Abreu J Mazzanti F Fiadeiro JL Gnesi S (2009) A model-checking approach for service component architectures. In Lee et\u00a0al. [LLPH09] pp 219\u2013224","DOI":"10.1007\/978-3-642-02138-1_15"},{"key":"e_1_2_1_2_7_2","first-page":"38","volume-title":"WS-FM. Lecture notes in computer science, vol 4184","author":"Boreale M","year":"2006"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.1260703"},{"key":"e_1_2_1_2_9_2","first-page":"133","volume-title":"FMICS. Lecture notes in computer science, vol 4916","author":"ter Beek MH","year":"2007"},{"key":"e_1_2_1_2_10_2","first-page":"155","volume-title":"ISoLA. Communications in computer and information science, vol 17","author":"Bocchi L","year":"2008"},{"key":"e_1_2_1_2_11_2","first-page":"163","volume-title":"FASE Lecture notes in computer science, vol 4961","author":"Bocchi L","year":"2008"},{"key":"e_1_2_1_2_12_2","first-page":"92","volume-title":"WS-FM. Lecture notes in computer science, vol 4937","author":"Bocchi L","year":"2007"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/1189748.1189753"},{"key":"e_1_2_1_2_14_2","first-page":"186","volume-title":"TGC. Lecture notes in computer science, vol 4912","author":"Bruni R","year":"2007"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Buscemi MG Montanari U (2007) Cc-pi: a constraint-based language for specifying service level agreements. In: Nicola [Nic07] pp 18\u201332","DOI":"10.1007\/978-3-540-71316-6_3"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/256303.256306"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.26"},{"key":"e_1_2_1_2_18_2","first-page":"15","volume-title":"TES. Lecture notes in computer science, vol 3324","author":"Bordeaux L","year":"2004"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/1328671.1328672"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Carbone M Honda K Yoshida N (2007) Structured communication-centred programming for web services. In: Nicola [Nic07] pp 2\u201317","DOI":"10.1007\/978-3-540-71316-6_2"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843004001012"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.11"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/1278201.1278203"},{"key":"e_1_2_1_2_24_2","first-page":"22","volume-title":"FMCO. Lecture notes in computer science, vol 4111","author":"Ferrari GL","year":"2005"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"publisher","DOI":"10.5555\/994022"},{"key":"e_1_2_1_2_26_2","volume-title":"The grid 2: blueprint for a new computing infrastructure","author":"Foster IT","year":"2004"},{"key":"e_1_2_1_2_27_2","unstructured":"Fiadeiro JL Lopes A Abreu J (2010) A formal model for service-oriented interactions. http:\/\/www.cs.le.ac.uk\/srml"},{"key":"e_1_2_1_2_28_2","first-page":"37","volume-title":"WADT. Lecture notes in computer science, vol 4409","author":"Fiadeiro JL","year":"2006"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Fiadeiro JL Lopes A Bocchi L Abreu J (2010) The Sensoria reference modelling language. In: Wirsing M Hoelzl M (eds) Rigorous software engineering for service-oriented systems LNCS. Springer Berlin (to appear)","DOI":"10.1007\/978-3-642-20401-2_5"},{"key":"e_1_2_1_2_30_2","first-page":"194","volume-title":"CALCO. Lecture notes in computer science, vol 4624","author":"Fiadeiro JL","year":"2007"},{"key":"e_1_2_1_2_31_2","first-page":"1","volume-title":"IW-SOSWE","author":"Gu Q","year":"2007"},{"key":"e_1_2_1_2_32_2","doi-asserted-by":"crossref","unstructured":"Kitchin D Quark A Cook WR Misra J (2009) The O rc programming language. In: Lee D et\u00a0al [LLPH09] pp 1\u201325","DOI":"10.1007\/978-3-642-02138-1_1"},{"key":"e_1_2_1_2_33_2","unstructured":"Lee D Lopes A Poetzsch-Heffter A (eds) (2009) Formal techniques for distributed systems joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009 Lisboa Portugal June 9\u201312 2009. In: Proceedings. Lecture notes in computer science vol 5522. Springer Berlin"},{"key":"e_1_2_1_2_34_2","doi-asserted-by":"crossref","unstructured":"Lapadula A Pugliese R Tiezzi F (2007) A calculus for orchestration of web services. In: Nicola R [Nic07] pp 33\u201347","DOI":"10.1007\/978-3-540-71316-6_4"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"crossref","unstructured":"Mukhija A Dingwall-Smith A Rosenblum DS (2007) Q o S -aware service composition in D ino. In: ECOWS pp 3\u201312. IEEE Computer Society","DOI":"10.1109\/ECOWS.2007.24"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/1035167.1035214","volume-title":"ICSOC","author":"Mukhi N","year":"2004"},{"key":"e_1_2_1_2_37_2","first-page":"180","volume-title":"ECSA. Lecture notes in computer science, vol 5292","author":"Myll\u00e4rniemi V","year":"2008"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"crossref","unstructured":"De Nicola R (ed) (2007) Programming languages and systems. 16th European symposium on programming ESOP 2007 held as part of the Joint European conferences on theory and practics of software ETAPS 2007 Braga Portugal March 24\u2013April 1 2007. Proceedings volume 4421 of Lecture notes in computer science. Springer New York","DOI":"10.1007\/978-3-540-71316-6"},{"key":"e_1_2_1_2_39_2","unstructured":"OSOA (2005) Service component architecture: building systems using a service oriented architecture. http:\/\/www.osoa.org"},{"issue":"2","key":"e_1_2_1_2_40_2","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s10009-006-0015-9","article-title":"An ontology for software component matching","volume":"9","author":"Pahl C","year":"2007","journal-title":"STTT"},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1236471"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.400"},{"key":"e_1_2_1_2_43_2","first-page":"243","volume-title":"FMOODS. Lecture notes in computer science, vol 3535","author":"Reisig W","year":"2005"},{"key":"e_1_2_1_2_44_2","first-page":"271","volume-title":"UNISCON. Lecture notes in business information processing, vol 5","author":"Reisig W","year":"2008"},{"key":"e_1_2_1_2_45_2","first-page":"43","volume-title":"SWSWPC","author":"Rao J","year":"2004"},{"key":"e_1_2_1_2_46_2","unstructured":"UDDI (2004) UDDI specification technical committee draft. Technical report OASIS. http:\/\/uddi.org\/pubs\/uddiv3.htm\/"},{"key":"e_1_2_1_2_47_2","first-page":"269","volume-title":"ESOP. Lecture notes in computer science, vol 4960","author":"Vieira HT","year":"2008"},{"key":"e_1_2_1_2_48_2","unstructured":"W3C (2007) Simple object access protocol ( SOAP ) 1.2. W3C recommendation. http:\/\/www.w3.org\/TR\/SOAP\/"},{"key":"e_1_2_1_2_49_2","unstructured":"Wirsing M Hoelzl M (eds) Rigorous software engineering for service-oriented systems. In: LNCS. Springer (to appear)"},{"key":"e_1_2_1_2_50_2","doi-asserted-by":"crossref","unstructured":"Wermelinger M Lopes A Fiadeiro JL (2001) A graph based architectural (re)configuration language. In: ESEC\/SIGSOFT FSE pp 21\u201332","DOI":"10.1145\/503271.503213"},{"key":"e_1_2_1_2_51_2","unstructured":"Yu T Lin K-J (2005) A broker-based framework for QoS-aware web service composition. In: EEE. IEEE Computer Society pp 22\u201329"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-010-0166-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-010-0166-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-010-0166-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T16:02:03Z","timestamp":1641484923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-010-0166-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":51,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["10.1007\/s00165-010-0166-z"],"URL":"https:\/\/doi.org\/10.1007\/s00165-010-0166-z","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7]]}}}