SoD Collaborative Research: Constraint-based Architecture Evaluation

这是一个合作研究项目，包括德州大学奥斯汀分校的Dewayne Perry、James Brown和Sarfraz Khurshid（奖项编号0438967），以及麻省理工学院的Daniel Jackson（奖项编号0438897）。这个项目的目的是为“规范的”软件架构描述开发新的语言、方法、分析和工具，帮助复杂软件系统的设计者在实现之前表达和探索他们的架构承诺，并支持共享架构特性的系统家族。使用了两种基础技术：Jackson的Alloy约束语言和分析器，以及Browne的组合编译器。Alloy的底层逻辑被扩展，新的分析功能被添加，Alloy系统被打包为一个软件组件。组合编译器被扩展为利用约束和属性规范来支持约束和性能分析。在这些技术的基础上，建立了软件体系结构抽象模型，定义了体系结构约束规范语言，定义了组合和评估规则，构建了基于约束的体系结构评估集成工具套件。本研究首先通过简单的具体案例进行评价，然后结合实际案例进行评价，并根据需要对研究进行修改和扩展，以满足总体评价目标。该项目的成果将在建筑研究、建筑教育和建筑支持技术方面产生重大而广泛的影响。此外，预计该技术将能够更深入地理解设计权衡，将提高设计质量，并将显著改善组件组成过程。项目网站（http://www.ece.utexas.edu/~perry/work/projects/nsf-cbae/）将提供对最终技术和工具的访问。

This is a collaborative research project including Dewayne Perry, James Brown and Sarfraz Khurshid at the University of Texas at Austin (award # 0438967), and Daniel Jackson at the Massachusetts Institute of Technology (award # 0438897). The aim of this project is to develop new languages, methods, analyses and tools for 'prescriptive' software architecture descriptions, to help the designers of complex software systems express and explore their architectural commitments prior to implementation, and to support families of systems that share architectural features. Two underpinning technologies are used: Jackson's Alloy constraint language and analyzer, and Browne's compositional compiler. Alloy's underlying logic is expanded, new analysis capabilities are added, and the Alloy system is packaged as a software component. The compositional compiler is extended to utilize constraints and property specifications in order to support both constraint and performance analyses. On the basis of these technologies, an abstract model of software architecture is created, an architecture constraint specification language is defined, the rules of composition and evaluation are defined, and an integrated tool suite for constraint-based architectural evaluation is constructed. The research is evaluated first by simple specific examples and then with realistic case studies, revising and extending the research as needed to satisfy the overall evaluation goals.The results of this project will have a significant and broad impact in terms architectural research, architecture education and architecture support technology. Further, it is expected that the technology will enable deeper understandings of design trade-offs, will improve design quality, and will significantly improve the component composition process. The project Web site (http://www.ece.utexas.edu/~perry/work/projects/nsf-cbae/) will provide access to the resulting techniques and tools.