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

Abstract

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 Award	1999
Original language	English
Supervisor	Éric Dubois (Supervisor)