Integrating Software Architecture and Software Development

集成软件体系结构和软件开发Craig Chambers研究的目标是通过确保体系结构和实现代码之间的严格连接，将软件体系结构的好处从设计扩展到软件生命周期的后期阶段。现有的体系结构描述语言没有以确保实现代码符合体系结构规范的方式与实现语言紧密耦合。为了克服这个限制，这个项目正在开发ArchJava，这是Java的一个简单扩展，允许程序员在其实现中表达软件体系结构。该语言是灵活的，支持动态更改的软件体系结构以及常见的面向对象实现习惯用法，但它也严格保证程序语义符合体系结构规范中的约束。系统的设计可以在任何实现存在之前用ArchJava表达；然后，这个设计可以逐步充实成一个完整的实现。在任何时候，架构和（部分）实现之间的一致性都可以被机械地验证。通过在整个软件生命周期中扩展软件体系结构的好处，并允许开发人员信任体系结构的准确性，这项工作有可能使软件体系结构成为更有效和更常用的工具。

Integrating Software Architecture and Software Development Craig Chambers The goal of the research is to extend the benefits of software architecture from design into later stages of the software lifecycle by ensuring a rigorous connection between architecture and implementation code. Existing architecture description languages are not tightly coupled to implementation languages in a way that ensures that the implementation code conforms to the architectural specification. To overcome this limitation, this project is developing ArchJava, a simple extension to Java that allows programmers to express software architecture within their implementation. The language is flexible, supporting dynamically changing software architectures as well as common object-oriented implementation idioms, but it also rigorously guarantees that the program semantics conform to the constraints in the architectural specification. A system's design can be expressed in ArchJava before any implementation exists; this design can then be fleshed out incrementally into a complete implementation. At all times, conformance between the architecture and the (partial) implementation can be mechanically verified. By extending the benefits of software architecture throughout the software lifecycle and by allowing developers to trust the accuracy of the architecture, this work has the potential to make software architecture a much more effective and commonly used tool.