• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Generative and Transformational Techniques in Software Engineering; Lecture Notes in Computer Science; 4143 >Using Java CSP Solvers in the Automated Analyses of Feature Models
【24h】

Using Java CSP Solvers in the Automated Analyses of Feature Models

机译：在要素模型的自动分析中使用Java CSP解算器

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Feature Models are used in different stages of software development and are recognized to be an important asset in model transformation techniques and software product line development. The automated analysis of feature models is being recognized as one of the key challenges for automated software development in the context of Software Product Lines. In our previous work we explained how a feature model can be transformed into a constraint satisfaction problem. However cardinalities were not considered. In this paper we present how a cardinality-based feature model can be also translated into a constraint satisfaction problem. In that connection, it is possible to use off-the-shelf tools to automatically accomplish several tasks such as calculating the number of possible feature configurations and detecting possible conflicts. In addition, we present a performance test between two off-the-shelf Java constraint solvers. To the best of our knowledge, this is the first time a performance test is presented using solvers for feature modelling proposes.
机译：功能模型用于软件开发的不同阶段，并且被认为是模型转换技术和软件产品线开发中的重要资产。在软件产品线的背景下，特征模型的自动分析被认为是自动化软件开发的主要挑战之一。在我们以前的工作中，我们解释了如何将特征模型转换为约束满足问题。但是没有考虑基数。在本文中，我们介绍了如何将基于基数的特征模型也转换为约束满足问题。在这种情况下，可以使用现成的工具自动完成多项任务，例如计算可能的功能配置数量和检测可能的冲突。此外，我们提出了两个现成的Java约束求解器之间的性能测试。据我们所知，这是首次使用求解器进行特征建模的性能测试。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号