eprintid: 3567
rev_number: 5
eprint_status: archive
userid: 69
dir: disk0/00/00/35/67
datestamp: 2016-10-06 10:00:06
lastmod: 2016-10-06 10:00:06
status_changed: 2016-10-06 10:00:06
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Mezzina, Claudio Antares
creators_name: Torres Vieira, Hugo
creators_id: r.denicola@imtlucca.it
creators_id: claudio.mezzina@imtlucca.it
creators_id: hugo.torresvieira@imtlucca.it
title: Global Protocol Implementations via Attribute-Based Communication
ispublished: pub
subjects: QA76
divisions: CSA
full_text_status: none
note: SCOPUS ID: 2-s2.0-84943596355; WOS Accession Number: WOS:000380766100015
abstract: Several type systems have been developed to address the conformance between specifications and implementations, where types are specifications and type-checking ensures the conformance relation. In this paper, we take a different perspective and assume that programming takes place only at the specification level, by using a type language that captures protocols of interaction. Specifications provide the global interaction scheme and lay the basis for an automatic (provably correct) generation of implementations. The latter is obtained by a translation into a rich formalism that relies on attribute-based communication, whose expressiveness permits modeling in a natural way the symmetric link between message recipient and emitter.
date: 2015
date_type: published
series: Lecture Notes in Computer Science
number: 9465
publisher: Springer International Publishing
pagerange: 219-237
pages: 18
id_number: 10.1007/978-3-319-25527-9_15
refereed: TRUE
isbn: 978-3-319-25527-9
book_title: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
official_url: http://dx.doi.org/10.1007/978-3-319-25527-9_15
citation:   De Nicola, Rocco and Mezzina, Claudio Antares and Torres Vieira, Hugo  Global Protocol Implementations via Attribute-Based Communication.   In:  Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday.   Lecture Notes in Computer Science  (9465).  Springer International Publishing, pp. 219-237.  ISBN 978-3-319-25527-9      (2015)