Formal Requirements Engineering of Manufacturing Systems: A Multi-Formalism and Component-Based Approach

Project: PHD

Project Details


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.
Effective start/end date1/10/9227/10/99


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