A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel

考虑编程有两种方式：一种是艺术，另一种是科学。后一种方法不能没有理论，特别是当基于组件的软件开发方法被用来处理现代软件系统的复杂性时，现代软件系统是通过组装可复用组件来构建的。由于控制是组件的重要组成部分，因此自然会应用关注点分离的原则，从而显式地显示控制，并利用控制理论来解决潜在的控制问题。因此，形式化方法与软件演化相结合的影响越来越大，需要重新检查当前的组件模型和分层控制理论，以便为系统开发人员提供更好的工具。从这个角度来看，本研究计划的主要目标是开发形式化方法，为基于组件的软件工程的新理论框架奠定基础，该框架将以基于数学的控制理论为中心，并在面向服务的计算和自治代理的网络中应用。主要的障碍是找到完全匹配的形式化组件模型和递阶控制理论，以保持理论和实践之间的平衡。这项研究将有助于使形式化方法更容易扩展到实际的软件应用程序中，并提高软件解决方案的安全性、安全性和服务质量。

There are two ways to consider programming: as an art and as a science. The latter way cannot be done without theories, in particular when the component-based software development approach is used to cope with the complexity of modern software systems, which are built by assembling reusable components. Since control constitutes an important part of a component, it is natural to apply the principle of separation of concerns, such that control explicitly appears, and exploit a control theory to solve the underlying control problems. Therefore, the ever-increasing influence of formal methods combined with software evolution requires reexamining current component models and hierarchical control theories to provide better tools for system developers. In this perspective, the main goal of this research program is to develop formal methods to lay foundations for a new theoretical framework for component-based software engineering, which will be centered around mathematically-based control theories, with applications in service-oriented computing and networks of autonomous agents. The main obstacle is to find formal component models and hierarchical control theories that perfectly fit in order to keep the balance between theory and practice. This research will contribute to make formal methods more scalable to real software applications and increase safety, security and quality of service in software solutions.