# Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production

Abstract : Works presented in this thesis focus on the languages and the methods used for the design of Automated Manufacturing Systems (AMS). The main objective is to improve the definition exactness of these languages and methods, and the selected approach consists in meta-model'' them using a formal language : the Z language. In a first time, we present existent works on the modeling activity, in order to show the interest of the meta-modeling to answer our objective. In a second time, we consider the different requirements that the meta-model has to ensure to correctly to represent a language or a method. Then, we present in which way the Z formal language meets all these requirements. The efficiency of the approach is validated through two examples. The first one consists in the meta-modeling of a language used for the design of the discreet event systems: the generalized Petri nets. For the second example, the approach is applied to a method used for the design of hybrid system controls which uses two languages: events temporal Petri nets and differential equations.
keyword :
Document type :
Theses
Domain :
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00449899
Contributor : Laurent Piétrac Connect in order to contact the contributor
Submitted on : Saturday, January 23, 2010 - 5:57:21 PM
Last modification on : Monday, February 15, 2021 - 10:48:15 AM
Long-term archiving on: : Thursday, June 17, 2010 - 9:41:57 PM

### Identifiers

• HAL Id : tel-00449899, version 1

### Citation

Laurent Piétrac. Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production. Automatique / Robotique. École normale supérieure de Cachan - ENS Cachan, 1999. Français. ⟨tel-00449899⟩

Record views