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.