TY  - CHAP
UR  - http://dx.doi.org/10.1145/2648511.2648520
KW  - process algebra
KW  -  behavioral relations
Y1  - 2014///
TI  - Behavioral relations in a process algebra for variants
AV  - none
N2  - 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.
SP  - 82
PB  - ACM
SN  - 978-1-4503-2740-4
A1  - Tribastone, Mirco
T2  - Proceedings of the 18th International Software Product Line Conference on - SPLC '14
EP  - 91
N1  - SPLC?14,  held in Plorence (Italy), September 15?19 2014
ID  - eprints2594
ER  -