U.S.-Argentina Cooperative Research on Software ArchitectureFormal Specification

9514202 Wolf这个美国和阿根廷的合作研究项目将继续开发一个框架，用于正式规范和分析软件体系结构的行为属性。科罗拉多博尔德大学的PI将与阿根廷布宜诺斯艾利斯大学的Daniel Yanklevich一起，扩展他在基于化学抽象机器(CHAM)模型的形式规范方法方面的工作。Cham提供的操作语义可能比竞争的数学形式主义更容易被广大受众理解。该项目中建立的协作将PI与阿根廷和意大利在并发系统的规范和验证方面的现有工作联系起来。它还将美国团队的系统导向与阿根廷人的理论导向相结合，以了解Cham模型在软件体系结构中的潜力。***

9514202 Wolf This U.S.-Argentina collaborative research project will continue the development of a framework for the formal specification and analysis of the behavioral properties of software architectures. Together with Daniel Yankelevich of the Universidad de Buenos Aires in Argentina, the PI at the University of Colorado Boulder will extend his work on a formal specification method based on the Chemical Abstract Machine (CHAM) model. CHAM provides operational semantics which may be more easily understood by a wide audience than competing mathematical formalisms. The collaboration established in this project connects the PI with an existing effort between Argentina and Italy on specification and verification of concurrent systems. It also combines the systems orientation of the U.S. group with the theoretical orientation of the Argentines to understand the potential of the CHAM model for software architecture. ***