How to detect risks with a formal approach? From property specification to risk emergence

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

Volumn , Issue , 2006, Pages 134-146

  Chapurlat, Vincent ^a   Aloui, Saber ^a  

^a ECOLE DES MINES D ALÈS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPTUAL GRAPH; DANGEROUS SITUATIONS; FORMAL APPROACH; FORMAL PROPERTIES; HEALTHCARE ORGANISATIONS; MODELLING FRAMEWORK; MULTI LANGUAGES; PROPERTY SPECIFICATION;

INFORMATION SYSTEMS; RISK ASSESSMENT;

FORMAL CONCEPT ANALYSIS;

EID: 84880259711     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. Tixier J., Dusserre G. (2002) Review of 62 risk analysis methodologies of industrial plants, journal of Loss Prevention in the Process Industries
2. INCOSE (2004) System Engineering (SE) Handbook Working Group, System Engineering Handbook, A « How To » Guide For All Engineers
3. Vernadat F. B., (1996), Enterprise Modelling and Integration: Principles and Applications, Chapmann & Hall
4. Petit M., Doumeingts G. (2002) Enterprise Modelling State of the Art, Deliverable D1.1 of the UEML Project, Unified Enterprise Modelling Language UEML Thematic Network, IST-2001-34229 (www.ueml.org)
5. UEML (2003) Deliverable D3.1: Requirements analysis: initial core constructs and architecture, Unified Enterprise Modeling Language UEML Thematic Network - IST-2001-34229 (www.ueml.org)
6. Chapurlat V., Montmain J., Gharbit D. (2005a) A proposition for risks analysis in manufacturing and enterprise modelling, Knowledge sharing in the integrated enterprise: Interoperability strategies for the enterprise architect, Springer IFIP (P. Bernus & M. Fox ed., p 193-202
7. Penalva, J-M (1997). La modélisation par les sytèmes en situations complexes, PhD Thesis, Université de Paris Sud. (in french)
8. EICTA (2004) Interoperability white paper, European Industry Association for Information Systems, Communication Technologies, and Consumer Electronics
9. Uschold M., Gruninger M. (1996) Ontologies: Principles, Methods and Applications, Knowledge Engineering Review, vol.11:2, pp. 93-136
10. Popkin (2003) Enterprise modelling: Aligning Business and Information Technology, White paper, Popkin Software (see http://www.telelogic.com/ campaigns/popkin/index.cfm)
11. GME (2004) Generic Modelling Environment (GME) User's Manual, Release 4-11, Institute for Software Integrated Systems (ISIS) Vanderbilt University
12. Aloui S., Chapurlat V., Penalva J.-M. (2006) Linking interoperability and Risk assessment: A methodological approach for Socio-technical systems, to be appear in Proceedings of INCOM'2006, 12th IFAC Symposium on Information Control Problems in Manufacturing, Saint-Etienne, May 17 to 19, France
13. Bertrand P., Darimont R., Delor E., Massonet P., Van Lamsweerde (1998) A. GRAIL/KAOS: an environment for goal drivent requirements engineering Proceedings ICSE'98 - 20th International Conference on Software Engineering, IEEE-ACM, Kyoto, april
14. Van Lamsweerde A. (2003) From System Goals to Software Architecture. In Formal Methods for Software Architectures, M. Bernardo & P. Inverardi (eds), LNCS 2804, Springer-Verlag, 25-43
15. Menzel C.P., Mayer R.J. (1998) The IDEF Family of Languages in Handbook on architectures of information systems, Bernus P., Mertins K. et Schmidt G. ed., Berlin, Springer
16. Habrias H. (1988) Le modèle relationnel binaire. Méthode Niam, Paris, Eyrolles [in French]
17. Booch G., Rumbaugh J., Jacobson I. (1999) The Unified Modelling Language User Guide. Addison-Wesley
18. Oliver D.W., Kelliher T.P., Keegan J.G. Jr (2004) Engineering complex systems with Models and Objects, McGraw-Hill
19. Studer, R., Benjamins, V. Fensel, D. (1998). Knowledge Engineering: Principles and Methods, Data and Knowledge Engineering no 25, 161-197.
20. ISO 8402 (1994): Quality management and quality assurance - Vocabulary, Second edition 1994-04-01, International Standard Organization.
21. Lamine E. (2001) Définition d'un modèle de propriété et proposition d'un langage de spécification associé: LUSP, Ph.D. Thesis, Montpellier II University [in French]
22. Chapurlat V., Kamsu-Foguem B., Prunet F (2005b), A Formal Verification Framework and Associated Tools for Enterprise Modelling: Application to UEML, Computers in Industry, Elsevier
23. Chatel V., Feliot C. (2004) Principe de conception système certifiée par la preuve, Journées Francophones des Langages Applicatifs, JFLA 2004 (in French)
24. Accelera (2004), PSL Property Specification Language Reference Manual, Accelera Formal Verification Technical Committee (FVTC), Version 1.1 (http://www.eda.org/vfv/)
25. Perilhon, P. (2003). MOSAR: présentation de la méthode, Techniques de l'Ingénieur, traité Sécurité et gestion des risques (in french)
26. HAS (2005) Normative reference available on the HAS web site (Haute Autorité de Santé), see www.anaes.fr
27. Kervern G.Y. (1994) Latest Advances in Cindynics. Economica Paris.
28. Yahoda (2003) web site presenting an overview of formal verification tools (see http://anna.fi.muni.cz/yahoda/)
29. Sowa J.F (1984) Conceptual structures: information processing in mind and machine, New York (U.S.A.): Addison-Wesley
30. Kamsu-Foguem B. (2005) Modélisation et Vérification des propriétés de systèmes complexes: Application aux processus d'entreprise, July 2004, PhD Thesis University Montpellier II [in French]
31. Bérard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrucci L., Schnoebelen Ph. McKenzie P. (2001) Systems and Software verification: model checking techniques and tools, Springer
32. Cogitant (2005) CoGITaNT Version-5.1 - Reference Manual (see http://cogitant.sourceforge.net)
33. ISDRD (2005), International Strategy for Disaster Reduction, http://www.unisdr.org/isdrindex.htm)