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)
This is the latest version of this item.
|
PDF
- Draft Version
Download (144kB) | Preview |
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.
| Item Type: | Working Paper (Technical Report) |
|---|---|
| Subjects: | H Social Sciences > HG Finance Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Hugo Vieria |
| Date Deposited: | 25 Jun 2015 12:47 |
| Last Modified: | 25 Jun 2015 12:47 |
| URI: | http://eprints.imtlucca.it/id/eprint/2717 |
Available Versions of this Item
-
Automotive and finance case studies in the conversation calculus. (deposited 07 Oct 2014 13:34)
- Automotive and finance case studies in the conversation calculus. (deposited 25 Jun 2015 12:47) [Currently Displayed]
Actions (login required)
 |
Edit Item |
