A Catalytic Infrastructure for the Design, Development, and Deployment of Formal Modeling Tools

0429640Mats Per Erik heimdah明尼苏达大学双子城正式建模工具的设计、开发和部署的催化基础设施建模在软件开发中是至关重要的。不幸的是，建模语言和工具目前是静态的，不能适应不断变化的需求。该项目将为可扩展和灵活的建模语言处理工具开发基础，这些工具将允许：轻松扩展和修改正式的建模符号，轻松构建从建模符号到分析工具的高质量转换，以及控制可信工具片段的重用。研究假设使用带有转发的属性语法定义的可扩展语言是实现超灵活的催化工具基础结构的关键。该假设将通过在实际系统上使用多种不同的建模语言评估工具和技术来验证。该项目具有创新性：它提供了一种全新的思考建模语言设计、执行环境和转换的方式，将其作为通过属性语法定义的可扩展且灵活的抽象语法树。结果是显著的；它们为新语言和分析工具的开发、使用和评估提供了可扩展的基础结构。影响是广泛的；它提供了商业工具供应商可以用来设计灵活性工具的技术，为各种研究小组提供了一个通用的和开放的工具基础设施，以及用于教授软件工程、形式化方法、编程语言和各级编译器的工具。

0429640Mats Per Erik HeimdahlUniversity of Minnesota-Twin Cities A Catalytic Infrastructure For the Design, Development, and Deployment of Formal Modeling ToolsModeling is crucial in software development. Unfortunately, modeling languages and tools are currently static and cannot accommodate evolving needs. This project will develop the foundation for extensible and flexiblemodeling-language processing tools that will allow: easy extension and modification of formal modeling notations, easy construction of high-quality translations from modeling notations to analysis tools, and controlled reuse of trustworthy tool fragments. The research hypothesis is that extensible languages defined using attribute grammars with forwarding hold the key to hyper-flexible, catalytic tools infrastructures. The hypothesis will be tested by evaluating the tools and techniques with multiple diverse modeling-languages on realistic systems.The project is innovative: it provides a radically new way of thinking about modeling-language design, execution environments, and translation as an extensible and flexible abstract syntax tree defined through attribute grammars. The results are significant; they provide an extensible infrastructure for the development, use, and evaluation of new languages and analysis tools. The impact is broad; it provides technology commercial tool vendors can use to design tools for flexibility, a common and open toolsinfrastructure for various research groups, and tools for teaching software engineering, formal methods, programming languages, and compilers at all levels.