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.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://doi.org/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 |
