Software Analysis and Transformation Systems

结构化源代码转换是一种日益流行的计算机编程范式，在学术界和工业界有着广泛的应用。我们已经设计了TXL程序设计语言，以显式和方便地使用该范例来表示问题的解。本文结合结构化源代码转换系统在计算机软件分析和维护，特别是模型驱动工程中的应用，探索和扩展了结构化源代码转换系统的表达和实现技术，其总体目标是寻求高效、经济和正确的计算机软件系统开发和维护方法。我们过去的工作已经被IBM加拿大公司和其他加拿大软件和金融行业的公司、通用汽车加拿大公司的汽车系统工程公司以及世界各地的其他研究人员所提供的产品和服务所改编。在这份提案中，我们主要关注软件分析和维护的工具和技术，它们占工业软件成本的70%以上。这项工作包括在未来五年内合作和培训15名以上的博士和硕士论文学生。这些学生将应用最先进的工具和技术来设计和开发下一代工业软件开发的基于转换的软件分析和维护方法。

Structural source transformation is an increasingly popular computer programming paradigm with a wide range of applications in academia and industry. We have designed the TXL programming language to explicitly and conveniently express problem solutions using this paradigm. In this work we explore and extend techniques for expressing and implementing structural source transformation systems (such as TXL) in the context of their application to computer software analysis and maintenance, in particular to model-driven engineering.The global goal of this work is the pursuit of efficient, cost-effective and correct methods for the development and maintenance of computer software systems. Our past work has been adapted into the products and services offered by IBM Canada and other companies in the Canadian software and financial industries, in the engineering of automotive systems at General Motors Canada, and by other researchers worldwide. In this proposal we concentrate primarily on tools and techniques for software analysis and maintenance, which accounts for over 70% of industrial software costs. This work involves the collaboration and training of more than 15 PhD and MSc thesis students over the next five years. These students will be applying state-of-the-art tools and techniques to design and develop the transformation-based software analysis and maintenance methods of the next generation of industrial software development.