Cost-related interface for software product lines

被引：3
|
作者：
Camacho, Carlos [1 ]
Liana, Luis [1 ]
Nunez, Alberto [1 ]
机构：
[1] Univ Complutense Madrid, E-28040 Madrid, Spain
来源：
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2016年 / 85卷 / 01期
关键词：
Software product lines; Cost models; Formal methods; Feature models; Chef.io; Run-list; COSMIC FUNCTIONAL SIZE; FORMAL FRAMEWORK; MODEL;
D O I：
10.1016/j.jlamp.2015.09.009
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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. (C) 2015 Elsevier Inc. All rights reserved.
引用
收藏
页码：227 / 244
页数：18
相关论文
共 50 条
  • [1] A cost model for software product lines
    Böckle, G
    Clements, P
    McGregor, JD
    Muthig, D
    Schmid, K
    [J]. SOFTWARE PRODUCT-FAMILY ENGINEERING, 2004, 3014 : 310 - 316
  • [2] Cost Optimisation in Certification of Software Product Lines
    Rodriguez, Ricardo J.
    Punnekkat, Sasikumar
    [J]. 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 509 - 514
  • [3] Cost-related harmonic limits
    Caramia, P
    Verde, P
    [J]. 2000 IEEE POWER ENGINEERING SOCIETY WINTER MEETING - VOLS 1-4, CONFERENCE PROCEEDINGS, 2000, : 2846 - 2851
  • [4] Cost-Related Motivations for Research
    Martin, Daniel F.
    Fine, Stuart L.
    Maguire, Maureen G.
    [J]. JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 2014, 312 (08): : 847 - 847
  • [5] A Cost Effective Approach for Analyzing Software Product Lines
    Narwane, Ganesh Khandu
    Krishna, Shankara Narayanan
    Bhattacharjee, Anup Kumar
    [J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, ICDCIT 2014, 2014, 8337 : 212 - 223
  • [6] Cost models for software product lines: Introduction and overview
    Charles O.
    Schalk M.
    Thiel S.
    [J]. Informatik-Spektrum, 2011, 34 (4) : 377 - 390
  • [7] Proposed User Interface Generation for Software Product Lines Engineering
    Sakinah, Siti Ina
    Fadhlillah, Hafiyyan Sayyid
    Azurat, Ade
    Setyautami, Maya R. A.
    [J]. 2018 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND INFORMATION SYSTEMS (ICACSIS), 2018, : 481 - 486
  • [8] Frugal Optimization for Cost-related Hyperparameters
    Wu, Qingyun
    Wang, Chi
    Huang, Silu
    [J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 10347 - 10354
  • [9] Software product lines
    Bosch, J
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 467 - 467
  • [10] Measuring the Impact of Traceability on the Cost of Software Product Lines Using COPLIMO
    Mcharfi, Zineb
    El Asri, Bouchra
    Dehmouch, Ram
    Kriouile, Abdelaziz
    [J]. PROCEEDINGS OF 2015 INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES (ICEIT 2015), 2015, : 192 - 197
12345