Abstract FR:

Le sujet présenté dans cette thèse consiste à concevoir un langage de programmation, appelé BOCAL, spécialement destiné à la modélisation et à la simulation de systèmes de production. La spécification et la simulation d'automates est également un domaine d'application de BOCAL. Les logiciels sont souvent partagés entre deux caractéristiques importantes : les logiciels extensibles (ouverts) mais pas assez conviviaux et les logiciels conviviaux mais fermés pour les utilisateurs. L'objectif de ce langage est de permettre à tous les niveaux d'utilisation (conception des objets de base, construction du modèle et réglage des paramètres) de fonctionner dans le même environnement sémantique afin de permettre à tous les utilisateurs de bénéficier de la modularité et de l'extensibilité