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

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.