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

Proceedings of the 19th International Conference on Software Product Line最新文献

筛选
英文 中文
Test control algorithms for the validation of cyber-physical systems product lines 用于验证网络物理系统产品线的测试控制算法
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791095
Aitor Arrieta, Goiuria Sagardui Mendieta, L. Elorza
{"title":"Test control algorithms for the validation of cyber-physical systems product lines","authors":"Aitor Arrieta, Goiuria Sagardui Mendieta, L. Elorza","doi":"10.1145/2791060.2791095","DOIUrl":"https://doi.org/10.1145/2791060.2791095","url":null,"abstract":"Cyber-Physical Systems (CPSs) product lines appear in a wide range of applications of different domains (e.g., car's doors' windows, doors of a lift, etc.). The variability of these systems is large and as a result they can be configured into plenty of configurations. Testing each of the configurations can be time consuming as not only software has to be simulated, but also the hardware and the physical layer of the CPS, which is often modelled with complex mathematical models. Choosing the adequate test control strategy is critical when testing CPSs product lines. This paper presents a set of test control algorithms organized in an architecture of three layers (domain, application and simulation) for testing CPSs product lines. An illustrative example of a CPS product line is presented and three experiments are conducted to measure the performance of the proposed test control algorithms. We conclude that test scheduling and test suite minimization significantly help to reduce the overall test costs while preserving the test quality in CPSs product lines. In addition, we conclude that knowing the results of the previously tested configurations permits reducing the time for the detection of anomalous designs.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131602039","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}
引用次数: 13
SPLTea 2015: Second International Workshop on Software Product Line Teaching 2015第二届软件产品线教学国际研讨会
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791063
M. Acher, R. Lopez-Herrejon, Rick Rabiser
{"title":"SPLTea 2015: Second International Workshop on Software Product Line Teaching","authors":"M. Acher, R. Lopez-Herrejon, Rick Rabiser","doi":"10.1145/2791060.2791063","DOIUrl":"https://doi.org/10.1145/2791060.2791063","url":null,"abstract":"Education has a key role to play for disseminating the constantly growing body of Software Product Line (SPL) knowledge. Teaching SPLs is challenging; it is unclear, for example, how SPLs can be taught and what is the material available. This workshop aims to explore and explain the current status and ongoing work on teaching SPLs at universities, colleges, and in industry (e.g., by consultants). This second edition will continue the effort made at SPLTea'14. In particular we seek to design and populate an open repository of resources dedicated to SPL teaching.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121261269","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
Mechanical product lifecycle management meets product line engineering 机械产品生命周期管理符合产品线工程
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791109
C. Krueger
{"title":"Mechanical product lifecycle management meets product line engineering","authors":"C. Krueger","doi":"10.1145/2791060.2791109","DOIUrl":"https://doi.org/10.1145/2791060.2791109","url":null,"abstract":"Early generation Software Product Line (SPL) engineering has evolved into Systems and Software Product Line Engineering (PLE) approaches that extend well beyond the original focus on source code, to a more holistic perspective of the engineering lifecycle. PLE tools and methods in commercial practice today support variation management in requirements, architecture, design models, source code, documentation, configuration data, test cases and more. One of the last lifecycle holdouts from PLE has been mechanical engineering, or Product Lifecycle Management (PLM). The engineering complexity of mechanical product families with embedded software has increased to a threshold where it is intractable for mechanical and software product line engineering to remain disjoint. This paper explores the convergence of mechanical, systems and software product line engineering and why it has been slow to emerge. The reasons are based both on conceptual misalignment among the traditionally distinct disciplines, as well the differences between the physics of mechanical and software systems. The Aras Innovator / BigLever Gears Bridge, an example PLM and PLE integration, is used to illustrate key concepts.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114787158","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}
引用次数: 4
Variability middleware for multi-tenant SaaS applications: a research roadmap for service lines 多租户SaaS应用程序的可变性中间件:服务线的研究路线图
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791080
D. Landuyt, Stefan Walraven, W. Joosen
{"title":"Variability middleware for multi-tenant SaaS applications: a research roadmap for service lines","authors":"D. Landuyt, Stefan Walraven, W. Joosen","doi":"10.1145/2791060.2791080","DOIUrl":"https://doi.org/10.1145/2791060.2791080","url":null,"abstract":"Software product line engineering (SPLE) and variability enforcement techniques have been applied to run-time adaptive systems for quite some years, also in the context of multi-tenant Software-as-a-Service (SaaS) applications. The focus has been mainly on (1) the pre-deployment phases of the development life cycle and (2) fine-grained (tenant-level), run-time activation of specific variants. However, with upcoming trends such as DevOps and continuous delivery and deployment, operational aspects become increasingly important. In this paper, we present our integrated vision on the positive interplay between SPLE and adaptive middleware for multi-tenant SaaS applications, focusing on the operational aspects of running and maintaining a successful SaaS offering. This vision, called Service Lines, is based on and motivated by our experience and frequent interactions with a number of Belgian SaaS providers. We concretely highlight and motivate a number of operational use cases that require advanced variability support in middleware and have promising added value for the economic feasibility of SaaS offerings. In addition, we provide a gap analysis of what is currently lacking from the perspectives of variability modeling and management techniques and middleware support, and as such sketch a concrete roadmap for continued research in this area.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"179 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124460164","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}
引用次数: 15
The BVR tool bundle to support product line engineering 支持产品线工程的BVR工具包
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791094
A. Vasilevskiy, Øystein Haugen, Franck Chauvel, M. Johansen, Daisuke Shimbara
{"title":"The BVR tool bundle to support product line engineering","authors":"A. Vasilevskiy, Øystein Haugen, Franck Chauvel, M. Johansen, Daisuke Shimbara","doi":"10.1145/2791060.2791094","DOIUrl":"https://doi.org/10.1145/2791060.2791094","url":null,"abstract":"The Base Variability Resolution (BVR) is a modern language to build software product lines (SPL). The language incorporates advanced concepts for feature modeling, reuse and realization of components in SPL. The BVR bundle implements and supports the language. The tool covers design, implementation and quality assurance to close the development cycle. The bundle enables feature modeling, resolution, realization and derivation of products, their testing and analysis. We integrate the SPLCA additions to provide the state of the art algorithms for analysis. The project is open-source and available for practitioners. The tool consists of Eclipse plug-ins which work seamlessly together as well as separate stand-alone components. We describe how the tool collaboration contributes to variability modeling. In addition, we present how the bundle applies well-known design patterns, principals to achieve synergy between components.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125886551","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}
引用次数: 16
Towards migrating object-oriented frameworks to enable synthesis of product line members 朝着迁移面向对象框架的方向发展，以支持产品线成员的合成
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791076
G. Heineman, Armend Hoxha, Boris Düdder, J. Rehof
{"title":"Towards migrating object-oriented frameworks to enable synthesis of product line members","authors":"G. Heineman, Armend Hoxha, Boris Düdder, J. Rehof","doi":"10.1145/2791060.2791076","DOIUrl":"https://doi.org/10.1145/2791060.2791076","url":null,"abstract":"For many software engineers, object-oriented frameworks represent the highest level of achievement in extensible design. The framework designers become experts in a specific application domain and design cooperating classes that impose specific responsibilities and collaborations for those seeking to extend the framework. In short, once a framework matures, it has complicated usage patterns that must be followed otherwise nothing works. Turning a framework into a software product line is challenging because of the difficulty in coding these complex behaviors and enabling the configuration of product line members using the framework. We propose to support this migration process by showing how to design a repository of modular units to synthesize member applications compositionally. These units are formalized using combinatory logic synthesis, a type-based approach to component-oriented synthesis. We demonstrate the feasibility of our approach with a Java-based product line for which we can automatically synthesize member applications.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128395491","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
IVML: a DSL for configuration in variability-rich software ecosystems IVML:用于在可变多的软件生态系统中进行配置的DSL
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791116
Holger Eichelberger, Klaus Schmid
{"title":"IVML: a DSL for configuration in variability-rich software ecosystems","authors":"Holger Eichelberger, Klaus Schmid","doi":"10.1145/2791060.2791116","DOIUrl":"https://doi.org/10.1145/2791060.2791116","url":null,"abstract":"Variability-rich Software Ecosystems need configuration capabilities just as in any product line. However, various additional capabilities are required, taking into account the software ecosystem characteristics. In order to address these specific needs, we developed the Integrated Variability Modeling Language (IVML) for describing configurations of variability-rich software ecosystems. IVML is a variability modeling and configuration language along with accompanying reasoning facilities.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124980798","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}
引用次数: 6
An MDE tool for defining software product families with explicit variation points 一个MDE工具，用于定义具有显式变型点的软件产品族
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791090
S. D. Cola, K. Lau, C. M. Tran, Chen Qian
{"title":"An MDE tool for defining software product families with explicit variation points","authors":"S. D. Cola, K. Lau, C. M. Tran, Chen Qian","doi":"10.1145/2791060.2791090","DOIUrl":"https://doi.org/10.1145/2791060.2791090","url":null,"abstract":"Current software product line engineering tools mainly focus on variability in the problem space, and create product families by linking variability models to artefacts in the solution space. In this paper, we present a tool that can be used to define software architectures with explicit variation points, and hence product families, directly in the solution space.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127475550","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
VariaMos: an extensible tool for engineering (dynamic) product lines VariaMos:用于工程(动态)产品线的可扩展工具
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791103
R. Mazo, J. Muñoz-Fernández, Luisa Rincón, C. Salinesi, Gabriel Tamura
{"title":"VariaMos: an extensible tool for engineering (dynamic) product lines","authors":"R. Mazo, J. Muñoz-Fernández, Luisa Rincón, C. Salinesi, Gabriel Tamura","doi":"10.1145/2791060.2791103","DOIUrl":"https://doi.org/10.1145/2791060.2791103","url":null,"abstract":"This paper presents the new release of VariaMos, a Java-based tool for defining variability modeling languages, modeling (dynamic) product lines and cyber-physical self-adaptive systems, and supporting automated verification, analysis, configuration and simulation of these models. In particular, we describe the characteristics of this new version regarding its first release: (1) the capability to create languages for modeling systems with variability, even with different views; (2) the capability to use the created language to model (dynamic) product lines; (3) the capability to analyze and configure these models according to the changing context and requirements; and (4) the capability to execute them over several simulation scenarios. Finally, we show how to use VariaMos with an example, and we compare it with other tools found in the literature.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"228 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133797844","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}
引用次数: 34
Defining metric thresholds for software product lines: a comparative study 定义软件产品线的度量阈值:一项比较研究
Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791078
Gustavo Vale, D. Albuquerque, Eduardo Figueiredo, Alessandro F. Garcia
{"title":"Defining metric thresholds for software product lines: a comparative study","authors":"Gustavo Vale, D. Albuquerque, Eduardo Figueiredo, Alessandro F. Garcia","doi":"10.1145/2791060.2791078","DOIUrl":"https://doi.org/10.1145/2791060.2791078","url":null,"abstract":"A software product line (SPL) is a set of software systems that share a common and variable set of features. Software metrics provide basic means to quantify several modularity aspects of SPLs. However, the effectiveness of the SPL measurement process is directly dependent on the definition of reliable thresholds. If thresholds are not properly defined, it is difficult to actually know whether a given metric value indicates a potential problem in the feature implementation. There are several methods to derive thresholds for software metrics. However, there is little understanding about their appropriateness for the SPL context. This paper aims at comparing three methods to derive thresholds based on a benchmark of 33 SPLs. We assess to what extent these methods derive appropriate values for four metrics used in product-line engineering. These thresholds were used for guiding the identification of a typical anomaly found in features' implementation, named God Class. We also discuss the lessons learned on using such methods to derive thresholds for SPLs.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115280897","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}
引用次数: 32
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信