Feature Diagrams for Change-Oriented Programming

International Conference on Feature Interactions in Software and Communication Systems Pub Date : 1900-01-01 DOI:10.3233/978-1-60750-014-8-107

Peter Ebraert, Andreas Classen, P. Heymans, T. D'Hondt

{"title":"Feature Diagrams for Change-Oriented Programming","authors":"Peter Ebraert, Andreas Classen, P. Heymans, T. D'Hondt","doi":"10.3233/978-1-60750-014-8-107","DOIUrl":null,"url":null,"abstract":"Abstract. The idea of feature-oriented programming is to map requirements to fea-tures, concepts that can be composed to form a software product. Change-orientedprogramming (ChOP), in which features are seen as sets of changes that can beapplied to a base program, has recently been proposed as an approach to FOP.Changes are recorded as the programmer works and can encapsulate any developeraction, including the removing of code.Before changes can be combined to form a product, it has to be veriﬁed that thereare no harmful interactions between selected changes. There exists, however, noformal model of the current approach that may serve as a reference speciﬁcationfor ChOP implementations. In an effort to ﬁll this gap, we propose a formal modelof ChOP, which, as we will show, maps to the well-understood notion of feature di-agram. Thanks to this, we can reuse a number of results in feature diagram researchand apply them to ChOP.Keywords. Formal Methods, Feature-Oriented Programming, Feature Diagrams,Software Product Lines","PeriodicalId":382411,"journal":{"name":"International Conference on Feature Interactions in Software and Communication Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Feature Interactions in Software and Communication Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3233/978-1-60750-014-8-107","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 12

Abstract

Abstract. The idea of feature-oriented programming is to map requirements to fea-tures, concepts that can be composed to form a software product. Change-orientedprogramming (ChOP), in which features are seen as sets of changes that can beapplied to a base program, has recently been proposed as an approach to FOP.Changes are recorded as the programmer works and can encapsulate any developeraction, including the removing of code.Before changes can be combined to form a product, it has to be veriﬁed that thereare no harmful interactions between selected changes. There exists, however, noformal model of the current approach that may serve as a reference speciﬁcationfor ChOP implementations. In an effort to ﬁll this gap, we propose a formal modelof ChOP, which, as we will show, maps to the well-understood notion of feature di-agram. Thanks to this, we can reuse a number of results in feature diagram researchand apply them to ChOP.Keywords. Formal Methods, Feature-Oriented Programming, Feature Diagrams,Software Product Lines

查看原文本刊更多论文

面向变更编程的特征图

摘要面向功能的编程的思想是将需求映射到可以组成软件产品的功能和概念。面向变化的编程(ChOP)，其中的特征被视为可以应用于基本程序的一系列变化，最近被提议作为一种FOP方法。在程序员工作时记录更改，并且可以封装任何开发操作，包括删除代码。在将变更组合形成产品之前，必须验证所选变更之间没有有害的相互作用。然而，存在着当前方法的非形式化模型，可以作为ChOP实现的参考规范。为了填补这一空白，我们提出了一个正式的ChOP模型，正如我们将展示的那样，它映射到众所周知的特征图的概念。因此，我们可以重用特征图研究中的许多结果，并将其应用于chop。形式化方法，面向功能的编程，功能图，软件产品线

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

International Conference on Feature Interactions in Software and Communication Systems

自引率

0.00%

发文量