Logo eprints

Behavioral relations in a process algebra for variants

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)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1145/2648511.2648520
Additional Information: SPLC’14, held in Plorence (Italy), September 15–19 2014
Uncontrolled Keywords: process algebra, behavioral relations
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 10 Feb 2015 15:32
Last Modified: 10 Feb 2015 15:32
URI: http://eprints.imtlucca.it/id/eprint/2594

Actions (login required)

Edit Item Edit Item