首页 > 最新文献

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B最新文献

英文 中文
Design for the analysis of variability management in the industry 设计为分析行业的可变性管理
A. E. Chacón-Luna, A. Gutiérrez-Fernández, David Benavides, L. Fuentes
Software Product Lines (SPL) enable systematic reuse within an organization, which reduces costs, effort, development time and the average number of defects per product. However, there is no empirical evidence on the adoption of SPLs in software development companies for product customization. To assess the need for SPL technologies in real software development, it is necessary to analyze the variability practices in companies to develop their products, pointing out the strengths and weaknesses of their approaches. To this end, we present the design of a study to evaluate how companies perform variability management. We start from the assumption that most companies manage variability, but not many of them are aware of the software product lines.
软件产品线(SPL)支持组织内的系统重用,从而减少成本、工作量、开发时间和每个产品的平均缺陷数量。然而,没有经验证据表明软件开发公司在产品定制中采用SPLs。为了评估实际软件开发中对SPL技术的需求,有必要分析公司开发其产品的可变性实践,指出其方法的优点和缺点。为此,我们提出了一项研究的设计,以评估公司如何执行变异性管理。我们从大多数公司管理可变性的假设开始,但是没有很多公司意识到软件产品线。
{"title":"Design for the analysis of variability management in the industry","authors":"A. E. Chacón-Luna, A. Gutiérrez-Fernández, David Benavides, L. Fuentes","doi":"10.1145/3503229.3547060","DOIUrl":"https://doi.org/10.1145/3503229.3547060","url":null,"abstract":"Software Product Lines (SPL) enable systematic reuse within an organization, which reduces costs, effort, development time and the average number of defects per product. However, there is no empirical evidence on the adoption of SPLs in software development companies for product customization. To assess the need for SPL technologies in real software development, it is necessary to analyze the variability practices in companies to develop their products, pointing out the strengths and weaknesses of their approaches. To this end, we present the design of a study to evaluate how companies perform variability management. We start from the assumption that most companies manage variability, but not many of them are aware of the software product lines.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130076610","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}
引用次数: 0
Multidisciplinary variability management for cyber-physical production systems 网络物理生产系统的多学科可变性管理
H. Fadhlillah
Cyber-Physical Production Systems (CPPSs) are complex, versatile systems interacting with the environment by sensors and actuators. Specific customer demands and technical requirements lead to high engineering efforts for the control software of CPPSs, especially when following a clone-and-own approach to reuse, as is still common in industry. Utilizing systematic variability management to derive and configure control software variants from a product line could help to reduce the cost of developing and/or maintaining CPPSs. However, modeling CPPS variability is challenging as knowledge from multiple disciplines (e.g., mechanics, electrics, software) is needed, which is either implicit in practice or expressed in multiple heterogeneous engineering artifacts with diverse semantics. Furthermore, techniques commonly used to implement CPPS control software (e.g., graphical programming or modeling languages) do not have any formal mechanism to express variability. In this paper, we report on our ongoing efforts to create a multidisciplinary variability management approach for CPPSs, particularly CPPS control software. We designed our approach as an integrated approach providing configuration options based on related heterogeneous variability models from multiple disciplines. Our integrated approach can generate control software based on related domain-specific implementation artifacts.
信息物理生产系统(CPPSs)是一种复杂、通用的系统,通过传感器和执行器与环境相互作用。特定的客户需求和技术需求导致CPPSs控制软件的高工程工作量,特别是在遵循复制和拥有的方法进行重用时,这在工业中仍然很常见。利用系统的可变性管理来派生和配置来自产品线的控制软件变体,可以帮助降低开发和/或维护CPPSs的成本。然而,建模CPPS可变性是具有挑战性的,因为需要来自多个学科(例如,力学、电学、软件)的知识,这些知识要么在实践中隐含,要么在具有不同语义的多个异构工程工件中表达。此外,通常用于实现CPPS控制软件的技术(例如,图形化编程或建模语言)没有任何表达可变性的正式机制。在本文中,我们报告了我们正在努力为CPPS,特别是CPPS控制软件创建多学科可变性管理方法。我们将我们的方法设计为一种集成的方法,提供基于来自多个学科的相关异构可变性模型的配置选项。我们的集成方法可以生成基于相关领域特定实现构件的控制软件。
{"title":"Multidisciplinary variability management for cyber-physical production systems","authors":"H. Fadhlillah","doi":"10.1145/3503229.3547063","DOIUrl":"https://doi.org/10.1145/3503229.3547063","url":null,"abstract":"Cyber-Physical Production Systems (CPPSs) are complex, versatile systems interacting with the environment by sensors and actuators. Specific customer demands and technical requirements lead to high engineering efforts for the control software of CPPSs, especially when following a clone-and-own approach to reuse, as is still common in industry. Utilizing systematic variability management to derive and configure control software variants from a product line could help to reduce the cost of developing and/or maintaining CPPSs. However, modeling CPPS variability is challenging as knowledge from multiple disciplines (e.g., mechanics, electrics, software) is needed, which is either implicit in practice or expressed in multiple heterogeneous engineering artifacts with diverse semantics. Furthermore, techniques commonly used to implement CPPS control software (e.g., graphical programming or modeling languages) do not have any formal mechanism to express variability. In this paper, we report on our ongoing efforts to create a multidisciplinary variability management approach for CPPSs, particularly CPPS control software. We designed our approach as an integrated approach providing configuration options based on related heterogeneous variability models from multiple disciplines. Our integrated approach can generate control software based on related domain-specific implementation artifacts.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115513246","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}
引用次数: 0
Advisory: vulnerability analysis in software development project dependencies 建议:软件开发项目依赖项中的漏洞分析
A. G. Márquez, J. Galindo, Á. J. Varela-Vaca, María Teresa Gómez López, David Benavides
Security has become a crucial factor in the development of software systems. The number of dependencies in software systems is becoming a source of countless bugs and vulnerabilities. In the past, the product line community has proposed several techniques and mechanisms to cope with the problems that arise when dealing with variability and dependency management in such systems. In this paper, we present Advisory, a solution that allows automated dependency analysis for vulnerabilities within software projects based on techniques from the product line community. Advisory first inspects software dependencies, then generates a dependency graph, to which security information about vulnerabilities is attributed and translated into a formal model, in this case, based on SMT. Finally, Advisory provides a set of analysis and reasoning operations on these models that allow extracting helpful information about the location of vulnerabilities of the project configuration space, as well as details for advising on the security risk of these projects and their possible configurations.
安全性已经成为软件系统开发的一个关键因素。软件系统中依赖关系的数量正在成为无数错误和漏洞的来源。在过去,产品线社区已经提出了几种技术和机制来处理在处理此类系统中的可变性和依赖管理时出现的问题。在本文中,我们提出了Advisory,这是一个解决方案,它允许基于来自产品线社区的技术对软件项目中的漏洞进行自动化依赖分析。Advisory首先检查软件依赖关系,然后生成一个依赖关系图,将有关漏洞的安全信息归为该图,并将其转换为正式模型,在本例中是基于SMT的。最后,Advisory在这些模型上提供了一组分析和推理操作,这些操作允许提取有关项目配置空间的漏洞位置的有用信息,以及关于这些项目的安全风险及其可能配置的建议的详细信息。
{"title":"Advisory: vulnerability analysis in software development project dependencies","authors":"A. G. Márquez, J. Galindo, Á. J. Varela-Vaca, María Teresa Gómez López, David Benavides","doi":"10.1145/3503229.3547058","DOIUrl":"https://doi.org/10.1145/3503229.3547058","url":null,"abstract":"Security has become a crucial factor in the development of software systems. The number of dependencies in software systems is becoming a source of countless bugs and vulnerabilities. In the past, the product line community has proposed several techniques and mechanisms to cope with the problems that arise when dealing with variability and dependency management in such systems. In this paper, we present Advisory, a solution that allows automated dependency analysis for vulnerabilities within software projects based on techniques from the product line community. Advisory first inspects software dependencies, then generates a dependency graph, to which security information about vulnerabilities is attributed and translated into a formal model, in this case, based on SMT. Finally, Advisory provides a set of analysis and reasoning operations on these models that allow extracting helpful information about the location of vulnerabilities of the project configuration space, as well as details for advising on the security risk of these projects and their possible configurations.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126732059","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}
引用次数: 1
A tool for modeling and analysis of relationships among feature model views 对特征模型视图之间的关系进行建模和分析的工具
Gökhan Kahraman, L. Cleophas
High-tech systems development involves several models and artifacts, each focusing on one or more aspects or parts of the system. In product lines, managing the common and variable characteristics of these development artifacts typically involves feature models. Yet for high-tech systems, management is complicated by the large number of features and constraints. Using multiple feature models, each with a reduced number of features relevant only for specific artifacts, has been identified as a possible solution to deal with this complexity. However, to use multiple feature models effectively, the relationships among feature models need to be known. While several approaches that support multiple feature models exist, they do not explicitly provide concepts for representing structural relationships between features in different feature models. Explicitly documenting these relationships improves understanding of the complete variability model and supports maintainability of the variability model under evolution. In this study, we present two domain specific languages---one for relationship modeling, one for change analysis which enables users to express change impact analysis queries using the relationship modeling language terminology---, which we implemented in TReMAFeM, a tool for relationship modeling among feature models. Moreover, we demonstrate the use of the tool on the industry-related case of the Extended Twilight System product line and explain how it can be used to support typical change impact analysis scenarios.
高科技系统开发涉及几个模型和工件,每个模型和工件都关注系统的一个或多个方面或部分。在产品线中,管理这些开发工件的公共和可变特征通常涉及到特征模型。然而,对于高科技系统,由于大量的特性和约束,管理变得复杂。使用多个特征模型,每个模型都减少了只与特定工件相关的特征数量,已被确定为处理这种复杂性的可能解决方案。然而,为了有效地使用多个特征模型,需要了解特征模型之间的关系。虽然存在几种支持多个特征模型的方法,但它们没有明确地提供表示不同特征模型中特征之间结构关系的概念。明确地记录这些关系可以提高对完整可变性模型的理解,并支持可变性模型在演进过程中的可维护性。在这项研究中,我们提出了两种特定于领域的语言——一种用于关系建模,一种用于变化分析,使用户能够使用关系建模语言术语表达变化影响分析查询——我们在TReMAFeM中实现了这一点,TReMAFeM是一种用于特征模型之间关系建模的工具。此外,我们演示了该工具在扩展暮光系统产品线的行业相关案例中的使用,并解释了如何使用它来支持典型的变更影响分析场景。
{"title":"A tool for modeling and analysis of relationships among feature model views","authors":"Gökhan Kahraman, L. Cleophas","doi":"10.1145/3503229.3547076","DOIUrl":"https://doi.org/10.1145/3503229.3547076","url":null,"abstract":"High-tech systems development involves several models and artifacts, each focusing on one or more aspects or parts of the system. In product lines, managing the common and variable characteristics of these development artifacts typically involves feature models. Yet for high-tech systems, management is complicated by the large number of features and constraints. Using multiple feature models, each with a reduced number of features relevant only for specific artifacts, has been identified as a possible solution to deal with this complexity. However, to use multiple feature models effectively, the relationships among feature models need to be known. While several approaches that support multiple feature models exist, they do not explicitly provide concepts for representing structural relationships between features in different feature models. Explicitly documenting these relationships improves understanding of the complete variability model and supports maintainability of the variability model under evolution. In this study, we present two domain specific languages---one for relationship modeling, one for change analysis which enables users to express change impact analysis queries using the relationship modeling language terminology---, which we implemented in TReMAFeM, a tool for relationship modeling among feature models. Moreover, we demonstrate the use of the tool on the industry-related case of the Extended Twilight System product line and explain how it can be used to support typical change impact analysis scenarios.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124202564","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}
引用次数: 0
Derivation of subset product lines in FeatureIDE 在FeatureIDE中派生子集产品线
L. Linsbauer, Paul Westphal, P. M. Bittner, S. Krieter, Thomas Thüm, Ina Schaefer
The development and configuration of software product lines can be challenging tasks. During development, engineers often need to focus on a particular subset of features that is relevant for them. In such cases, it would be beneficial to hide other features and their implementation. During product configuration, requirements of potentially multiple stakeholders need to be considered. Therefore, configuration often happens in stages, in which different people contribute configuration decisions for different features. Moreover, in some cases, stakeholders want to share a set of products rather than a specific one. In all these cases, the necessary operation is the same: some features from the product line are assigned a value (e.g., via a partial configuration) while other features remain configurable. In this work, we propose a subset operation that takes a product line and a partial configuration to derive a subset product line comprising only the desired subset of features and implementation artifacts. Furthermore, we present, evaluate, and publish our implementation of the proposed subset operation within the FeatureIDE framework.
软件产品线的开发和配置可能是具有挑战性的任务。在开发过程中,工程师通常需要关注与他们相关的特定功能子集。在这种情况下,隐藏其他特性及其实现将是有益的。在产品配置期间,需要考虑潜在的多个涉众的需求。因此,配置通常是分阶段进行的,不同的人为不同的特性提供配置决策。此外,在某些情况下,利益相关者希望共享一组产品,而不是特定的产品。在所有这些情况下,必要的操作是相同的:产品线中的一些特性被赋值(例如,通过部分配置),而其他特性保持可配置。在这项工作中,我们提出了一个子集操作,它采用产品线和部分配置来派生一个子集产品线,该子集产品线仅包含所需的功能和实现工件的子集。此外,我们在FeatureIDE框架内展示、评估并发布了我们所提议的子集操作的实现。
{"title":"Derivation of subset product lines in FeatureIDE","authors":"L. Linsbauer, Paul Westphal, P. M. Bittner, S. Krieter, Thomas Thüm, Ina Schaefer","doi":"10.1145/3503229.3547033","DOIUrl":"https://doi.org/10.1145/3503229.3547033","url":null,"abstract":"The development and configuration of software product lines can be challenging tasks. During development, engineers often need to focus on a particular subset of features that is relevant for them. In such cases, it would be beneficial to hide other features and their implementation. During product configuration, requirements of potentially multiple stakeholders need to be considered. Therefore, configuration often happens in stages, in which different people contribute configuration decisions for different features. Moreover, in some cases, stakeholders want to share a set of products rather than a specific one. In all these cases, the necessary operation is the same: some features from the product line are assigned a value (e.g., via a partial configuration) while other features remain configurable. In this work, we propose a subset operation that takes a product line and a partial configuration to derive a subset product line comprising only the desired subset of features and implementation artifacts. Furthermore, we present, evaluate, and publish our implementation of the proposed subset operation within the FeatureIDE framework.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125744084","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}
引用次数: 0
IDE-assisted visualization of indebted OO variability implementations 负债的OO可变性实现的ide辅助可视化
Johann Mortara, P. Collet, A. Pinna-Dery
Object-Oriented (OO) variability-rich software systems often implement their variability in a single codebase, using the mechanisms provided by the host language (i.e., inheritance, overloading, design patterns). This variability is not documented and buried deep down in the code, thus impeding its identification and making it especially prone to variability debt at the code level. While this kind of variability implementation can now be detected, visualization support such as VariCity helps architects and developers understand the implemented variability using a city metaphor. In this paper, we demonstrate VariMetrics-IDE, an extension of VariCity that allows to visualize multiple quality metrics (e.g., code complexity, test coverage) together with the variability implementations, while supporting navigation between the source code and the visualization in an IDE. This extension thus facilitates the identification of zones of variability implementations with variability debt.
面向对象(OO)可变性丰富的软件系统通常使用宿主语言提供的机制(例如,继承、重载、设计模式)在单个代码库中实现其可变性。这种可变性没有被记录下来,并且深埋在代码中,因此阻碍了它的识别,并使它特别容易在代码级别上产生可变性债务。虽然现在可以检测到这种可变性实现,但诸如VariCity之类的可视化支持可以帮助架构师和开发人员使用城市隐喻来理解实现的可变性。在本文中,我们演示了VariMetrics-IDE, VariCity的一个扩展,它允许可视化多个质量度量(例如,代码复杂性,测试覆盖率)以及可变性实现,同时支持在IDE中源代码和可视化之间的导航。因此,这个扩展有助于识别带有可变性债务的可变性实现区域。
{"title":"IDE-assisted visualization of indebted OO variability implementations","authors":"Johann Mortara, P. Collet, A. Pinna-Dery","doi":"10.1145/3503229.3547066","DOIUrl":"https://doi.org/10.1145/3503229.3547066","url":null,"abstract":"Object-Oriented (OO) variability-rich software systems often implement their variability in a single codebase, using the mechanisms provided by the host language (i.e., inheritance, overloading, design patterns). This variability is not documented and buried deep down in the code, thus impeding its identification and making it especially prone to variability debt at the code level. While this kind of variability implementation can now be detected, visualization support such as VariCity helps architects and developers understand the implemented variability using a city metaphor. In this paper, we demonstrate VariMetrics-IDE, an extension of VariCity that allows to visualize multiple quality metrics (e.g., code complexity, test coverage) together with the variability implementations, while supporting navigation between the source code and the visualization in an IDE. This extension thus facilitates the identification of zones of variability implementations with variability debt.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132036279","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
A tool for analysing higher-order feature interactions in preprocessor annotations in C and C++ projects 用于分析C和c++项目中预处理器注释中的高阶特征交互的工具
David Korsman, C. Damasceno, D. Strüber
Feature interactions are an intricate phenomenon: they can add value to software systems, but also lead to subtle bugs and complex, emergent behavior. Having a clearer understanding of feature interactions in practice can help practitioners to select appropriate quality assurance techniques for their systems and researchers to guide further research efforts. In this paper, we present pdparser, a Python-based tool for analysing structural feature interactions in software systems developed with C and C++ preprocessor. Our tool relies on a lightweight methodology to quantify the frequency of pairwise and higher-order feature interactions and the percentage of code affected by them. We showcase the individual characteristics brought forward by the automated analysis of one toy example and two open-source text editors: Vim and Emacs. The source code and a demo video are available on GitHub at https://github.com/dkorsman/pdparser.
功能交互是一种复杂的现象:它们可以为软件系统增加价值,但也会导致微妙的错误和复杂的突发行为。在实践中对特征交互有更清晰的理解可以帮助从业者为他们的系统选择合适的质量保证技术,也可以帮助研究人员指导进一步的研究工作。在本文中,我们提出了pdparser,一个基于python的工具,用于分析用C和c++预处理器开发的软件系统中的结构特征交互。我们的工具依赖于一种轻量级的方法来量化成对和高阶特性交互的频率,以及受它们影响的代码百分比。我们展示了通过对一个小示例和两个开源文本编辑器(Vim和Emacs)的自动分析所带来的个人特征。源代码和演示视频可在GitHub上获得https://github.com/dkorsman/pdparser。
{"title":"A tool for analysing higher-order feature interactions in preprocessor annotations in C and C++ projects","authors":"David Korsman, C. Damasceno, D. Strüber","doi":"10.1145/3503229.3547027","DOIUrl":"https://doi.org/10.1145/3503229.3547027","url":null,"abstract":"Feature interactions are an intricate phenomenon: they can add value to software systems, but also lead to subtle bugs and complex, emergent behavior. Having a clearer understanding of feature interactions in practice can help practitioners to select appropriate quality assurance techniques for their systems and researchers to guide further research efforts. In this paper, we present pdparser, a Python-based tool for analysing structural feature interactions in software systems developed with C and C++ preprocessor. Our tool relies on a lightweight methodology to quantify the frequency of pairwise and higher-order feature interactions and the percentage of code affected by them. We showcase the individual characteristics brought forward by the automated analysis of one toy example and two open-source text editors: Vim and Emacs. The source code and a demo video are available on GitHub at https://github.com/dkorsman/pdparser.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127846774","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}
引用次数: 0
V4rdiac
H. Fadhlillah, Kevin Feichtinger, Philipp Bauer, Elene Kutsia, Rick Rabiser
Cyber-Physical Production Systems (CPPSs) are complex systems comprised of software and hardware, developed and maintained in a multidisciplinary environment with constantly changing customer and technology requirements. Adopting systematic variability management to develop and maintain CPPS control software variants can reduce engineering costs and time to market. However, managing CPPS variability remains challenging as the necessary knowledge is either implicit or documented in diverse artifacts with varying semantics and complexity. In this paper, we present tool support for Variability for 4diac (V4rdiac), an approach developed for managing multidisciplinary variability of CPPSs. V4rdiac is an extendable framework using 4diac IDE from Eclipse 4diac™ and other extensible components (e.g., TRAVART and FeatureIDE). Currently, V4rdiac supports the automatic generation of control software based on configuration choices defined in heterogeneous variability models. A demo video is available at https://youtu.be/rjDmRD7fmzI.
{"title":"V4rdiac","authors":"H. Fadhlillah, Kevin Feichtinger, Philipp Bauer, Elene Kutsia, Rick Rabiser","doi":"10.1145/3503229.3547028","DOIUrl":"https://doi.org/10.1145/3503229.3547028","url":null,"abstract":"Cyber-Physical Production Systems (CPPSs) are complex systems comprised of software and hardware, developed and maintained in a multidisciplinary environment with constantly changing customer and technology requirements. Adopting systematic variability management to develop and maintain CPPS control software variants can reduce engineering costs and time to market. However, managing CPPS variability remains challenging as the necessary knowledge is either implicit or documented in diverse artifacts with varying semantics and complexity. In this paper, we present tool support for Variability for 4diac (V4rdiac), an approach developed for managing multidisciplinary variability of CPPSs. V4rdiac is an extendable framework using 4diac IDE from Eclipse 4diac™ and other extensible components (e.g., TRAVART and FeatureIDE). Currently, V4rdiac supports the automatic generation of control software based on configuration choices defined in heterogeneous variability models. A demo video is available at https://youtu.be/rjDmRD7fmzI.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122590789","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
Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes 定义具有特征智能和变量智能质量属性的数值特征模型的分类推理
Daniel-Jesus Munoz, M. Pinto, D. Gurov, L. Fuentes
Automatic analysis of variability is an important stage of Software Product Line (SPL) engineering. Incorporating quality information into this stage poses a significant challenge. However, quality-aware automated analysis tools are rare, mainly because in existing solutions variability and quality information are not unified under the same model. In this paper, we make use of the Quality Variability Model (QVM), based on Category Theory (CT), to redefine reasoning operations. We start defining and composing the six most common operations in SPL, but now as quality-based queries, which tend to be unavailable in other approaches. Consequently, QVM supports interactions between variant-wise and feature-wise quality attributes. As a proof of concept, we present, implement and execute the operations as lambda reasoning for CQL IDE - the state-of-the-art CT tool.
可变性的自动分析是软件产品线工程的一个重要阶段。将质量信息整合到这一阶段是一个重大的挑战。然而,具有质量意识的自动化分析工具很少,主要是因为在现有的解决方案中,可变性和质量信息没有统一到同一模型下。在本文中,我们利用基于范畴论的质量变异模型(QVM)来重新定义推理操作。我们开始在SPL中定义和组合六个最常见的操作,但现在作为基于质量的查询,这在其他方法中往往不可用。因此,QVM支持变量质量属性和特性质量属性之间的交互。作为概念验证,我们在CQL IDE(最先进的CT工具)中以lambda推理的形式呈现、实现和执行这些操作。
{"title":"Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes","authors":"Daniel-Jesus Munoz, M. Pinto, D. Gurov, L. Fuentes","doi":"10.1145/3503229.3547057","DOIUrl":"https://doi.org/10.1145/3503229.3547057","url":null,"abstract":"Automatic analysis of variability is an important stage of Software Product Line (SPL) engineering. Incorporating quality information into this stage poses a significant challenge. However, quality-aware automated analysis tools are rare, mainly because in existing solutions variability and quality information are not unified under the same model. In this paper, we make use of the Quality Variability Model (QVM), based on Category Theory (CT), to redefine reasoning operations. We start defining and composing the six most common operations in SPL, but now as quality-based queries, which tend to be unavailable in other approaches. Consequently, QVM supports interactions between variant-wise and feature-wise quality attributes. As a proof of concept, we present, implement and execute the operations as lambda reasoning for CQL IDE - the state-of-the-art CT tool.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116657770","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}
引用次数: 0
Configuration of domotic systems based on constraint solving 基于约束求解的国产系统组态
G. Leitner, Martin Stettinger
Current crises (such as the war in Ukraine) are confronting end consumers with ever new challenges, for example, in the context of energy management. This paper presents a configurator that enables end-users to make certain functions in their household "smart" and thus, for instance, get a better grip on their energy management. The concept is based on constraint programming, concretely on the open source platform Choco1. After emphasizing the algorithmic problems and challenges, a first version of a prototype is presented, which illustrates the possibilities of guiding end-users through the process of making their living environments smart. Related possibilities, potentials and challenges of the proposed approach are discussed at the end of the paper.
当前的危机(如乌克兰战争)正使终端消费者面临新的挑战,例如能源管理方面的挑战。本文介绍了一种配置器,它使终端用户能够使他们的家庭中的某些功能“智能”,例如,更好地掌握他们的能源管理。这个概念是基于约束编程的,具体来说是基于开源平台Choco1。在强调算法问题和挑战之后,提出了原型的第一个版本,它说明了引导最终用户通过使他们的生活环境智能化的过程的可能性。本文最后讨论了该方法的可能性、潜力和挑战。
{"title":"Configuration of domotic systems based on constraint solving","authors":"G. Leitner, Martin Stettinger","doi":"10.1145/3503229.3547045","DOIUrl":"https://doi.org/10.1145/3503229.3547045","url":null,"abstract":"Current crises (such as the war in Ukraine) are confronting end consumers with ever new challenges, for example, in the context of energy management. This paper presents a configurator that enables end-users to make certain functions in their household \"smart\" and thus, for instance, get a better grip on their energy management. The concept is based on constraint programming, concretely on the open source platform Choco1. After emphasizing the algorithmic problems and challenges, a first version of a prototype is presented, which illustrates the possibilities of guiding end-users through the process of making their living environments smart. Related possibilities, potentials and challenges of the proposed approach are discussed at the end of the paper.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128587124","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}
引用次数: 0
期刊
Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1