The Community for Technology Leaders
Proceedings. 19th International Conference on Automated Software Engineering, 2004. (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
pp: 238-247
Axel Rauschmayer , Universit?t M?nchen
Alexander Knapp , Universit?t M?nchen
Martin Wirsing , Universit?t M?nchen
ABSTRACT
Ubiquitous computing increases the pressure on the software industry to produce ever more and error-free code. Two recipes from automated programming are available to meet this challenge: On the one hand, generative programming raises the level of abstraction in software development by describing problems in high-level domain-specific languages and making them executable. On the other hand, in situations where one needs to produce a family of similar programs, product line engineering supports code reuse by composing programs from a set of common assets (or features). AHEAD (Algebraic Hierarchical Equations for Application Design) is a framework for generative programming and product line engineering that achieves additional productivity gains by scaling feature composition up. Our contribution is GRAFT, a calculus that gives a formal foundation to AHEAD and provides several mechanisms for making sure that feature combinations are legal and that features in themselves are consistent.
INDEX TERMS
null
CITATION

A. Rauschmayer, A. Knapp and M. Wirsing, "Consistency Checking in an Infrastructure for Large-Scale Generative Programming," Proceedings. 19th International Conference on Automated Software Engineering, 2004.(ASE), Linz, Austria, 2004, pp. 238-247.
doi:10.1109/ASE.2004.10005
96 ms
(Ver 3.3 (11022016))