| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10333450 | Journal of Logical and Algebraic Methods in Programming | 2016 | 36 Pages |
Abstract
Software Product Lines modeling improves software development processes by automating system debugging and analysis. The objective of this paper focuses on extending the formal framework SPLA to represent features such as cost objects and comparisons between products in terms of production costs. We illustrate this extension with a practical example by modeling the creation of valid run-lists for Chef, a widely used configuration management tool. Also, we execute our formal specification in a distributed system using SCOOP and we provide strategies to optimize the effort required to compute a SPLA term.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Carlos Camacho, Luis Llana, Alberto Núñez,