A Proposition for Risk Analysis in Manufacturing and Enterprise Modeling

• Bernus P., Mertins K., Schmidt G. (2003) Handbook on architectures of information systems, Springer

  Google Scholar 

• Booch G., Rumbaugh J., Jacobson I. (1998), The Unified Modeling Language User Guide, Eddison Wesley

  Google Scholar 

• CEA (1998) SAGACE: le systémographe CEA Ed. (in French).

  Google Scholar 

• Chapurlat V., Kamsu Foguem B., Prunet F. (2003), Enterprise model verification and validation: an approach, Annual Review in Control, IFAC Journal

  Google Scholar 

• Chapurlat V., Lambolais T., Benaben F., Antoine C. (2004) Unified Properties Specification Language: a framework in Preprints of INCOM’04 congress

  Google Scholar 

• Chapurlat V., B. Kamsu-Foguem, F. Prunet (2002), A Property Relevance Model and associated Tools For System Life-Cycle Management in 15th IFAC World Congress on Automation Control (B’02), Barcelona

  Google Scholar 

• Chapurlat V., Lamine V., Magnier J. (2000) Unified Property Specification Language for industrial systems analysis: LUSP, MCPL’2000, Grenoble, France

  Google Scholar 

• 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)

  Google Scholar 

• Feliot C. (2000) Modélisation systémique et techniques de la preuve de programmes pour l’analyse et la validation de spécifications systèmes, ICSSEA 2000

  Google Scholar 

• Gharbi D., Chapurlat V., Montmain J., Grevy G., Dusserre G. (2003) Une approche composite d’analyse de risque: identification et résolution, Congrès de Génie Industriel, Québec, Canada (in french)

  Google Scholar 

• Kamsu-Foguem, B., V. Chapurlat, F. Prunet (2003) Complex System Properties Representation and Reasoning by using the Conceptual Graphs, CIMCA 2003, Vienna, Austria

  Google Scholar 

• Kervern G.Y. (1994) Latest Advances in Cyndinics. Economica Paris

  Google Scholar 

• Lamboley P. (2001) Proposition d’une méthode formelle d’automatisation de systèmes de production à l’aide de la méthode B, PhD Thesis (in french) Université Henri Poincaré Nancy I (in French)

  Google Scholar 

• Lamine, E. (2001) Définition d’un modèle de propriété et proposition d’un langage de spécification associé: LUSP, PhD Thesis from Montpellier II University (in French)

  Google Scholar 

• Manna Z., Pnuelli P. (1992) The Temporal Logic of Reactive and Concurrent Systems, Editions Springer-Verlag, Berlin

  Google Scholar 

• Mann D., (2002) Hands on systematic Innovation, CREAX

  Google Scholar 

• 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

  Google Scholar 

• NASA (1998) Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems, Volume II: A Practitioner’s Companion, http://eis.jpl.nasa.gov/quality/Formal_Methods/document/NASAgb2.pdf

  Google Scholar 

• NIST (2002) Process Specification Language http://ats.nist.gov/psl/

  Google Scholar 

• Penalva J.M., Page E. (1994) SAGACE: La modélisation des systèmes dont la maîtrise est complexes, ILCE’94, Montpellier (in french)

  Google Scholar 

• Penalva, J-M. (1997) La modélisation par les systèmes en situations complexes. Ph.D. thesis, Université de Paris XI-Orsay (in French)

  Google Scholar 

• Perilhon P. (2003) MOSAR: Présentation de la méthode, Techniques de l’Ingénieur, traité Sécurité et gestion des risques (in French)

  Google Scholar 

• Ruchti B., Livotov P. (2001) TRIZ-based Innovation Principles and a Process for Problem Solving in Business and Management, proc. of European TRIZ Association

  Google Scholar 

• Tixier J., G. Dusserre (2000). Review of 62 risk analysis methodologies of industrial plants. Journal of Loss Prevention in the Process Industries

  Google Scholar 

• Uschold M., Gruninger M. (1996) Ontologies: Principles, Methods and Applications’ Knowledge Engineering Review, vol.11:2, pp. 93–136

  Google Scholar 

• Vernadat F.B. (1996) Enterprise Modeling and Integration: Principles and Applications Chapman & Hall

  Google Scholar 

Download references