Behavioral relations in a process algebra for variants (bibtex)
by Tribastone, M
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. Copyright 2014 ACM.
Reference:
Behavioral relations in a process algebra for variants (Tribastone, M), In 18th International Software Product Line Conference, SPLC 2014, volume 1, 2014.
Bibtex Entry:
@inproceedings{splc14,
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. Copyright 2014 ACM.},
address = {Florence, Italy},
author = {Tribastone, M},
booktitle = {18th International Software Product Line Conference, SPLC 2014},
doi = {10.1145/2648511.2648520},
isbn = {9781450327404},
issn = {9781450327404 (ISBN)},
keywords = {Algebra,Behavioral model,Behavioral relations,Computer software,Conservative extensions,Multi-modal,Operational semantics,Process algebra,Process algebras,Semantics,Software design,Software product line engineerings,daps},
mendeley-tags = {daps},
pages = {82--91},
title = {{Behavioral relations in a process algebra for variants}},
url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84907811941{\&}partnerID=40{\&}md5=b9da87d109d16169c30ead008f39854c},
volume = {1},
year = {2014}
}
Powered by bibtexbrowser