Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach

Student thesis: Doc typesDoctor of Sciences


In this thesis, we propose a framework for modeling requirements of manufacturing systems (MS). This framework is intended to help MS engineers to perform their modeling tasks in today's ever-changing environment. It relies on two major ideas: a multi-formalism approach, combining several languages into a coherent formalism, and a component-based modeling approach, arguing that models of manufacturing systems could be build partly by assembling and customizing reusable model components.
Date of Award1999
Original languageEnglish
SupervisorÉric Dubois (Supervisor)


  • modeling
  • specification
  • information systems
  • manufacturing
  • requirements enginnering
  • reuse
  • components
  • multi-formalism
  • Albert
  • i*
  • meta-modeling
  • formal language

Cite this