?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F2293%2F&rft.title=Automotive+and+finance+case+studies+in+the+conversation+calculus&rft.creator=Caires%2C+Luis&rft.creator=Costa+Seco%2C+Jo%C3%A3o&rft.creator=Torres+Vieira%2C+Hugo+&rft.subject=HG+Finance&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=We+describe+the+encoding+of+the+Car+Break+scenario+of+the+SENSORIA+Automotive+case+study+and+of+the+Credit+Request+scenario+of+the+SENSORIA+Finance+case+study+using+the+Conversation+Calculus+(CSCC).+These+scenarios+consist+of+an+orchestration+of+services+and+service+clients+which+are+typefully+encoded+here+in+a+modular+way.+Namely+the+latter+scenario+consists+of+a+workflow+involving+different+actors%3A+a+client+willing+to+submit+a+credit+request%2C+a+bank+employee%2C+and+its+supervisor.+We+show+how+the+workflow+is+well+described+in+the+type+assigned+to+the+processes+implementing+it.+We+first+informally+describe+the+CSCC+calculus%2C+and+then+show+how+the+two+scenarios+can+be+encoded+using+the+CSCC+calculus+and+the+corresponding+typing.&rft.publisher=Departamento+de+Inform%C3%A1tica+-+Universidade+nova+de+Lisboa&rft.date=2007-11&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.identifier=++Caires%2C+Luis+and+Costa+Seco%2C+Jo%C3%A3o+and+Torres+Vieira%2C+Hugo+++Automotive+and+finance+case+studies+in+the+conversation+calculus.++Technical+Report++%2304%2F2007++++Departamento+de+Inform%C3%A1tica+-+Universidade+nova+de+Lisboa+++++++(Unpublished)+++&rft.relation=http%3A%2F%2Fciti.di.fct.unl.pt%2Fpublication%2Ftechreport.php%3Fid%3D60