TY  - CHAP
TI  - AErlang at Work
SP  - 485
T3  - Lecture Notes in Computer Science
N1  - SCOPUS ID: 2-s2.0-85010688877; WOS ACCESSION NUMBER: WOS:000418793100038
AV  - none
M1  - 10139
A1  - De Nicola, Rocco
A1  - Duong, Tan
A1  - Inverso, Omar
A1  - Trubiani, Catia
UR  - http://doi.org/10.1007/978-3-319-51963-0_38
Y1  - 2017///
ID  - eprints3950
EP  - 497
N2  - 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.
SN  - 0302-9743
T2  - SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics
PB  - Springer
ER  -