Outils personnels
FUNDP > Recherche > Projets de recherche
 
Doctorat

L'Ingénierie des Exigences Formelle pour les Systèmes Manufacturiers: une Approche Multi-formalismes et basée sur les composants (MPE)

Période

1992-1999

Mots clés

modélisation, spécification, systèmes d'information, systèmes manufacturiers, ingénierie des exigences, réutilisation, composants, mutli-formalisme, CIMOSA, Albert, i*, meta-modélisation, langages formels

Description

Dans cette thèse, nous proposons un cadre de modélisation des exigences pour les systèmes de production manufacturiers (SPM). L'objectif de ce cadre de modélisation est d'aider les ingénieurs de SPM dans leur tâches de modélisation dans l'environnement industriel dynamique actuel. Il repose sur deux idées principales: une approche multi-formalisme, combinant plusieurs langages en un formalisme cohérent, et une approche basée sur des composants, arguant que des modèles de SPM peuvent être construits en partie en assemblant et en adaptant des composants réutilisables de modèles.

Unités

Axes de recherche

Staff (contrats terminés)

Personnel scientifique
Michaël PETIT PhD student 081/725259

Publications (12)

Contributions à des ouvrages collectifs

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

Actes de colloques

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

Thèses

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

Mémoires

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

Rapports de recherche

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

Pour plus d'information