?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F1493%2F&rft.title=CaSPiS%3A+A+Calculus+of+Sessions%2C+Pipelines+and+Services&rft.creator=Boreale%2C+Michele&rft.creator=Bruni%2C+Roberto&rft.creator=De+Nicola%2C+Rocco&rft.creator=Loreti%2C+Michele&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=Service-oriented+computing+is+calling+for+novel+computational+models+and+languages+with+well%0D%0Adisciplined+primitives+for+client-server+interaction%2C+structured+orchestration+and+unexpected+events+handling.+We+present+CaSPiS%2C+a+process+calculus+where+the+conceptual+abstractions+of+sessioning+and+pipelining+play+a+central+role+for+modelling+service-oriented+systems.+CaSPiS+sessions+are+two-sided%2C+uniquely+named+and+can+be+nested.+CaSPiS+pipelines+permit+orchestrating+the+flow+of+data+produced+by+different+sessions.+The+calculus+is+also+equipped+with+operators+for+handling+(unexpected)+termination+of+the+partner%E2%80%99s+side+of+a+session.+Several+examples+are+presented+to+provide+evidence+of+the+flexibility+of+the+chosen+set+of+primitives.+One+key+contribution+is+a+fully+abstract+encoding+of+Misra+et+al.%E2%80%99s+orchestration+language+Orc.+Another+main+result+shows+that+in+CaSPiS+it+is+possible+to+program+a+%E2%80%9Cgraceful+termination%E2%80%9D+of+nested+sessions%2C+which+guarantees+that+no+session+is+forced+to+hang+forever+after+the+loss+of+its+partner.&rft.publisher=IMT+Institute+for+Advanced+Studies+Lucca&rft.date=2013-02&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1493%2F1%2FCSA_TR_2013_3.pdf&rft.identifier=++Boreale%2C+Michele+and+Bruni%2C+Roberto+and+De+Nicola%2C+Rocco+and+Loreti%2C+Michele++CaSPiS%3A+A+Calculus+of+Sessions%2C+Pipelines+and+Services.++CSA+Technical+Report++%2303%2F2013++++IMT+Institute+for+Advanced+Studies+Lucca+++++++++