发布求助
文献互助 智能选刊 最新文献

Proceedings of the 18th International Software Product Line Conference - Volume 1最新文献

筛选
英文 中文
Customizing domain analysis for assessing the reuse potential of industrial software systems: experience report 为评估工业软件系统的重用潜力而定制领域分析:经验报告
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648547
D. Domis, S. Sehestedt, Thomas Gamer, M. Aleksy, H. Koziolek
{"title":"Customizing domain analysis for assessing the reuse potential of industrial software systems: experience report","authors":"D. Domis, S. Sehestedt, Thomas Gamer, M. Aleksy, H. Koziolek","doi":"10.1145/2648511.2648547","DOIUrl":"https://doi.org/10.1145/2648511.2648547","url":null,"abstract":"In companies with a large portfolio of software or software-intensive products, functional overlaps are often perceived between independent products. In such situations it is advisable to systematically analyze the potential of systematic reuse and Software Product Lines. To this end, several domain analysis approaches, e.g., SEI Technical Probe, have been proposed to decide whether a set of products with a perceived functional overlap should be integrated into a single product line. Based on the principles of those approaches we devised our own approach. One important property is the inherent flexibility of the method to be able to apply it to four different application cases in industrial software products at ABB. In this paper we present our refined approach for domain analysis. The results and lessons learned are meant to support industrial researchers and practitioners alike. Moreover, the lessons learned highlight real-world findings concerning software reuse.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134420714","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Integrated management of variability in space and time in software families 在软件家族中对空间和时间上的可变性进行综合管理
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648514
C. Seidl
{"title":"Integrated management of variability in space and time in software families","authors":"C. Seidl","doi":"10.1145/2648511.2648514","DOIUrl":"https://doi.org/10.1145/2648511.2648514","url":null,"abstract":"Software product lines (SPLs) and software ecosystems (SECOs) encompass a family of closely related software systems in terms of common and variable assets that are configured to concrete products (variability in space). Over the course of time, variable assets of SPLs and especially SECOs are subject to change in order to meet new requirements as part of software evolution (variability in time). Even though both dimensions of variability have to be handled simultaneously, e.g., as not all customers upgrade their respective products immediately or completely, there currently is no approach that can create variants with a selection of variable assets in various versions. In this paper, we introduce an integrated approach to manage variability in space and time in software families using Hyper Feature Models (HFMs) with feature versions and combine them with an extension of the transformational variability realization mechanism delta modeling. This allows derivation of concrete software systems from an SPL or SECO configuring both functionality (features) as well as versions.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130167952","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 45
Potential synergies of theorem proving and model checking for software product lines 软件产品线的定理证明和模型检验的潜在协同作用
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648530
Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, G. Saake
{"title":"Potential synergies of theorem proving and model checking for software product lines","authors":"Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, G. Saake","doi":"10.1145/2648511.2648530","DOIUrl":"https://doi.org/10.1145/2648511.2648530","url":null,"abstract":"The verification of software product lines is an active research area. A challenge is to efficiently verify similar products without the need to generate and verify them individually. As solution, researchers suggest family-based verification approaches, which either transform compile-time into runtime variability or make verification tools variability-aware. Existing approaches either focus on theorem proving, model checking, or other verification techniques. For the first time, we combine theorem proving and model checking to evaluate their synergies for product-line verification. We provide tool support by connecting five existing tools, namely FeatureIDE and FeatureHouse for product-line development, as well as KeY, JPF, and OpenJML for verification of Java programs. In an experiment, we found the synergy of improved effectiveness and efficiency, especially for product lines with few defects. Further, we experienced that model checking and theorem proving are more efficient and effective if the product line contains more defects.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117034112","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 38
Second International Workshop on Reverse Variability Engineering (REVE 2014) 第二届逆向变率工程国际研讨会(REVE 2014)
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648553
R. Lopez-Herrejon, T. Ziadi, Jabier Martinez, A. K. Thurimella
{"title":"Second International Workshop on Reverse Variability Engineering (REVE 2014)","authors":"R. Lopez-Herrejon, T. Ziadi, Jabier Martinez, A. K. Thurimella","doi":"10.1145/2648511.2648553","DOIUrl":"https://doi.org/10.1145/2648511.2648553","url":null,"abstract":"Variability management of a product family is the core aspect of Software Product Line Engineering. The adoption of this mature approach requires a high upfront investment before being able to automatically generate product instances based on customer requirements. However, this adoption costs and risks could be reduced with an incremental approach, which mines existing assets and then transitions to full product line engineering. Those existing assets can be for instance similar product variants that were implemented using ad-hoc reuse techniques such as clone-and-own. Bottom-up approaches to automatically extract variability management related artifacts could be proposed, applied, validated and improved in this domain therefore the REVE workshop aims to fill the gap between the Reengineering and Software Product Line Engineering communities.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131226820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Customization and 3D printing: a challenging playground for software product lines 定制和3D打印:软件产品线的一个具有挑战性的游乐场
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648526
M. Acher, B. Baudry, Olivier Barais, J. Jézéquel
{"title":"Customization and 3D printing: a challenging playground for software product lines","authors":"M. Acher, B. Baudry, Olivier Barais, J. Jézéquel","doi":"10.1145/2648511.2648526","DOIUrl":"https://doi.org/10.1145/2648511.2648526","url":null,"abstract":"3D printing is gaining more and more momentum to build customized product in a wide variety of fields. We conduct an exploratory study of Thingiverse, the most popular Website for sharing user-created 3D design files, in order to establish a possible connection with software product line (SPL) engineering. We report on the socio-technical aspects and current practices for modeling variability, implementing variability, configuring and deriving products, and reusing artefacts. We provide hints that SPL-alike techniques are practically used in 3D printing and thus relevant. Finally, we discuss why the customization in the 3D printing field represents a challenging playground for SPL engineering.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114904506","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
A methodical approach to product line adoption 对产品线采用的有条理的方法
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648550
M. Dillon, J. Rivera, Rowland Darbin
{"title":"A methodical approach to product line adoption","authors":"M. Dillon, J. Rivera, Rowland Darbin","doi":"10.1145/2648511.2648550","DOIUrl":"https://doi.org/10.1145/2648511.2648550","url":null,"abstract":"The evolution of the U.S. Army's Live Training Transformation (LT2) product line of combat training systems, including the move by the Army to consolidate management of the product line under a single contracting team, has provided a natural experiment that validates the hypothesis that product line engineering practices are more effective than traditional software engineering practices, and has demonstrated which product line adoption approaches are more successful than others. By analyzing this natural experiment, the product line team has been able to apply a methodical approach to product line adoption across the development organization and successfully adopt second generation product line processes. This paper explores that methodical approach. It will enumerate the steps that led to successes and explore the contributing factors and unintended consequences of failures along the way. Additionally this paper will explore how this approach is being employed to extend the LT2 product line beyond software.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"650 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116181571","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Consistency checking for the evolution of cardinality-based feature models 基于基数的特征模型演化的一致性检查
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648524
Clément Quinton, Andreas Pleuß, Daniel Le Berre, L. Duchien, Goetz Botterweck
{"title":"Consistency checking for the evolution of cardinality-based feature models","authors":"Clément Quinton, Andreas Pleuß, Daniel Le Berre, L. Duchien, Goetz Botterweck","doi":"10.1145/2648511.2648524","DOIUrl":"https://doi.org/10.1145/2648511.2648524","url":null,"abstract":"Feature-models (fms) are a widely used approach to specify the commonalities and variability in variable systems and software product lines. Various works have addressed edits to fms for fm evolution and tool support to ensure consistency of fms. An important extension to fms are feature cardinalities and related constraints, as extensively used e.g., when modeling variability of cloud computing environments. Since cardinality-based fms pose additional complexity, additional support for evolution and consistency checking with respect to feature cardinalities would be desirable, but has not been addressed yet. In this paper, we discuss common cardinality-based fm edits and resulting inconsistencies based on experiences with fms in cloud domain. We introduce tool-support for automated inconsistency detection and explanation based on an off-the-shelf solver. We demonstrate the feasibility of the approach by an empirical evaluation showing the performance of the tool.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133721490","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 33
Extending variability management to the next level 将可变性管理扩展到下一个层次
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648548
K. Sierszecki, Michael J. Steffens, Helene H. Hojrup, J. Savolainen, Danilo Beuche
{"title":"Extending variability management to the next level","authors":"K. Sierszecki, Michael J. Steffens, Helene H. Hojrup, J. Savolainen, Danilo Beuche","doi":"10.1145/2648511.2648548","DOIUrl":"https://doi.org/10.1145/2648511.2648548","url":null,"abstract":"Danfoss Power Electronics is a centre with both extensive power electronics know-how and many competencies within frequency converters and solar inverters. Development of embedded controllers built in Danfoss products raises similar challenges found in many other companies: creation of product series with an increasing number of variants, while at the same time decreasing time-to-market and keeping development costs low. Introduction of a Software Product Line approach into product development is a challenge that Danfoss Power Electronics decided to take in order to reduce software development efforts few years ago. The approach has been successful allowing for development of a number of highly engineered products. However, the software product line is in a constant evolution. It grows over time as new functionality is added in the form of extra software artefacts and further products are configured from it. As a result, the overall complexity and maintenance of assets hinders further efficiency of the approach. This paper presents extension of the variability management that goes beyond the scope of software assets reuse previously introduced into the organization. A prototype of the technique linking multi-level variability management is further elaborated using pure::variants.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"37 24","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120825083","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Coevolution of variability models and code: an industrial case study 可变性模型和代码的共同进化:一个工业案例研究
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648542
Robert Hellebrand, Adeline Silva, Martin Becker, Bo Zhang, K. Sierszecki, J. Savolainen
{"title":"Coevolution of variability models and code: an industrial case study","authors":"Robert Hellebrand, Adeline Silva, Martin Becker, Bo Zhang, K. Sierszecki, J. Savolainen","doi":"10.1145/2648511.2648542","DOIUrl":"https://doi.org/10.1145/2648511.2648542","url":null,"abstract":"In Software Engineering, reuse of artifacts is essential for high productivity. Different studies have shown that efficient reuse needs systematic planning and realization. Variability Management plays a key role in Software Product Line Engineering. We investigate code artifacts and variability models of a real-world Software Product Line over time in order to clarify whether code and variability model evolve congeneric. Furthermore, we suggest and test metrics that would allow detecting variability erosion in the code based on changes in the variability model.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"407 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122787482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Sustainability in software product lines 软件产品线的可持续性
Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2655956
R. Chitchyan, J. Noppen, Iris Groher
{"title":"Sustainability in software product lines","authors":"R. Chitchyan, J. Noppen, Iris Groher","doi":"10.1145/2648511.2655956","DOIUrl":"https://doi.org/10.1145/2648511.2655956","url":null,"abstract":"Sustainability encompasses a wide set of aims: ranging from energy efficient software products (environmental sustainability), reduction of software development and maintenance costs (economic sustainability), to employee wellbeing (social sustainability). This panel brings together researchers and practitioners to explore the role that sustainability will play in software product line engineering. The panel aims to explore how sustainability manifests itself in domain engineering, via study of, for instance, sustainability patterns in domain analysis, architectural decisions motivated by specific sustainability concerns, types of variability that results from sustainability considerations, as well as engineering of sustainability as a domain itself. This panel explores challenges in research and practice for Sustainability in Software Product Line Engineering.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124980517","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信