{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T11:51:43Z","timestamp":1711972303672},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"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":[[2014,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We give a formal account of stream-based, service-centered calculus (SSCC), a calculus for modelling service-based systems, suitable to describe both service composition (orchestration) and the protocols that services follow when invoked (conversation). The calculus includes primitives for defining and invoking services, for isolating conversations (called sessions) among clients and servers, and for orchestrating services. The calculus is equipped with a reduction and a labelled transition semantics related by an equivalence result. SSCC provides a good trade-off between expressive power for modelling and simplicity for analysis. We assess the expressive power by modelling van der Aalst workflow patterns and an automotive case study from the European project Sensoria. For analysis, we present a simple type system ensuring compatibility of client and service protocols. We also study the behavioural theory of the calculus, highlighting some axioms that capture the behaviour of the different primitives. As a final application of the theory, we define and prove correct some program transformations. These allow to start modelling a system from a typical UML Sequence Diagram, and then transform the specification to match the service-oriented programming style, thus simplifying its implementation using web services technology.<\/jats:p>","DOI":"10.1007\/s00165-013-0284-5","type":"journal-article","created":{"date-parts":[[2013,8,5]],"date-time":"2013-08-05T09:59:08Z","timestamp":1375696748000},"page":"865-918","source":"Crossref","is-referenced-by-count":6,"title":["The stream-based service-centred calculus: a foundation for service-oriented programming"],"prefix":"10.1145","volume":"26","author":[{"given":"Lu\u00eds","family":"Cruz-Filipe","sequence":"first","affiliation":[{"name":"Escola Superior N\u00e1utica Infante Dom Henrique, Oeiras, Portugal"}]},{"given":"Ivan","family":"Lanese","sequence":"additional","affiliation":[{"name":"Focus Team, University of Bologna\/INRIA, Bologna, Italy"}]},{"given":"Francisco","family":"Martins","sequence":"additional","affiliation":[{"name":"Universidade de Lisboa, Faculdade de Ci\u00eancias &amp; LaSIGE, Lisbon, Portugal"}]},{"given":"Ant\u00f3nio","family":"Ravara","sequence":"additional","affiliation":[{"name":"Universidade Nova de Lisboa, Faculdade de Ci\u00eancias e Tecnologia &amp; CITI, Caparica, Portugal"}]},{"given":"Vasco","family":"Thudichum Vasconcelos","sequence":"additional","affiliation":[{"name":"Universidade de Lisboa, Faculdade de Ci\u00eancias &amp; LaSIGE, Lisbon, Portugal"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Alves A Arkin A Askary S Barreto C Bloch B Curbera F Ford M Goland Y Gu\u00edzar A Kartha N Liu CK Khalaf R K\u00f6nig D Marin M Mehta V Thatte S van der Rijn D Yendluri P Yiu A (2007) Business Process Execution Language for Web Services. Version 2.0"},{"key":"e_1_2_1_2_2_2","volume-title":"Web services\u2014concepts, architectures and applications","author":"Alonso G","year":"2003"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511584077","volume-title":"The Object Primer: agile model-driven development with UML 2.0","author":"Ambler SW","year":"2004"},{"key":"e_1_2_1_2_4_2","volume-title":"The lambda calculus: its syntax and semantics","author":"Barendregt HP","year":"1984"},{"key":"e_1_2_1_2_5_2","first-page":"38","volume-title":"Proc. of WS-FM 2006. LNCS, vol 4184","author":"Boreale M","year":"2006"},{"key":"e_1_2_1_2_6_2","first-page":"19","volume-title":"Proc. of FMOODS\u201908. LNCS, vol 5051","author":"Boreale M","year":"2008"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Boreale M Bruni R De Nicola R Loreti M (2014) Caspis: a calculus of sessions pipelines and services. Math Struct Comput Sci (to appear)","DOI":"10.1017\/S0960129512000953"},{"key":"e_1_2_1_2_8_2","unstructured":"Bellwood T Capell S Cl\u00e9ment L Colgrave J Dovey MJ Feygin D Hately A Kochman R Macias P Novotny M Paolucci M von Riegen C Rogers T Sycara K Wenzel P Wu Z (2004) UDDI Version 3.0"},{"key":"e_1_2_1_2_9_2","unstructured":"Banci M Fantechi A Ficarra M Giannini S Santanni F (2006) Automotive case study: a UML description of scenarios. Internal report from the Sensoria EU IST project"},{"key":"e_1_2_1_2_10_2","first-page":"327","volume-title":"Proc. of ICSOC\u201906. LNCS, vol 4294","author":"Busi N","year":"2006"},{"key":"e_1_2_1_2_11_2","first-page":"162","volume-title":"Proc of CONCUR 2010 LNCS, vol 6269","author":"Bocchi L","year":"2010"},{"key":"e_1_2_1_2_12_2","first-page":"67","volume-title":"Proc. of COORDINATION\u201908. LNCS, vol 5052","author":"Bruni R","year":"2008"},{"key":"e_1_2_1_2_13_2","first-page":"100","volume-title":"Proc of AMAST\u201908 LNCS, vol 5140","author":"Bruni R","year":"2008"},{"key":"e_1_2_1_2_14_2","unstructured":"Christensen E Curbera F Meredith G Weerawarana S (2001) WSDL: Web Services Definition Language. World Wide Web Consortium"},{"key":"e_1_2_1_2_15_2","unstructured":"Cruz-Filipe L Lanese I Martins F Ravara A Vasconcelos VT (2007) Bisimulations in SSCC. DI\/FCUL TR 07\u201337 Department of Informatics Faculty of Sciences University of Lisbon"},{"key":"e_1_2_1_2_16_2","first-page":"59","volume-title":"Proc of FMOODS\u201908 LNCS, vol 5051","author":"Cruz-Filipe L","year":"2008"},{"key":"e_1_2_1_2_17_2","first-page":"2","volume-title":"Proc. of ESOP\u201907. LNCS, vol 4421","author":"Carbone M","year":"2007"},{"key":"e_1_2_1_2_18_2","first-page":"263","volume-title":"Proc. of POPL 2013","author":"Carbone M","year":"2013"},{"key":"e_1_2_1_2_19_2","first-page":"153","volume-title":"Results of the SENSORIA Project. LNCS, vol 6582","author":"Caires L","year":"2011"},{"key":"e_1_2_1_2_20_2","first-page":"82","volume-title":"Proc. of COORDINATION\u201906. LNCS, vol 4038","author":"Cook WR","year":"2006"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.010"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0177-z"},{"key":"e_1_2_1_2_23_2","unstructured":"Gudgin M Hadley M Mendelsohn N Moreau J-J Nielsen HF Karmarkar A Lafon Y (2007) Simple Object Access Protocol (SOAP) 1.2. World Wide Web Consortium"},{"key":"e_1_2_1_2_24_2","unstructured":"Gnesi S ter Beek M Baumeister H Hoelzl M Moiso C Koch N Zobel A Alessandrini M (2006) D8.0: Case studies scenario description. Deliverable from the Sensoria EU IST project"},{"key":"e_1_2_1_2_25_2","first-page":"22","volume-title":"Proc. of ESOP\u201998. LNCS, vol 1381","author":"Honda K","year":"1998"},{"key":"e_1_2_1_2_26_2","first-page":"273","volume-title":"Proc. of POPL\u201908","author":"Honda K","year":"2008"},{"key":"e_1_2_1_2_27_2","unstructured":"Jolie website. http:\/\/www.jolie-lang.org\/"},{"key":"e_1_2_1_2_28_2","first-page":"477","volume-title":"Proc. of CONCUR\u201906. LNCS, vol 4137","author":"Kitchin D","year":"2006"},{"key":"e_1_2_1_2_29_2","first-page":"323","volume-title":"Proc. of SEFM\u201908","author":"Lanese I","year":"2008"},{"key":"e_1_2_1_2_30_2","first-page":"33","volume-title":"Proc. of ESOP\u201907. LNCS, vol 4421","author":"Lapadula A","year":"2007"},{"key":"e_1_2_1_2_31_2","first-page":"189","volume-title":"Results of the SENSORIA Project. LNCS, vol 6582","author":"Lanese I","year":"2011"},{"key":"e_1_2_1_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596981"},{"key":"e_1_2_1_2_33_2","doi-asserted-by":"crossref","unstructured":"Lanese I Vasconcelos VT Martins F Ravara A (2007) Disciplining orchestration and conversation in service-oriented computing. In: Proc. of SEFM 2007. IEEE Computer Society Press Washington DC pp 305\u2013314","DOI":"10.1109\/SEFM.2007.13"},{"key":"e_1_2_1_2_34_2","doi-asserted-by":"crossref","unstructured":"Lanese I Vasconcelos VT Martins F Ravara A (2007) Disciplining orchestration and conversation in service-oriented computing. DI\/FCUL TR 07\u20133 Department of Informatics Faculty of Sciences University of Lisbon","DOI":"10.1109\/SEFM.2007.13"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0012-1"},{"key":"e_1_2_1_2_36_2","first-page":"125","volume-title":"Proc. of ICSOC 2011. LNCS, vol 7084","author":"Montesi F","year":"2011"},{"key":"e_1_2_1_2_37_2","doi-asserted-by":"crossref","unstructured":"Montesi F Guidi C Zavattaro G (2007) Composing services with JOLIE. In: Proc. of ECOWS\u201907. IEEE Computer Society Press Washington DC pp 13\u201322","DOI":"10.1109\/ECOWS.2007.19"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"publisher","DOI":"10.5555\/509043"},{"key":"e_1_2_1_2_39_2","unstructured":"Sensoria project. Software engineering for service-oriented overlay computers. http:\/\/www.sensoria-ist.eu\/"},{"key":"e_1_2_1_2_40_2","first-page":"187","volume-title":"Proc. of TPPP\u201994. LNCS, vol 907","author":"Pierce BC","year":"1995"},{"key":"e_1_2_1_2_41_2","volume-title":"The \u03c0-calculus: a theory of mobile processes","author":"Sangiorgi D","year":"2001"},{"key":"e_1_2_1_2_42_2","first-page":"398","volume-title":"Proc. of PARLE\u201994. LNCS, vol 817","author":"Takeuchi K","year":"1994"},{"key":"e_1_2_1_2_43_2","first-page":"269","volume-title":"Proc. of ESOP\u201908. LNCS, vol 4960","author":"Vieira HT","year":"2008"},{"key":"e_1_2_1_2_44_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"e_1_2_1_2_45_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.06.028"},{"key":"e_1_2_1_2_46_2","doi-asserted-by":"crossref","unstructured":"Yoshida N Vasconcelos VT (2006) Language primitives and type discipline for structured communication-based programming revisited: two systems for higher-order session communication. In: Proc. of SecReT\u201906. ENTCS vol 171 issue 4 pp 73\u201393","DOI":"10.1016\/j.entcs.2007.02.056"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-013-0284-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-013-0284-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-013-0284-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:57:51Z","timestamp":1641484671000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-013-0284-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":46,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["10.1007\/s00165-013-0284-5"],"URL":"https:\/\/doi.org\/10.1007\/s00165-013-0284-5","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9]]}}}