eprintid: 3950
rev_number: 6
eprint_status: archive
userid: 69
dir: disk0/00/00/39/50
datestamp: 2018-03-05 16:14:42
lastmod: 2018-03-05 16:14:42
status_changed: 2018-03-05 16:14:42
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Duong, Tan
creators_name: Inverso, Omar
creators_name: Trubiani, Catia
title: AErlang at Work
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: SCOPUS ID: 2-s2.0-85010688877; WOS ACCESSION NUMBER: WOS:000418793100038
abstract: AErlang is an extension of the Erlang programming language which is enriched with attribute-based communication. In AErlang, the Erlang send and receive constructs are extended to permit partner selection by relying on predicates over set of attributes. AErlang avoids the limitations of the Erlang point-to-point communication making it possible to model some of the sophisticated interaction features often observed in modern systems, such as anonymity and adaptation. By using our prototype extension, we show how the extended communication pattern can capture non-trivial process interaction in a natural and intuitive way. We also sketch a modelling technique aimed at automatically verifying AErlang systems, and discuss how it can be used to check some key properties of the considered case study.
date: 2017
date_type: published
series: Lecture Notes in Computer Science
volume: 10139
publisher: Springer
pagerange: 485-497
id_number: doi:10.1007/978-3-319-51963-0_38
refereed: TRUE
isbn: 978-3-319-51963-0
issn: 0302-9743
book_title: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics
official_url: http://doi.org/10.1007/978-3-319-51963-0_38
citation:   De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia  AErlang at Work.   In:  SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics.   Lecture Notes in Computer Science, 10139 .  Springer, pp. 485-497.  ISBN 978-3-319-51963-0      (2017)