Structured Document Algebra in Action

Batory, Don; Höfner, P.; Köppl, Dominik; Möller, Bernhard; Zelend, Andreas

doi:10.1007/978-3-319-15545-6_19

Cited by 3 publications

(4 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(b) The first assertion is shown analogously to Part (a). The specialisations 0 C − p = 0 C and a − 0 C a are immediate from that and Equation (11). The remaining claim a a − 0 C follows again from splitting (7) and Axiom (6):…”

Section: Appendixmentioning

confidence: 82%

See 1 more Smart Citation

Extended Feature Algebra

Höfner

Möller

2016

Journal of Logical and Algebraic Methods in Programming

Self Cite

View full text Add to dashboard Cite

Feature Algebra was introduced as an abstract framework for feature-oriented software development. One goal is to provide a common, clearly defined basis for the key ideas of feature-orientation. The algebra captures major aspects of feature-orientation, such as the hierarchical structure of features and feature composition. However, as we will show, it is not able to model aspects at the level of code, i.e., situations where code fragments of different features have to be merged. In other words, it does not reflect details of concrete implementations.In this paper we first present concrete models for the original axioms of Feature Algebra which represent the main concepts of feature-oriented programs. This shows that the abstract Feature Algebra can be interpreted in different ways. We then use these models to show that the axioms of Feature Algebra do not properly reflect all aspects of feature-orientation from the level of directory structures down to the level of actual code. This gives motivation to extend the abstract algebra, which is the second main contribution of the paper. We modify the axioms and introduce the concept of an Extended Feature Algebra. As third contribution, we introduce more operators to cover concepts like overriding in the abstract setting.Dedication It is our pleasure to dedicate this paper to José Nuno Oliveira on the occasion of his 60th birthday. José has been very active in the field of formal methods and, particularly, in algebraic techniques for that, such as relation algebra and category theory. Therefore we think it adequate to contribute a study on an algebra for feature-oriented system development, not only for cross-fertilisation, but hopefully also for enjoyment. Best wishes, José, for yourself, your work and for fruitful further interaction, as in the past years!

show abstract

Section: Appendixmentioning

confidence: 82%

“…Document Algebra [12] defines modules with variation points and shows how such modules can be composed. It was used to deal algebraically with Software Product Lines [19,11].…”

Section: Related Workmentioning

confidence: 99%

Extended Feature Algebra

Höfner

Möller

2016

Journal of Logical and Algebraic Methods in Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…However, they focus on describing only general ideas for a combined approach, and on discussing the resulting characteristics (granularity, traceability, etc.). Walkingshaw and Erwig [49], Batory [6,7], and Behringer [9,10] also provide theoretical researches related with the idea of combining composition and annotative approaches. Walkingshaw and Erwig [49] present compositional choice calculus, a formal calculus model to unify composition and annotations, and put it into practice [50] by generating editable documents (views) from a variability-aware abstract syntac tree.…”

Section: Related Workmentioning

confidence: 99%

“…However, this approach depends on the programming language used. Don Batory [6,7] proposes two algebraic models: the feature interaction algebra and the structured document algebra. These models formalize the concept of module with variation points, the composition of them and the decomposition of the modules into smaller parts, simulating annotations for Feature-Oriented Software Development (FOSD) [2].…”

Section: Related Workmentioning

confidence: 99%

Integrating the common variability language with multilanguage annotations for web engineering

Horcas

Cortiñas

Fuentes

et al. 2018

Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1

View full text Add to dashboard Cite

Web applications development involves managing a high diversity of files and resources like code, pages or style sheets, implemented in different languages. To deal with the automatic generation of custom-made configurations of web applications, industry usually adopts annotation-based approaches even though the majority of studies encourage the use of composition-based approaches to implement Software Product Lines. Recent work tries to combine both approaches to get the complementary benefits. However, technological companies are reticent to adopt new development paradigms such as feature-oriented programming or aspect-oriented programming. Moreover, it is extremely difficult, or even impossible, to apply these programming models to web applications, mainly because of their multilingual nature, since their development involves multiple types of source code (Java, Groovy, JavaScript), templates (HTML, Markdown, XML), style sheet files (CSS and its variants, such as SCSS), and other files (JSON, YML, shell scripts). We propose to use the Common Variability Language as a composition-based approach and integrate annotations to manage fine grained variability of a Software Product Line for web applications. In this paper, we (i) show that existing composition and annotation-based approaches, including some well-known combinations, are not appropriate to model and implement the variability of web applications; and (ii) present a combined approach that effectively integrates annotations into a composition-based approach for web applications. We implement our approach and show its applicability with an industrial real-world system.

show abstract