. Bibliographie and . Accelera, PSL Property Specification Language Reference Manual. Version 1.1 Accelera Formal Verification Technical Committee DAMRTS : Une méthodologie pour la vérification formelle des propriétés de sûreté de fonctionnement de systèmes temps réel, ACCELERA ADDOUCHE N, 2004.

. Akos-ledeczi, The Generic Modeling Environment, 2000.

. S. Aloui, Performance du circuit du médicament au travers du management des risques iatrogènes Le congrès ??15 de l IMDR System engineering and enterprise modeling for risks management: application to the drug circuit in a university hospital. URMPM -Union of Risk Management for Preventive Medicine 2nd American Congress -Improving the quality and sustainability of health care services CIMOSA: Open System Architecture for CIM, AMICE Journal Officiel, pp.230-231, 1993.

A. W. Ashby-w, General Systems Theory as a New Discipline, General Systems Yearbook, vol.3, 1958.
DOI : 10.1007/978-1-4899-0718-9_16

A. V. Et, X. X. Year, A. V. Et, and X. , Modélisation et analyse de flux par la simulation en milieu hospitalier : État de l " art. GISEH06, Gestion et Ingénierie des SystÈmes Hospitaliers, Représenter les connaissances et raisonner avec des hypergraphes: de la projection à la dérivation sous contraintes, 2001.

B. U. Beck-u and . F. Bellifemine, La Société du risque -Sur la voie d " une autre modernité, EXP in search of innovation, pp.6-19, 2001.

F. Benaben, . Benaben-f, and . Berio-g, La méthode MOFOV: aide à la conception des systèmes hétérogènes. Montpellier, Université de Montpellier II: Benefits, problems and comparison, Ph. D. [BERIO G. Business Process Management Workshops, vol.3812, pp.245-256, 2001.

. C. Bernon, Enhancing Self-Organising Emergent Systems Design with Simulation 7th International Workshop on Engineering Societies in the Agents World, 2006.

P. Bernstein, . Bernstein-p, and . Bernus-p, Plus fort que les dieux : la remarquable histoire du risque (Against the gods : The Remarkable Story of Risk), Flammarion Handbook on Architectures of Information SystemsA Framework to Define a Generic Enterprise Reference Architecture and Methodology, Computer Integrated Manufacturing Systems, vol.9, issue.3, pp.179-191, 1996.

. G. Beurier, Un modèle de Système Multi-Agents pour l " Emergence Multi-Niveaux, JFSMA'03: Journées Francophones sur les Systèmes Multi- Agents, 2003.

. J. Bezivin and . Bezivin-j, Objets et Méthodes, Revue L'OBJET: Logiciel, Bases de Données, 1995.

. J. Bézivin, G. O. Et, . Year, . J. Bézivin, G. Et et al., Towards a Precise Definition of the OMG/MDA Framework Risk assessment-mission impossible? doc. IT Audit vol4, 16th IEEE International Conference on Automated Software Engineering (ASE'01) Modélisation et conception orientées objet avec UML 2, 2001.

C. Bock, G. M. Et, . Bock-c, and G. M. Et, PSL: A Semantic Domain for Flow ModelsLe portail dédié au management par les processus, Software and Systems Modeling Journal. [BPMS BPMS, 2005.

. C. Braesch, La modélisation systémique en entreprise Problématique de l'intégration de l'Action Individuelle dans les Systèmes Technologiques -Application : utilisation de la description des fonctions pour favoriser l'Autonomie. Institut National Polytechnique de Lorraine, Hermès. [BREAS M. Nancy. [CALVEZ J.-P, 1992.

. M. Cattan, Maîtriser les processus de l " entreprise : guide opérationnel, 2001.

C. V. Chapurlat-v, . S. Aloui, C. V. Year, and A. S. Et, Comité Européen de Normalisation) -Enterprise integration ? Framework for enterprise modeling Vérification et validation de modèles de systèmes complexes : application à la Modélisation d'Entreprise How to detect risks with a formal approach? From property specification to risk emergence. MSVVEIS-2006, The 4th International Workshop on Modelling, and Validation of Enterprise Information Systems on ICEIS, 8th International Conference on Enterprise Information Systems, p.150, 2001.

C. V. Et, A. Et, and A. , Une démarche intégrée pour l " ingénierie de système complexe face aux risques. 7ème Congrès International de Génie Industriel. Trois-Rivières, CanadaEnterprise model verification and validation: an approach, Annual Review in Control, vol.27, issue.2, pp.185-197, 2003.

C. M. Et, M. , C. M. Et, and M. , Conceptual graphs: fundamental notions, pp.365-406, 1992.

K. Czarnecki, H. S. Et, . Year, . Czarnecki-k, and H. S. Et, Classification of model transformation approaches, Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, 2003.

D. A. Et, J. P. Dafel-a, J. P. Et, and . Darras-f, In the eye of the beholder La place et le role de la modélisation dans les projets ERP, MOSIM03-4e Conférence Francophone de MOdélisation et SIMulation- Organisation et Conduite d " Activités dans l " Industrie et les Services, 2000.

R. J. De, Le macroscope, Le Seuil. [DÉCRET NO 99-249 Décret no 99-249 du 31 mars 1999 relatif aux substances vénéneuses et à l'organisation de l'évaluation de la pharmacodépendance, pp.99-249, 1975.

T. Demarco and . Demarco-t, Structural analysis and Systems Specification, 1981.

. M. Dörr, State of the art in contents standardsProduction management and enterprise modelling, Computers in Industry, vol.42, issue.2-3, pp.245-263, 2000.

. Y. Ducq, Reengineering of health system with the GRAI methodology, Journal européen des systèmes automatisés, vol.39, pp.5-6, 2005.

R. M. Et, H. E. Epstein-r, and H. E. Et, Defining and assessing professional competence, Jama-Journal of the American Medical Association, vol.287, issue.2, pp.226-235, 2002.

. A. Faisandier, . Year, and . A. Faisandier, 2.1.1 Revisiting the notion of system - Organizations and Enterprises as systems, INCOSE 2005, 15th Annual International Symposium, Systems Engineering: Bridging Industry, Government, and AcademiaFOOD AND AGRICULTURE ORGANIZATION OF THE UNITED NATIONS) -Manuel sur l " application du Système de l " analyse des risques -points critiques pour leur maîtrise (HACCP) pour la prévention et le contrôle des mycotoxines (ÉTUDE FAO ALIMENTATION ET NUTRITION), 2003.
DOI : 10.1002/j.2334-5837.2005.tb00664.x

C. Foulard and . Foulard-c, La modélisation en entreprise CIMOSA et ingénierie simultanée, 1994.

. D. Genest, CoGITaNT versionn-5.1-Manuel de référence GME 5 User " s Manual -Version 5.0 -Institute for Software Integrated Systems The Generic Modeling Environment, GME GME, 2003.

[. Et, R. Et, and R. A. , Modélisation et performance des réseaux de santé: Contribution à la prise en charge des patients, Journal européen des systèmes automatisés (J. eur. syst. autom.), vol.38, issue.6, pp.725-749, 2004.

. R. Grangel, Interopérabilité guidée par les modèles : transformation de modèle GRAI en modèles UML. CIGI 7ème Congrès International de Génie Industriel Trois Rivière, CanadaOperating Theatre Planning, International Journal of Production Economics (IJPE), vol.85, pp.69-81, 2003.

. A. Guinet, Ordonnancement des interventions d " un bloc opératoire avec contraintes de chirurgiens nomades Développement de la fonction de risk manager dans l " entreprise. Faculté des sciences économiques, sociales et de gestionStatecharts: A visual formalism for complex systems, GISEH06, Gestion et Ingénierie des SystÈmes Hospitaliers, pp.231-274, 1987.

. Harzallah-m, Modélisation des Aspects Organisationnels pour la Réorganisation d'Entreprise Industrielles, HAS, 2000.

[. Paris, S. Arslan, and . Hinds-p, Le management: science, art, magie ? Pour un retour à la parole des "managésChoosing Work Group Members: Balancing Similarity, Competence and Familiarity, Organizational Behavior and Human Decision Processes, vol.81, issue.2, pp.226-251, 2000.

H. R. Et, M. R. Year, H. R. Et, and M. R. , Modelling and Querying Video Data, th VLDB Conference, 1920.

G. Technolog, SADT. Un langage pour communiquer Eyrolles Standard Computer Dictionary: A Compilation of IEEE Standard Computer Glossaries, IEEE, 1990.

I. J. Iglehart-j, The American Health Care System -Expenditures, New England Journal of Medicine, vol.340, issue.3407, pp.576-576, 1999.

[. S. Jagdev-h, Verification and validation issues in manufacturing models, Computers in Industry, vol.25, issue.3, pp.331-353, 1990.
DOI : 10.1016/0166-3615(94)00045-R

. W. Janssen, What makes business processes special ? an evaluation framework for modelling languages and tools in business process redesign. 2nd CAiSE/IFIP 8.1 international workshop on evaluation of modeling methods in systems analysis and design, 1997.

. A. Jebali, Operating rooms scheduling, International Journal of Production Economics, vol.99, issue.1-2, pp.52-62, 2006.
DOI : 10.1016/j.ijpe.2004.12.006
URL : https://hal.archives-ouvertes.fr/hal-00359989

[. Et and C. V. , Modélisation et Vérification des propriétés de systèmes complexes : Application aux processus d " entreprise, Université de Montpellier IIRequirements modelling and formal analysis using graph operations, Ph. D. [KAMSU-FOGUEM B. et CHAPURLAT V. International Journal of Production Research, vol.44, issue.17, pp.3451-3470, 2004.

T. A. Kletz and . A. Kletz-t, Hazop???past and future, Reliability Engineering & System Safety, vol.55, issue.3, pp.263-266, 1997.
DOI : 10.1016/S0951-8320(96)00100-7

L. T. Kohn, To err is human: building a safer health system, National Academy Press. C. o. Q. o. H. C. I. America, p.1500, 2000.

. G. Koliadis, Combining i* and BPMN for Business Process Model Lifecycle Management, Business Process Management Workshops, vol.4103, pp.416-427, 2006.
DOI : 10.1007/11837862_39

. R. Lakner, Multiagent Realization of Prediction-Based Diagnosis and Loss Prevention, Advances in Applied Artificial Intelligence Proceedings, vol.4031, pp.70-80, 2006.
DOI : 10.1007/11779568_10

L. E. Lamine-e, Définition d " un modèle de propriété et proposition d " un langage de spécification associé : LUSP, 2001.

L. G. Larkin-f and . Larkin-f, AMDEC. Guide pratique AfnorHAZOP study from theory to practice, Process Engineering, vol.77, issue.3, pp.26-27, 1996.

L. L. Leape and . L. Leape-l, Reporting of Adverse Events, New England Journal of Medicine, vol.347, issue.20, pp.1633-1638, 2002.
DOI : 10.1056/NEJMNEJMhpr011493

. A. Ledeczi, The Generic Modeling Environment Maîtriser sadt 102497, LISSANDRE Journal Officiel, pp.91-748, 1991.

. Loi-n°, LOI no 91-1414 du 31 décembre 1991 modifiant le code du travail et le code de la santé publique en vue de favoriser la prévention des risques professionnels et portant transposition de directives européennes relatives à la santé et à la sécurité du travail, Journal Officiel, pp.91-1414, 1414.

L. N°, LOI n° 98-535 du 1er juillet 1998 relative au renforcement de la veille sanitaire et du contrôle de la sécurité sanitaire des produits destinés à l'homme, Journal Officiel, pp.98-535, 1998.

M. M. Et, G. M. Year, M. M. Et, and G. M. , Loi n° 2004-806 du 9 août 2004 relative à la politique de santé publique et liens vers les décrets d'application Relationships between Common Graphical Representations in Systems Engineering Vitech Corporation Enterprise interoperability : a critical survey of modelling method with special concern to manufacturing systems engineering, 10th IFAC Symposium on Information Control Problems in Manufacturing, 2001.

M. J. Meinadier-j.-p, . Hermes, . Menzel-c, M. R. Et, . Menzel-c et al., Organisation qualité et gestion du risque en anesthésie réanimation Ingénierie et intégration des systèmes The IDEF Family of Languages in Handbook on architectures of information systems Ministère de la Santé de la Famille et des Personnes handicapées -Hôpital 2007 -La lettre d " information de la Direction de l " Hospitalisation et de l " Organisation des Soins, Edition du service de l " information et de la communication. [MONGILLON P. et VERDOUX S L " entreprise orientée processus : aligner le pilotage opérationnel sur la stratégie et les clientsLa décision, une rupture -La perspective du management du risque, Paris, AFNOR. [MONTMAIN J. et PENALVA J.-M, 1998.

[. Juppe, Ordonnance Relative au remboursement de la dette sociale ; aux mesures urgentes tendant au rétablissement de l'équilibre financier de la Sécurité sociale ; portant mesures relatives à l'organisation de la Sécurité sociale ; relative à la maîtrise médicalisée des dépenses de soins, p.154, 1996.

. L-'hospitalisation-publique-et-privée, Ordonnance n° 96-50 / 96-51 / 96-344 / 96-345 / 96-346 ) Ingénierie objet: Concepts et techniques Dunod, Definition of Overall PABADIS " PROMISE Control System Architecture -European Project -Deliverable 2.0, 1997.

H. Panetto and . Panetto-h, Meta-modèles et modèles pour l " intégration et l " interopérabilité des applications d " entreprises de production, 2006.

V. D. Parunak, B. S. Year-]-parunak-v, and B. M. , Entropy and self-organization in multi-agent systems Reasoning with Cause and Effect La modélisation par les systèmes en situations complexes, International Conference on Autonomous Agents Agents proceedingd if the international Joint Conference On Artificial Intelligence, 1997.

P. J. Penalva-j, Situations et systèmes complexes, 2004.

P. Perilhon and . Perilhon-p, MOSAR : Présentation de la méthode, 1999.

P. Perilhon and . Perilhon-p, MOSAR : Présentation de la méthode, Techniques de l " Ingénieur -traité Sécurité et gestion des risques 2, 2003.

P. S. Popkin-s, Enterprise modelling: Aligning Business and Information Technology, 2003.

C. Pourcel, G. Et, and G. D. Et, Modelisation d'entreprise par les processus : Activité, organisation & applications, 2005.

R. A. Et, K. Et, and K. F. , Food safety hazards and the application of the principles of the hazard analysis and critical control point (HACCP) system for their control in aquaculture production, Aquaculture Research, vol.28, issue.10, pp.735-752, 1997.

R. P. Et, V. Et, and V. F. , UML 2 en action, 2007.

R. D. Et, S. Et, and S. K. , Structured analysis for requirements definition, IEEE Trans. on Software Engineering, vol.3, issue.1, pp.6-15, 1977.

A. Scheer, ARIS Toolset: A software product is born, Information Systems, vol.19, issue.8, pp.607-624, 1994.
DOI : 10.1016/0306-4379(94)90031-0

. A. Scipioni, FMEA methodology design, implementation and integration with HACCP system in a food company, Food Control, vol.13, issue.8, pp.495-501, 2002.
DOI : 10.1016/S0956-7135(02)00029-4

S. S. Sheard-s, Definition of the Sciences of Complex Systems, INSIGHT, vol.9, issue.1, pp.25-26, 2006.
DOI : 10.1002/inst.20069125

F. Societe, . De, . Clinique, . Societe, . De et al., Référentiel de Pharmacie Hospitalière Conceptual structures: information processing in mind and machine Integrated Enterprise Modelling, p.155, 1984.

. P. Staccini, Mapping care processes within a hospital: from theory to a web-based proposal merging enterprise modelling and ISO normative principles, International Journal of Medical Informatics, vol.74, issue.2-4, pp.2-4, 2005.
DOI : 10.1016/j.ijmedinf.2004.07.003

G. Sundström, H. Et, H. E. Et, and . Hollnagel, Learning How to Create Resilience in Business Systems. Resilience Engineering. Concepts and precepts, 2006.

G. [. Et, Méthodologie d'évaluation du niveau de risque d'un site industriel de type Seveso, basée sur la gravité des accidents majeurs et la vulnérabilité de l'environnement. Biosciences de l'environnement, chimie et santéOntologies: Principles, methods and applications, [TRIVIUM, 2005] TRIVIUM (2005). Triviumsoft : logiciels Gingo et See-k [USCHOLD M. et GRUNINGER M, pp.259-93, 1996.

. M. Uschold, The Enterprise Ontology, The Knowledge Engineering Review, vol.13, issue.1, pp.31-89, 1998.
DOI : 10.1017/S0269888998001088

. B. Vallespir, L " intégration en modélisation d " entreprise : les chemins d " UEML. MOSIM03-3ème Conférence Francophone de Modélisation et Simulation Formal specification: a roadmap, pp.147-159, 2000.

F. Vernadat and . Vernadat-f, Enterprise Integration: On Business Process and Enterprise Activity Modelling, Concurrent Engineering, vol.4, issue.3, pp.219-228, 1996.
DOI : 10.1177/1063293X9600400303

F. Vernadat, . Vernadat-f, . Vernadat-f, . Year, . F. Vernadat et al., UEML: Towards a unified enterprise modelling language, 3ème Conférence Francophone de Modélisation et Simulation -MOSIM'01, pp.4309-4321, 1999.
DOI : 10.1016/0166-3615(94)90017-5
URL : https://hal.archives-ouvertes.fr/inria-00100684

F. B. Vernadat and . B. Vernadat-f, Enterprise modeling and integration (EMI): Current status and research perspectives, Annual Reviews in Control, vol.26, issue.1, pp.15-25, 2002.
DOI : 10.1016/S1367-5788(02)80006-2

G. Vickers, The Art of Judgement World Wide Web Consortium -Extensible Markup Language Systèmes et modèles. Introduction critique à l'analyse de systèmes, Editions du SeuilThe Purdue Enterprise Reference Architecture, Methuen. Londres. Computers in Industry, vol.24, pp.3-5, 1965.

W. T. , L. H. Williams-t, and L. H. , The task force specification for GERAM and its fulfillment by PERA, Annual Reviews in Control, vol.21, pp.137-147, 1997.

. P. Wohed, On the Suitability of BPMN for Business Process Modelling, Business Process Management Proceedings, vol.4102, pp.161-176, 2006.
DOI : 10.1007/11841760_12

Z. M. Zelm-m, Enterprise modelling -constructs comparison (state of the art, 2001.

. M. Zelm, The CIMOSA business modelling process, Computers in Industry, vol.27, issue.2, pp.123-142, 1995.
DOI : 10.1016/0166-3615(95)00018-2

. E. Zupa, Using Failure Mode Effect Analysis (FMEA) to improve medication safety, Oncology Nursing Forum, vol.33, issue.2, pp.417-417, 2006.