Personal tools
FUNDP > Research > Projects
 
PHD thesis

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

Duration

1992-1999

Keywords

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

Description

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.

Research unit(s)

Research theme(s)

Staff (finished contracts)

Research staff
Michaël PETIT Researcher 081/725259

Publications (12)

Collective work contributions

1997
A Formal Requirements Engineering Framework for CIM Infrastructures Reengineering, in Information Infrastructures for Manufacturing Systems, pp. 69-80
Michaël PETIT, Eric DUBOIS
1997
Defining an Ontology for the Formal Requirements Engineering of Manufacturing Systems, in Enterprise Engineering and Integration, collection Research Reports Esprit, pp. 378-387
Michaël PETIT, Eric DUBOIS
1995
Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA, in Integrated Manufacturing Systems Engineering, pp. 129-143
Eric DUBOIS, Michaël PETIT
1993
Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems, in Information Infrastructure Systems for Manufacturing, collection IFIP Transactions, volume B-14, pp. 141-156
Marc DERROITTE, Eric DUBOIS, Philippe DU BOIS, Michaël PETIT, Jean-Pol MICHEL

Conference Proceedings

2000
Some Hints for a Clarification of CEN ENV 12204, in Proc. of the Workshop on Evolution in Enterprise Engineering and Integration (EEEI'00)
Laurent FERIER, Patrick HEYMANS, Michaël PETIT
1999
A Multi-formalism Reuse-based Approach to Manufacturing Systems Modeling, in Proc. of the International Enterprise Modeling Conference (IEMC'99)
Michaël PETIT
1994
ALBERT: an Agent-oriented Language for Building and Eliciting Requirements for real-Time systems, in Proc. of the 27th Hawaii International Conference on System Sciences - HICSS-27
Eric DUBOIS, Philippe DU BOIS, Michaël PETIT
1994
The Formal Requirements Engineering of Manufacturing Systems, in Proceedings of the Second International Working Conference on Cooperative Knowledge Based Systems - CKBS'94, pp. 67-82
Eric DUBOIS, Michaël PETIT
1993
Elicitating and formalising requirements for CIM information systems, in Proc. of the 5th conference on advanced information systems engineering, collection LNCS, volume 685, pp. 252-274
Eric DUBOIS, Philippe DU BOIS, Michaël PETIT

PHD theses

1999
Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach
Michaël PETIT

Student theses

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

Research reports

1993
Requirements Definition of Manufacturing Systems: The ``Chessman Making Shop'' Case Study
Marc DERROITTE, Eric DUBOIS, Philippe DU BOIS, Michaël PETIT, Jean-Pol MICHEL

More information