Architectural Metaprogramming

0724979Don S.今天的程序员要与数量令人眼花缭乱的语言、工具、编程概念和表示方法搏斗。我们本能地感觉到熟悉的想法在不同的环境中，用不同的语言，用不同的实现，在不同的平台上被重新发明和重新实现。其结果是压倒性的复杂性，陡峭的学习曲线，以及无法廉价地创建定制软件。这项研究揭示了程序开发和维护中不同研究线程的基本原则，以创建一个自动化软件开发的一般理论，最终将降低复杂性，更容易学习，并将使定制的软件被创建inexpensively.Architectural Metaprogramming是程序（或程序设计和程序结构）是由转换操作的第一类实体的想法。程序是值，转换将程序映射到其他程序，运算符将转换映射到转换。其结果是程序的代数：程序可以被添加，减去和转换。代数统一了软件设计的重要领域，在一个非常可教的方式：重构是行为保持程序转换，基于功能和面向方面的软件合成使用行为扩展程序转换，和模型驱动设计利用两者来映射平台无关的模型到平台特定的模型。我们的工作成果是为低成本自动化软件设计和开发的新范式、语言和工具奠定了基础。我们的工作的短期影响将是在软件工程教育，重构，功能，方面和模型驱动的设计可以作为一个连贯和集成的纪律，长期的影响将是在商业软件开发的工具和语言。

0724979Don S. BatoryUniversity of Texas at AustinToday's programmers wrestle with a bewildering number of languages, tools, programming concepts, and representations. Instinctively we sense familiar ideas are reinvented and reimplemented in different contexts, in different languages, with different implementations, and on different platforms. The result is overwhelming complexity, steep learning curves, and the inability to create customized software cheaply. This research exposes fundamental principles that underlie different threads of research in program development and maintenance to create a general theory of automated software development that ultimately will reduce complexity, be easier to learn, and will enable customized software to be created inexpensively.Architectural Metaprogramming is the idea that programs (or program designs and program structures) are first-class entities that are manipulated by transformations. Programs are values, transformations map programs to other programs, and operators map transformations to transformations. The result is an algebra of programs: programs can be added, subtracted, and transformed. The algebra unifies important areas of software design in a very teachable way: refactorings are behavior-preserving program transformations, feature-based and aspect-oriented software synthesis use behavior-extending program transformations, and model-driven design exploits both to map platform-independent models to platform-specific models. The result of our work is a foundation for a new paradigm, languages, and tools for low-cost automated software design and development. The short-term impact of our work will be in software engineering education, where refactorings, features, aspects, and model-driven design can be presented as a coherent and integrated discipline; the longer-term impact will be on tools and languages in commercial software development.