How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence

Vincent Chapurlat, Saber Aloui

2006

Abstract

The research work presented in this paper has two goals and is currently in progress. The first goal is to define a modelling framework allowing representing a system by using multi views and multi languages paradigms in a unified way and including knowledge and model enrichment by defining properties. The second goal consists to define some formal properties verification mechanisms in order to help a modeller to detect and to avoid dangerous situations and inherent risks which can occur to the system. The same mechanisms are then used to improve the quality of the representation which is the classical verification goal. This paper focuses on the set of formal properties modelling concepts and analysis mechanisms mainly based on Conceptual Graphs, which are proposed. The resulting approach is currently dedicated here to the risk assessment in healthcare organisations.

References

  1. 1 Tixier J., Dusserre G. (2002) Review of 62 risk analysis methodologies of industrial plants, journal of Loss Prevention in the Process Industries
  2. 2 INCOSE (2004) System Engineering (SE) Handbook Working Group, System Engineering Handbook, A « How To » Guide For All Engineers
  3. 3 Vernadat F. B., (1996), Enterprise Modelling and Integration: Principles and Applications, Chapmann & Hall
  4. 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. 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. 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. 7 Penalva, J-M (1997). La modélisation par les sytèmes en situations complexes, PhD Thesis, Université de Paris Sud. (in french)
  8. 8 EICTA (2004) Interoperability white paper, European Industry Association for Information Systems, Communication Technologies, and Consumer Electronics
  9. 9 Uschold M., Gruninger M. (1996) Ontologies: Principles, Methods and Applications, Knowledge Engineering Review, vol.11:2, pp. 93-136
  10. 10 Popkin (2003) Enterprise modelling: Aligning Business and Information Technology, White paper, Popkin Software (see http://www.telelogic.com/campaigns/popkin/index.cfm)
  11. 11 GME (2004) Generic Modelling Environment (GME) User's Manual, Release 4-11, Institute for Software Integrated Systems (ISIS) Vanderbilt University
  12. 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. 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. 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. 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. 16 Habrias H. (1988) Le modèle relationnel binaire. Méthode Niam, Paris, Eyrolles [in French]
  17. 17 Booch G., Rumbaugh J., Jacobson I. (1999) The Unified Modelling Language User Guide. Addison-Wesley
  18. 18 Oliver D.W., Kelliher T.P., Keegan J.G. Jr (2004) Engineering complex systems with Models and Objects, McGraw-Hill
  19. 19 Studer, R., Benjamins, V. Fensel, D. (1998). Knowledge Engineering: Principles and Methods, Data and Knowledge Engineering n°25, 161-197.
  20. 20 ISO 8402 (1994): Quality management and quality assurance - Vocabulary, Second edition 1994-04-01, International Standard Organization.
  21. 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. 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. 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. 24 Accelera (2004), PSL Property Specification Language Reference Manual, Accelera Formal Verification Technical Committee (FVTC), Version 1.1 (http://www.eda.org/vfv/)
  25. 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. 26 HAS (2005) Normative reference available on the HAS web site (Haute Autorité de Santé), see www.anaes.fr
  27. 27 Kervern G.Y. (1994) Latest Advances in Cindynics. Economica Paris.
  28. 28 Yahoda (2003) web site presenting an overview of formal verification tools (see http://anna.fi.muni.cz/yahoda/)
  29. 29 Sowa J.F (1984) Conceptual structures: information processing in mind and machine, New York (U.S.A.): Addison-Wesley
  30. 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. 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. 32 Cogitant (2005) CoGITaNT Version-5.1 - Reference Manual (see http://cogitant.sourceforge.net )
  33. 33 ISDRD (2005), International Strategy for Disaster Reduction, http://www.unisdr.org/isdrindex.htm)
Download


Paper Citation


in Harvard Style

Chapurlat V. and Aloui S. (2006). How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence . In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 134-146. DOI: 10.5220/0002484201340146


in Bibtex Style

@conference{msvveis06,
author={Vincent Chapurlat and Saber Aloui},
title={How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={134-146},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002484201340146},
isbn={978-972-8865-49-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence
SN - 978-972-8865-49-8
AU - Chapurlat V.
AU - Aloui S.
PY - 2006
SP - 134
EP - 146
DO - 10.5220/0002484201340146