U.S.-Italy Cooperative Research: Multi-Formalism Support forDesign and Analysis of Concurrent Software

该奖项将支持普渡大学的michael Young和意大利米兰理工大学的Mauro Pezze之间的合作研究。该项目将研究并发软件的多种操作模型的集成。项目研究的问题包括：同一构件的不同行为模型之间关系的推理方法；分析系统行为的技术，其中组件可以以不同的方式建模；支持多形式分析的自动生成状态空间分析工具以及适合于实际状态空间分析的时间模型。这位意大利研究者将为并发系统的Petri网模型提供专业知识。美国调查员将带来并发软件分析方面的专业知识，以及软件开发环境中分析技术和工具的集成。Pezze将在更理论化的工作方面发挥领导作用，Young将领导分析工具生成器的设计和评估。＊＊＊

9217432 Young This award will support collaborative research between Michal Young, Purdue University, and Mauro Pezze, Politechnico di Milano, Italy. The project will investigate integration of multiple operational models of concurrent software. Research issues for the project include methods for reasoning about the relation between different behavioral models of the same component; techniques for analyzing the behavior of systems in which components may be modeled in different ways; automatic generation of state-space analysis tools with support for multi-formalism analysis; and models of time amenable to practical state-space analysis. The Italian investigator will contribute expertise in Petri net models of concurrent systems. The US investigator will bring expertise in the analysis of concurrent software and the integration of analysis techniques and tools in software development environments. Pezze will take the lead in the more theoretical side of the work, and Young will lead in the design and evaluation of the analysis tool generator. ***