首页> 外文会议>Engineering of Computer Based Systems, 2009. ECBS 2009 >Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications
【24h】

Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications

机译:在并行产品线应用程序中验证并动态调整和组合功能

获取原文

摘要

With the pressing in-time-market towards customizedservices, software product lines (SPL) are increasinglycharacterizing most of software landscape. SPL are mainly structured through offered features, where consistent composition and dynamic variability are the driving forces. We contribute to these two challenging problems when distribution and correctness are at stake. First, we soundly specify and validate any feature-oriented requirements using a component-based Petri nets framework referred to as Co-Nets. For rapid-prototyping, we semantically interpret in true-concurrent rewriting logic. For consistently composing features, a flexible feature-algebra is proposed. Finally, for runtime adaptability and integration of features, we leverage Co-Nets with an explicit aspectual-level, where features can be dynamically (un)woven on running components. The approach is thoroughly explained using a feature-intensive multi-lift system.
机译:随着针对定制服务的及时市场的紧迫,软件产品线(SPL)越来越成为大多数软件领域的特征。 SPL主要通过提供的功能来构造,其中一致的组成和动态可变性是驱动力。当分布和正确性受到威胁时,我们将为这两个具有挑战性的问题做出贡献。首先,我们使用被称为Co-Nets的基于组件的Petri网框架,合理地指定和验证任何面向功能的需求。对于快速原型制作,我们在语义上采用并发重写逻辑进行解释。为了一致地组成特征,提出了一种灵活的特征代数。最后,为了实现运行时的适应性和功能的集成,我们利用具有明确方面的Co-Net,可以在运行的组件上动态(取消)编织功能。使用功能密集的多提升系统对这种方法进行了详细说明。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号