eprintid: 2717
rev_number: 5
eprint_status: archive
userid: 59
dir: disk0/00/00/27/17
datestamp: 2015-06-25 12:47:44
lastmod: 2015-06-25 12:47:44
status_changed: 2015-06-25 12:47:44
type: monograph
succeeds: 2293
metadata_visibility: show
creators_name: Caires, Luis
creators_name: Costa Seco, João
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Automotive and finance case studies in the conversation calculus
ispublished: unpub
subjects: HG
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: technical_report
abstract: 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: a client willing to submit a credit request, a bank employee, 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, and then show how the two scenarios can be encoded using the CSCC calculus and the corresponding typing.
date: 2007-11
date_type: published
number: 04
publisher: Departamento de Informática - Universidade nova de Lisboa
pages: 15
institution: Departamento de Informática
official_url: http://citi.di.fct.unl.pt/publication/techreport.php?id=60
citation:   Caires, Luis and Costa Seco, João and Torres Vieira, Hugo   Automotive and finance case studies in the conversation calculus.  Technical Report  #04/2007    Departamento de Informática - Universidade nova de Lisboa       (Unpublished)   
document_url: http://eprints.imtlucca.it/2717/1/FinanceCSCC.pdf