检索结果-内蒙古大学图书馆

22nd International Systems and Software Product Line Conference

作者： Fadhlillah, Hafiyyan Sayyid Adianto, Daya Azurat, Ade Sakinah, Siti Ina Univ Indonesia Fac Comp Sci Depok Indonesia

ISBN: (纸本)9781450359450

We explore the possibility of including delta-oriented programming (DOP) and Abstract User Interface (AUI) model during product generation in Software Product Line Engineering (SPLE). Previous work showed that DOP is applicable in a SPLE for Web applications albeit User Interface (UI) elements in derived product are still manually created without UI modeling. AUI model is proven to be successful for modeling UI elements for products in SPLE as it can model generic UI elements while still encouraging customization. Therefore, we pick an existing AUI modeling language called Interaction Flow Modeling Language (IFML) to create model of UI elements in a SPLE. We also suggest a new SPLE design that follows DOP and the proposed UI modeling language to generate adaptable UI given product configuration. The process of designing UI for each feature in the product line is based on reference implementation process used in previous work. We hope that the suggested process can solve the current DOP practices limitation in generating UI elements for products in SPLE.

关键词： Software Product Lines delta-oriented programming User Interface Engineering

来源：评论

学校读者我要写书评

暂无评论

PhaDOP: A Pharo framework for implementing software product lines using delta-oriented programming and model-based engineering

引用

JOURNAL OF COMPUTER LANGUAGES 2024年 80卷

作者： Niang, Boubou Thiam Kahn, Giacomo Ouzrout, Yacine Derras, Mustapha Laval, Jannik Berger Levrault 361 All Noisetiers F-69760 Limonest France Univ Lumiere Lyon 2 Univ Claude Bernard Lyon 1 Univ Jean Monnet St Etienne DISP UR4570INSA Lyon F-69007 Lyon France

delta-oriented programming is a modular, and flexible paradigm for implementing a Software Product Line. delta-oriented programming involves implementing a core software product alongside a collection of delta Modules, which encapsulate modifications that can be applied to the core software to obtain the desired product. The applicable delta modules are activated through product configuration. The core product in delta-oriented programming is mainly an object-oriented program. While delta-oriented programming has the potential to enhance productivity by reusing modifications, its limited availability of tools poses a challenge in managing large-scale software systems, making it difficult for non -experts to use. Model-based engineering offers a viable solution to this problem by utilizing model artifacts instead of code snippets, simplifying product line management based on delta-oriented programming. This paper presents PhaDOP, a framework for implementing delta-oriented programming at the model level in the Pharo environment. The framework provides the necessary structures to construct Software Product Line architecture, organize reusable artifacts, and prepare the delta Module through a graphical user interface. PhaDOP was evaluated through a case study.

关键词： Code generation delta-oriented programming Model-based engineering Software Product Line

来源：评论

学校读者我要写书评

暂无评论

End-to-end development of product lines for web systems

引用

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 2025年 1-19页

作者： Setyautami, Maya R. A. Haehnle, Reiner Azurat, Ade Budiardjo, Eko K. Univ Indonesia Fac Comp Sci Depok Jawa Barat Indonesia Tech Univ Darmstadt Dept Comp Sci Darmstadt Germany

This article proposes a novel framework for the development of product lines for web systems. Software product line engineering is a well-established reuse mechanism to aid development of related software products with a large degree of variability. Web systems, which exhibit high variability (different capabilities in each deployment) and commonality (similar user interfaces and functionalities), are very well suited for this approach. At the same time, web systems are amenable to model-driven software engineering, because they typically encompass loosely coupled and fixed functionality, which makes code generation feasible. In consequence, a model-driven software product line engineering (MDSPLE) approach to develop web systems is natural and in fact was variously suggested. However, all existing MDSPLE proposals either cover mainly the problem space. If they address the solution space at all, the technology is not variability-aware. In consequence, they lack reusability at the code level and feature-granular traceability. Our contribution is an MDSPLE-based framework that permits seamless end-to-end development of web systems. The framework is fully implemented and evaluated with realistic web systems in actual use. Our solution consists of two parts: A variability-aware extension of UML diagrams in the problem space and a feature-oriented behavioral modeling language in the solution space. Both languages have been carefully chosen (and extended) to provide a tightly fitting technology match and are based on delta-oriented programming.

关键词： delta-oriented programming Software product line engineering UML profile Web system Code generation

来源：评论

学校读者我要写书评

暂无评论

Certifying delta-oriented programs

引用

SOFTWARE AND SYSTEMS MODELING 2019年第5期18卷 2875-2906页

作者： Rodrigues, Vitor Donetti, Simone Damiani, Ferruccio Univ Turin Turin Italy Univ Turin Comp Sci Dept Turin Italy

A major design concern in modern software development frameworks is to ensure that mechanisms for updating code running on remote devices comply with given safety specifications. This paper presents a delta-oriented approach for implementing product lines where software reuse is achieved at the three levels of state-diagram modeling, C/C++source code and binary code. A safety specification is expressed on the properties of reusable software libraries that can be dynamically loaded at run time after an over-the-air update. The compilation of delta-engineered code is certified using the framework of proof-carrying code in order to guarantee safety of software updates on remote devices. An empirical evaluation of the computational cost associated with formal safety checks is done by means of experimentation.

关键词： Model-driven development delta-oriented programming Safety properties Proof-carrying code Runtime systems

来源：评论

学校读者我要写书评

暂无评论

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

引用

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 2019年第6期21卷 691-707页

作者： Damiani, Ferruccio Lienhardt, Michael Paolini, Luca Univ Turin Turin Italy Off Natl Etud & Rech Aerosp Palaiseau France

delta-oriented programming (DOP) is a flexible transformational approach to implement software product lines (SPLs). In delta-oriented SPLs, variants are generated by applying operations contained in delta modules to a base program. These operations can add, remove or modify named elements in a program (e.g. classes, methods and fields in a Java program). This paper presents two notions of normal form for delta-oriented SPLs. Both normal forms do not contain the remove operation. Additionally, the second normal form enforces a limitation on the use of the method-modify operation. For each of the proposed normal forms an algorithm for refactoring a delta-oriented SPL into one that satisfies that normal form is described. The algorithms are formalized for a core calculus for delta-oriented SPLs of Java programs.

关键词： delta-oriented programming Featherweight Java Software product lines Automated refactoring

来源：评论

学校读者我要写书评

暂无评论

FeatureIDE: An extensible framework for feature-oriented software development

引用

SCIENCE OF COMPUTER programming 2014年 79卷 70-85页

作者： Thuema, Thomas Kaestner, Christian Benduhn, Fabian Meinicke, Jens Saake, Gunter Leich, Thomas Univ Magdeburg D-39106 Magdeburg Germany Univ Marburg D-35032 Marburg Germany METOP GmbH Magdeburg Germany

FeatureIDE is an open-source framework for feature-oriented software development (FOSD) based on Eclipse. FOSD is a paradigm for the construction, customization, and synthesis of software systems. Code artifacts are mapped to features, and a customized software system can be generated given a selection of features. The set of software systems that can be generated is called a software product line (SPL). FeatureIDE supports several FOSD implementation techniques such as feature-oriented programming, aspect-oriented programming, delta-oriented programming, and preprocessors. All phases of FOSD are supported in FeatureIDE, namely domain analysis, requirements analysis, domain implementation, and software generation. (C) 2012 Elsevier B.V. All rights reserved.

关键词： Feature-oriented software development Software product lines Feature modeling Feature-oriented programming Aspect-oriented programming delta-oriented programming Preprocessors Tool support

来源：评论

学校读者我要写书评

暂无评论

On checking delta-oriented product lines of statecharts

引用

SCIENCE OF COMPUTER programming 2018年 166卷 3-34页

作者： Lienhardt, Michael Damiani, Ferruccio Testa, Lorenzo Turin, Gianluca Univ Torino Turin Italy

A Software Product Line (SPL) is a set of programs, called variants, which are generated from a common artifact base. delta-oriented programming (DOP) is a flexible approach to implement SPLs. In this article, we provide a foundation for rigorous development of delta-oriented product lines of statecharts. We introduce a core language for statecharts, we define DOP on top of it, we present an analysis ensuring that a product line is well-formed (i.e., all variants can be generated and are well-formed statecharts), and we illustrate how an implementation of the analysis has been applied to an industrial case study. (C) 2018 Elsevier B.V. All rights reserved.

关键词： Core calculus delta-oriented programming Software product line Software product line analysis Statechart

来源：评论

学校读者我要写书评

暂无评论

A novel model-based testing approach for software product lines

引用

SOFTWARE AND SYSTEMS MODELING 2017年第4期16卷 1223-1251页

作者： Damiani, Ferruccio Faitelson, David Gladisch, Christoph Tyszberowicz, Shmuel Univ Torino Dipartimento Informat Cso Svizzera 185 I-10149 Turin Italy Afeka Tel Aviv Acad Coll Engn Tel Aviv Israel Karlsruhe Inst Technol Karlsruhe Germany Acad Coll Tel Aviv Yaffo Tel Aviv Israel

Model-based testing relies on a model of the system under test. FineFit is a framework for model-based testing of Java programs. In the FineFit approach, the model is expressed by a set of tables based on Parnas tables. A software product line is a family of programs (the products) with well-defined commonalities and variabilities that are developed by (re) using common artifacts. In this paper, we address the issue of using the FineFit approach to support the development of correct software product lines. We specify a software product line as a specification product line where each product is a FineFit specification of the corresponding software product. The main challenge is to concisely specify the software product line while retaining the readability of the specification of a single system. To address this, we used delta-oriented programming, a recently proposed flexible approach for implementing software product lines, and developed: (1) delta tables as a means to apply the delta-oriented programming idea to the specification of software product lines;and (2) deltaFineFit as a novel model-based testing approach for software product lines.

关键词： Java Alloy Software product line delta-oriented programming Model-based testing Refinement

来源：评论

学校读者我要写书评

暂无评论

A formal model for Multi Software Product Lines

引用

SCIENCE OF COMPUTER programming 2019年 172卷 203-231页

作者： Damiani, Ferruccio Lienhardt, Michael Paolini, Luca Univ Turin Dipartimento Informat Turin Italy

A Software Product Line (SPL) is a family of similar programs generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs that are typically managed and developed in a decentralized fashion. delta-oriented programming (DOP) is a flexible and modular approach to implement SPLs. This paper presents new concepts that extend DOP to support the implementation of MPLs. These extensions aim to accommodate compositional analyses. They are presented by means of a core calculus for delta-oriented MPLs of Java programs. Suitability for MPL compositional analyses is demonstrated by compositional reuse of existing SPL analysis techniques. (C) 2018 Elsevier B.V. All rights reserved.

关键词： Core calculus delta-oriented programming Featherweight Java Multi software product line

来源：评论

学校读者我要写书评

暂无评论

Implementing delta-oriented SPLs using PEoPL: An Example Scenario and Case Study 2016

Implementing Delta-Oriented SPLs using PEoPL: An Example Sce...

引用

7th International Workshop on Feature-oriented Software Development (FOSD)

作者： Behringer, Benjamin Fey, Moritz Univ Luxembourg Luxembourg Luxembourg Htw Saar Saarbrucken Germany

ISBN: (纸本)9781450346474

Software product line implementation techniques are complementary. Thus, moving fluidly between them would be beneficial. Our tool PEoPL, a novel instantiation of the MPS language workbench, supports projecting a common variational AST into user-editable projections, each of which represents a different product line implementation technique. PEoPL supports FOP-like, annotative and product projections and allows developers to move fluidly between them. In this paper, we lay the foundation for future delta-oriented projectional editors. We use an example scenario to discuss a mapping of deltaJ language concepts to the variational AST and operations employed in PEoPL. In a case study, we show that PEoPL is expressive enough to represent deltaJ product lines, and at the same time supports all delta manipulations.

关键词： Software product lines delta-oriented programming language workbenches projectional editing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：