Caires, Luis and Torres Vieira, Hugo Conversation types. Theoretical Computer Science, 411 (51–52). 4399 - 4440. ISSN 0304-3975 (2010)
Full text not available from this repository.Abstract
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able to uniformly describe both the internal and the interface behavior of systems, referred respectively as choreographies and contracts in web-services terminology. The notion of conversation builds on the fundamental concept of session, but generalizes it along directions up to now unexplored; in particular, conversation types discipline interactions in conversations while accounting for dynamical join and leave of an unanticipated number of participants. We prove that well-typed systems never violate the prescribed conversation constraints. We also present techniques to ensure progress of systems involving several interleaved conversations, a previously open problem.
| Item Type: | Article |
|---|---|
| Identification Number: | https://doi.org/10.1016/j.tcs.2010.09.010 |
| Additional Information: | European Symposium on Programming 2009 {ESOP} 2009 |
| Uncontrolled Keywords: | Behavioral types; Distributed systems; Program analysis; Service-based systems; Session types |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Hugo Vieria |
| Date Deposited: | 08 Oct 2014 13:47 |
| Last Modified: | 08 Apr 2015 10:37 |
| URI: | http://eprints.imtlucca.it/id/eprint/2299 |
Actions (login required)
 |
Edit Item |
