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.