Michaël PETIT Computer Science Department University of Namur (FUNDP) Rue Grandgagnage, 21  B-5000 Namur (BELGIUM)  Voice: +32 81 72 52 59  Fax: +32 81 72 49 67  Email: mpe@info.fundp.ac.be

Official page

Curiculum Vitae

Research Topics

Michaël's personal interests lie in studying requirements engineering method and applications, and more particularly in the use of Albert II for modeling Computer Integrated Manufacturing (CIM) systems.
A two year FIRST (Belgian Walooon Region) project dedicated to this subject was conducted from october 1993 to september 1995 with Pegard Productics, a Belgian manufacturing systems solution provider. Another recent industrial experience on the usage of the Albert II language for manufacturing systems includes an informal collaboration with Caterpillar (Gosselies, Belgium).

Michaël obtained his PhD from the Computer Science (CS) Department of the University of Namur in october 1999 with a dissertation on a multi-formalism and component-based approach to the formal modeling of manufacturing systems requirements . The modeling approach consists in using simultaneously several complementary modeling languages (namely Albert II , CIMOSA and i*) and reusing predefined model components (called patterns) for manufacturing systems.
He presented a number of papers in international conferences (see publications ) and took part in discussions at several workshops related to manufacturing systems modeling (notably within the ICEIMT initiative and those organized by the CIMOSA association). He is a member of the IFIP-IFAC Task Force on Enterprise Integration .

Michaël also participates in the AgentLink Europe's ESPRIT-funded Network of Excellence for agent-based computing, in the Special Interest Group (SIG) on Methodologies/Software Engineering .

Michaël now works on the ARTHUR project (in french - outdated) dealing with a software support system for hospital emergency room activities including state of the art technology such as voice recognition, cryptography, open architectures (XML, web) and wireless networks. Our role within the project is to write the software requirements document with a combination of UML and textual requirements (PSS05). This work is done in collaboration with people from our univeristy working on organisational analysis .

Keywords: Requirements Engineering, Agents, Actors, Formal languages, Manufacturing Systems, Methodology, Albert II, CIMOSA, i*, non-functional requirements, Components, Patterns, Multi-formalism, Hospital Emergency Departments, UML.

Teaching

• Assistance in formal specification of software ( Software Engineering Course ) for graduate students in Computer Science (1992-1998)
• Courses on basic office software (Microsoft Word, Excel, Powerpoint, Netscape, Eudora) for post-graduate students of the DGTIC program (1995-1998) and under-garduate students in Medecine (1995-1997) and
• Object-Oriented Programming exercises in Java ( Programming Paradigms Course ) for graduate students in Computer Science (1998-2000) and for graduate students in  Computer Science in the evening courses program (1998-2000). Note: A specific web page (in french) has been created for these exercises.

• Basic computer programming (Informatique de Base, 1999-2001). This course includes some software engineering methodology elements and practical exercice. A specific web page (in french) provides material used in this course.

Publications

• Paola Velardi, Roberto Navigli, Michaël Petit, Semantic Indexing of a Competence Map to Support Scientific Collaboration in a Research Community, accepter poster paper at the International Joint Conference on Artificial Intelligence, IJCAI07, Hyderabad, India, January 6–12, 2007, available from http://www.ijcai.org/papers07/contents.php
  
• Michaël Petit and Anne Rousseau, Application of an Organizational Requirements Elicitation Methodology in Health-Care, Accepted paper for the International Conference on Industrial Engineering and Systems Management IESM 2007, BEIJING - CHINA, May 30 - June 2, 2007.
  
• T. Latour and  M. Petit (eds), Proceedings of Workshops and Doctoral Consortium, The 18th International Conference on Advanced Information Systems Engineering - Trusted Information Systems(CAiSE'06), June 5-9, 2006, Presses Universitaires de Namur, 2006.
• Giuseppe BERIO, Hervé PANETTO et Michaël PETIT, UEML: Résultats et Enjeux d’un Langage Unifié de Modélisation d’Entreprise, Papier invité à la 5ème Conférence Francophone de MOdélisation et SIMulation,  “Modélisation et simulation pour l’analyse et l’optimisation des systèmes industriels et logistiques”, MOSIM’04 – du 1er au 3 septembre 2004 - Nantes (France).
• Michaël Petit, Patrick Heymans: Perspectives on the scope and definition process of the Unified Enterprise Modelling Language. EMOI Workshops (3) at CaiSE conférence, Riga, June 2004: 274-279.
• Hervé Panetto, Giuseppe Berio, Khalid Benali, Nacer Boudjlida, and Michaël Petit, A Unified Enterprise Modelling Language for Enhanced Interoperability of Enterprise Models, Special Session on Interoperability of Enterprise Systems at the shop-floor level, Track Production & Logistics over Manufacturing Networking, 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004), APRIL, 5-7, 2004, SALVADOR/BA BRAZIL.
• Michaël Petit, Anne Rousseau, Enriching a Requirements Elicitation Methodology with an Organisational Sciences Perspective: An Application in the Health-Care Domain, Technical Report, ARTHUR Project, University of Namur, February 2003. 
• Claire Lobet-Maris, Michaël Petit, Anne Rousseau, Pierre-Yves Schobbens, Analyse organisationnelle et ingénierie des exigences : préalables à l’informatisation des services des urgences, In ARTHUR - Manuel d'informatisation des urgences hospitalières, Jean Herveg et Anne Rousseau, editeurs, Presses universitaires de Louvain, 2003, ISBN 2-930344-32-6, pp. 13-53.
• Paola Velardi, Alessandro Cucchiarelli and Michaël Petit, A Taxonomy Learning Method And Its Application To Characterize a Scientific Web Community, to appear in IEEE Transaction on data and Knowledge Engineering (TDKE 2007).
• Jaap Gordijn, Michael Petit and Roel Wieringa. Understanding business strategies of networked value constellations using goal- and value modeling. In Martin Glinz and Robyn Lutz editors, Proceedings of the 14th IEEE International Requirements Engineering Conference, Pages 129-138, IEEE CS, Los Alamitos, CA, 2006.
• P. Velardi, A. Cucchiarelli and M. Petit, Supporting Scientific Collaboration in a Network of Excellence Through a Semantically Indexed Knowledge Map, In Proc. of the First Interoperability for Enterprise Software and Applications Conference, I-ESA'06, March 22nd - 24th, 2006, Bordeaux France
  
• Giuseppe Berio, Khalid Benali, Nacer Boudjlida, Michaël Petit, A Unified Enterprise Modelling Language for Enhanced Interoperability of Enterprise Models, In Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM’04), Salvador, Bahia, Brazil, April, 2004.
• Giuseppe Berio and Michaël Petit, Enterprise Modelling and the UML: (sometimes) a conflict without a case , in Concurrent Engineering – Enhanced Interoperable Systems – The vision for the future generation in research and applications, R. Jardim-Gonçalves, J. Cha and A. Steiger-Gração, editors, Proc. of 10th ISPE International Conf. on Concurrent Engineering: Research and applications, Madeira Island - Portugal, 26 - 30 JULY, 2003, A.A. Balkema Publishers, 2003, ISBN 90 5809 623 8.
• Michaël Petit (Ed.), Enterprise Modelling State of the Art, Deliverable D1.1 of the UEML Project , November 2002, available form the UEML portal
• Ioannis L. Kotsiopoulos (Ed.), Torsten Engel, Frank-Walter Jaekel, Kurt Kosanke, Juan Carlos Mendez Barreiro, Angel Ortiz Bas, Michaël Petit and Patrick Raynaud, Steps in Enterprise Modelling - a Roadmap, In Enterprise Inter- and Intra-organisational Intergration - Building an International Consensus, Kurt Kosanke, Roland Jochem, James G. Nell and Angel Ortiz Bas (editors), Kluwer Academic Publishers, 2003, ISBN 1-4020-7277-5
• Michaël Petit, Some methodological clues for defining a Unified Enterprise Modelling Language , In Enterprise Inter- and Intra-organisational Intergration - Building an International Consensus, Kurt Kosanke, Roland Jochem, James G. Nell and Angel Ortiz Bas (editors), Kluwer Academic Publishers, 2003, ISBN 1-4020-7277-5
• Laurent Férier, Patrick Heymans , Michaël Petit, Some Hints for a Clarification of CEN ENV 12204, Inivited paper at the Workshop on Evolution in Enterprise Engineering and Integration, Berlin, Germany, May 24-26, 2000, to be published, extended abstract available.
• Michaël Petit, Formal Requirements Engineering of Manufacturing Systems : A Multi-Formalism and Component-Based Approach , PhD Thesis, Facultés Universitaires Notre-Dame de la Paix, Namur, Belgique, Octobre 1999.
• Michaël Petit, Patrick Heymans and Pierre-Yves Schobbens , Agents as a Key Concept for Information Systems Requirements Engineering , Position paper for the Workshop on Agent-Oriented Information Systems, 11th Conference on Advanced Information Systems Engineering, 14-15 June 1999, Heidelberg (Germany).
• Michaël Petit, A Multi-formalism Reuse-based Approach to Manufacturing Systems Modeling , In Proc. of the International Enterprise Modeling Conference (IEMC'99) , Verdal (Norway), June 14-16, 1999.
• Eric Dubois , Eric Yu (Univ. of Toronto) and Michael Petit, From Early to Late Requirements: a Process-Control Case Study , In Proc. of the 9th Intl Workshop on Software Specification and Design (IWSSD'98), April 98, Isobe (Japan), IEEE Press.
• Jan Goossenaerts , Michael Gruninger , James G. Nell , Michaël Petit and François Vernadat , Formal Semantics of Enterprise Models, report of  a ICEIMT working group on Formal Semantics of Enterprise Models, In Interprise Engineering and Integration, Proc. of ICEIMT'97, International Conference on Enterprise Integration an Modeling Technology K. Kosanke and J.G. Nell (Eds.), Springer, 1997.
• Michaël Petit and Eric Dubois , Defining an Ontology for the Formal Requirements Engineering of Manufacturing Systems , In Interprise Engineering and Integration, Proc. of ICEIMT'97, International Conference on Enterprise Integration an Modeling Technology K. Kosanke and J.G. Nell (Eds.), Springer, 1997.
• Michaël Petit and Eric Dubois , A Formal Framework for Managing Evolution in Manufacturing Systems , Proc. of the Agent Oriented Systems in Manufacturing (AOSiM'96) Workshop, Daimler Research, Berlin, September 1996.
• Michaël Petit and Eric Dubois , A Formal Requirements Engineering Framework for CIM Infrastructures Reengineering , Proc. of the Design of Infrastructures for Informations Systems in Manufacturing conference (DIISM'96), J. Goossenaerts, F. Kimura and H. Wortmann (eds), Eindhoven University of Technology, 1996.
• Eric Dubois , Michaël Petit, Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA , In P. Ladet and F. B. Vernadat, editors, Integrated Manufacturing Systems Engineering (selected papers of the European Workshop IMSE'94), Chapman & Hall, October 1995.
• Eric Dubois and Philippe Du Bois and Frédéric Dubru and Michaël Petit, Agent-oriented Requirements Engineering: A Case Study using the Albert Language , Proc. of the Fourth International Working Conference on Dynamic Modelling and Information System - DYNMOD-IV.
• Eric Dubois and Michaël Petit, The Formal Requirements Engineering of Manufacturing Systems , Draft Proc. of the Second International Working Conference on Cooperative Knowledge Based Systems - CKBS'94.
• Eric Dubois and Philippe Du Bois and Michaël Petit, ALBERT: an Agent-oriented Language for Building and Eliciting Requirements for real-Time systems, Proc. of the 27th Hawaii International Conference on System Sciences - HICSS-27.
• Eric Dubois and Philippe Du Bois and Michaël Petit, O-O requirements analysis: an agent perspective, Proc. of the 7th European Conference on Object-Oriented Programming - ECOOP'93.
• Eric Dubois and Philippe Du Bois and Michaël Petit, Elicitating and formalising requirements for CIM information systems , Proc. of the 5th conference on advanced information systems engineering - CAiSE'93.
• Marc Derroitte and Eric Dubois and Philippe Du Bois and Michaël Petit and Jean-Pol Michel , Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems, Proc. of the International Workshop on the Design of Information Infrastructure Systems for Manufacturing - DIISM'93
• Marc Derroitte and Eric Dubois and Philippe Du Bois and Michaël Petit and Jean-Pol Michel , Requirements Definition of Manufacturing Systems: The ``Chessman Making Shop'' Case Study, Technical Report, University of Namur.
• Michaël Petit, Construction et formalisation de spécifications conceptuelles pour les systèmes productiques, MS Thesis