eprintid: 3951
rev_number: 7
eprint_status: archive
userid: 69
dir: disk0/00/00/39/51
datestamp: 2018-03-05 16:19:42
lastmod: 2018-03-05 16:20:14
status_changed: 2018-03-05 16:19:42
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Duong, Tan
creators_name: Inverso, Omar
creators_name: Mazzanti, Franco
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: Verifying Properties of Systems Relying on Attribute-Based Communication
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: SCOPUS ID: 2-s2.0-85032697814
abstract: AbC is a process calculus designed for describing collective adaptive systems, whose distinguishing feature is the communication mechanism relying on predicates over attributes exposed by components. A novel approach to the analysis of concurrent systems modelled as AbC terms is presented that relies on the UMC model checker, a tool based on modelling concurrent systems as communicating UML-like state machines. A structural translation from AbC specifications to the UMC internal format is provided and used as the basis for the analysis. Three different algorithmic solutions of the well studied stable marriage problem are described in AbC and their translations are analysed with UMC. It is shown how the proposed approach can be exploited to identify emerging properties of systems and unwanted behaviour.
date: 2017
date_type: published
series: Lecture Notes in Computer Science
volume: 10500
publisher: Springer
pagerange: 169-190
id_number: doi:10.1007/978-3-319-68270-9_9
refereed: TRUE
isbn: 978-3-319-68270-9
issn: 0302-9743
book_title: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
official_url: http://doi.org/10.1007/978-3-319-68270-9_9
citation:   De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco  Verifying Properties of Systems Relying on Attribute-Based Communication.   In:  ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday.   Lecture Notes in Computer Science, 10500 .  Springer, pp. 169-190.  ISBN 978-3-319-68270-9      (2017)