Aide à l'édition de spécifications orientées agents de systèmes de production manufacturiers

  • Philippe Baudoin

Student thesis: Master typesMaster in Computer science


In this memory, we propose to define a new language of graphic modeling intended for the construction of models of "parts". The parts are physical objects processed and produced by the manufacturing systems. This language borrows its concepts from the pattern Part defined in the thesis of Michaël Petit, Formal Requirements Engineering of Manufacturing Systems : A Multi-Formalism and Component-Based Approach, presented in 1999 at the University Notre-Dame de la Paix of Namur, Computer Science Department. The pattern Part has a certain number of constraints and is structured in a set of classes that are related to each other.
We adapted the software Microsoft Visio to build the graphic models of "parts". We use a technique of re-use which consists in instantiating or specializing the classes of the meta-model of the pattern Part represented by forms. The Visio software checks part of the constraints which are exerted on these models, in particular by means of an application written in Visual Basic. It also automatically translates these models and certain constraints into types of data and constraints AlbertII, a formal agent-oriented language employed to express the specifications of the formal requirements for the manufacturing systems. In the future, this software will have to make it possible to record the graphic models of "parts" in order to be able to re-use them to work out new models.
Date of Award2005
Original languageFrench
SupervisorMichael Petit (Supervisor)


  • manufacturing system
  • part
  • pattern
  • classe
  • re-use
  • agent-oriented
  • AlbertII
  • graphic software
  • Visio
  • Visual Basic for Applications

Cite this