高级检索

    Frame精化:基于Frame的软件开发与逐步精化的融合

    Frame Refinement: Combining Frame-Based Software Development with Stepwise Refinement

    • 摘要: 基于Frame的软件开发和逐步精化是用于实现系统化软件开发(例如软件产品线)的两种范型.然而这两种方法基于不同的假设而独立发展,它们之间的联系还未得到完全认识.为了弥补这一缺失,使得能够在一个统一的软件开发过程中发挥这两者的优势,探讨了它们之间的联系、融合的必要性以及在融和过程中出现的有趣的问题,像可换合成策略和不同范型指令的融合等.为了支持这一观点,在frames的设计中集成了逐步精化技术,并设计开发了Frame++.它构建在XVCL之上,利用AHEAD(XAK)来支持frames精化.在frames中融入逐步精化的概念,使得可以按特征对frames进行组织(同时兼顾消除克隆),易于frames的演化和面向特征的复用与组装;同时精化的参数化特性使得处理细粒度的可变性特征变得容易.一个人员维护模块的产品线被用来展示这种方法.此方法可以提升frames设计中的关注点分离,并促进系统化的软件开发.

       

      Abstract: Frame-based software development and stepwise refinement (SWR) are two powerful paradigms to implement systematic software development, e.g., software product lines. However, these two approaches are developed independently with different assumptions and their relationship hasnt been fully explored. To fill this gap and leverage the strengths of both approaches in a unified software development process, we explore their relation, the necessity of their combination, and some interesting issues like “alternative combination strategies”, “unification of directives from different paradigms”, etc, when performing integration or fusion of these two approaches. To support our idea, we integrate SWR technology into frames design and propose the Frame++ approach which is built on XVCL and supports frame refinement with AHEAD(XAK). By integrating SWR into frames, we can (re)organize frames into frames and their associated refinements according to features (as well as taking into account the elimination of clones) and make them easy to evolve and reuse. At the same time, the generic refinements inherited from frames make it easy to deal with fine granularity variability features. We use a person maintenance module product line to illustrate our approach. Such a flexible approach with the feature-oriented perspective can improve separation of concerns in frames design and facilitate systematic software development.

       

    /

    返回文章
    返回