eprintid: 2594
rev_number: 7
eprint_status: archive
userid: 6
dir: disk0/00/00/25/94
datestamp: 2015-02-10 15:32:31
lastmod: 2015-02-10 15:32:31
status_changed: 2015-02-10 15:32:31
type: book_section
metadata_visibility: show
creators_name: Tribastone, Mirco
creators_id: mirco.tribastone@imtlucca.it
title: Behavioral relations in a process algebra for variants
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: process algebra, behavioral relations
note: SPLC’14,  held in Plorence (Italy), September 15–19 2014
abstract: Variant Process Algebra is designed for the formal behavioral modeling of software variation, as arises, for instance, in software product line engineering. Process terms are labelled with the sets of variants, i.e., specific products, where they are enabled. A multi-modal operational semantics enables two compositional forms of reasoning. The first one is concerned with relating the behavior of a variant to the whole family. The second notion relates variants between each other, for instance to be able to formally capture the intuitive idea that a variant is a conservative extension of another, in the sense that it adds more behavior without breaking any existing one. Sufficient conditions are given to establish such a relation statically, by means of syntactic checks on process terms.
date: 2014
publisher: ACM
pagerange: 82-91
id_number: doi:10.1145/2648511.2648520
refereed: TRUE
isbn: 978-1-4503-2740-4
book_title: Proceedings of the 18th International Software Product Line Conference on - SPLC '14
official_url: http://dx.doi.org/10.1145/2648511.2648520
citation:   Tribastone, Mirco  Behavioral relations in a process algebra for variants.   In:  Proceedings of the 18th International Software Product Line Conference on - SPLC '14.   ACM, pp. 82-91.  ISBN 978-1-4503-2740-4      (2014)