Verification, validation, qualification and certification of enterprise models: Statements and opportunities

Computers in Industry

Volumn 59, Issue 7, 2008, Pages 711-721

  Chapurlat, V ^a   Braesch, C ^b  

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

^b Université de Savoie   (France)

Author keywords

Certification; Enterprise modeling; Qualification; Validation; Verification

Indexed keywords

APPLIED (CO); BEST PRACTICES (BP); ELSEVIER (CO); ENTERPRISE MODELLING; FUTURE RESEARCH; FUTURE WORK; IN ORDER; MODELING ACTIVITIES; STATE OF THE ARTS;

INDUSTRY;

EID: 47049116198     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compind.2007.12.018     Document Type: Article

References (94)

1. Molina A., Panetto H., Chen D., Vernadat F., and Whitman L. Enterprise Integration and networking: Milestone Report, TC 5.3 Enterprise Integration and Networking. ICEIMT2004, Proceedings of the International Conference on Enterprise Integration and Modeling Technology. Canada (2004)
2. R. Cabral, G. Doumeingts, L. Man-Sze, K. Popplewell, Enterprise Interoperability: Research Roadmap, Working document, Version 2.0, 2006.
3. Tae-Young K., Sunjae L., Kwangsoo K., and Cheol-Han K. A modelling framework for agile and interoperable virtual enterprises. Journal Computers in Industry (2006)
4. Ferrarini L., Veber C., Lüder A., Peschke J., Kalogeras A., Gialelis J., Rode J., Wünsch D., and Chapurlat V. Control architecture for reconfigurable manufacturing systems: the PABADIS'PROMISE approach. ETFA (2006)
5. Vernadat F.B. Enterprise Modelling and Integration: Principles and Applications (1996), Chapmann & Hall
6. INCOSE, System Engineering (SE) Handbook Working Group, System Engineering Handbook, A "How To" Guide For All Engineers, 2004.
7. GERAM: Generalised Enterprise Reference Architecture and Methodology, Version 1.6.1, IFIP-IFAC Task Force on Architectures for Enterprise Integration, 1999.
8. J.-L. Le Moigne, La Modélisation des Systèmes Complexes, Paris, Bordas, Dunot, 1990 (in French).
9. Fox M.S., and Gruninger M. Enterprise Modelling, AI Magazine (1998), AAAI Press, Fall pp. 109-121
10. Deliverable D3.1: Requirements analysis: initial core constructs and architecture, Unified Enterprise Modeling Language UEML Thematic Network, IST-2001-34229 (see www.ueml.org), 2003.
11. ISO 8402: Quality Management and Quality Assurance: Vocabulary, 2nd ed. 1994-04-01, International Standard Organization, 1994.
12. Balci O. Verification, validation and accreditation. In: Medeiros D.J., Watson E.F., Carson J.S., and Manivannan M.S. (Eds). Proceedings of the 1998 Winter Simulation Conference (1998)
13. NASA, VV&A Recommended Practices Guide: Glossary, 2001.
14. Chen D., and Vernadat F. Enterprise interoperability: a standardization view. Handbook on Architectures of Information Systems (2003), Springer
15. Stegwee R.A., and Rukanova B.D. Identification of different types of standards for domain specific interoperability, standard making: a critical research frontier for information systems. MISQ Special Issue Workshop (2004)
16. EICTA Interoperability white paper, 2004 (see www.etsi.org/sos_interoperability/Background_papers/EICTA_white_ paper_on_interoperability.pd).
17. Kalfoglou Y., and Schorlemmer M. Formal support for representing and automating semantic interoperability. Proceedings of the First European Semantic Web Symposium (ESWS'04). Heraklion (2004) 45-61
18. Standard Computer Dictionary: A Compilation of IEEE Standard Computer Glossaries, Institute of Electrical and Electronics Engineers, New York, 1990.
19. Bézivin J., and Gerbé O. Towards a precise definition of the OMG/MDA framework. Proceedings of the ASE'01. November (2001)
20. In: Miller J., and Mukerji J. (Eds). MDA, Model Driven Architecture (MDA) (2001), Architecture Board ORMSC
21. Chen D., and Vernadat F. Standards on enterprise integration and engineering-a state of the art. International Journal of Computer Integrated Manufacturing (IJCIM) 17 April-May (3) (2004) 235-253
22. Bernus P. Enterprise models for enterprise architecture and ISO9000:2000. Annual Review in Control. No. 27 (2003), Pergamon Press pp. 211-220
23. F. Yergeau, T. Bray, J. Paoli, C.M. Sperberg-McQueen, E. Maler, Extensible Markup Language (XML) 1.0, 3rd ed., W3C Recommendation, 2004 (see http://www.w3.org/TR/2004/REC-xml-20040204/).
24. Hwang Y.F., and Rine D.C. Verification framework and algorithms for integrating information distribution systems. Journal Information and Software Technologies (2006), Elsevier
25. Benghazi Akhlaki K., Capel Tuñon M.I., Holgado Terriza J.A., and Mendoza Morales L.E. Formal specification of real-time systems by transformation of UML-RT design models. Proceedings of the Modelling, Simulation and Verification of Enterprise Information Systems MSVVEIS, Satellite event of ICEIS, International Conference on Enterprise Information systems. Paphos, Chypre, May 23-26 (2006)
26. Casualty Actuarial Society (CAS), Overview on Enterprise Risk Management, ERM Comittee, 2003.
27. Van der Aalst W.M.P. Workflow verification: finding control-flow errors using petri-nets-based techniques, business process management: models. In: Van der Aalst W., Desel J., and Oberweis A. (Eds). Techniques and Empirical Studies (2000), Springer
28. ARCHWARE, European Architecting Evolvable Software project, IST 2001-3236, 2004 (see http://www.archware.org/).
29. Leymonerie F., Blanc Dit Jolicoeur L., Cîmpan S., Braesch C., and Oquendo F. Towards a business process formalization based on an architecture centered approach. Proceedings of the ICEIS 2004. Portugal (2004)
30. O'Leary D.E. Enterprise Resource Planning Systems: Systems, Life cycle, Electronic Commerce, and Risk (2000), Cambridge University press, UK
31. Koubarakis M., and Plexousakis D. A formal framework for business process modelling and design. Information System Journal no. 27 (2002), Pergamon Press pp. 299-319
32. G. Love, G. Back, Model verification and validation for rapidly developed simulation models: balancing cost and theory, White Paper of the Project Performance Corporation (see http://www.ppc.com/), 2000.
33. Jagdev H.S., Browne J., and Jordan P. Verification and validation issues in manufacturing models. Computers in Industry 25 (1995) 331-353
34. RPG, V&V Techniques, RPG Reference Document (see http://vva.dmso.mil/), DMSO (Defence Modelling and Simulation Office), 2001.
35. Balci O., and Ornwsby W. Expanding our horizons in verification, validation and accreditation research and practice, 2002. In: Yücesan E., Chen C.-H., Snowdon J.L., and Charnes J.M. (Eds). Proceedings of the Winter Simulation Conference (2002)
36. ISA Enterprise, Control system Integration, Instrument Society of America. Part 1, ISA-ds95.01, Draft 14, 1999.
37. C4ISR Architecture Framework, Version 2.0, December 1997.
38. Chen D., Vallespir B., and Doumeingts G. Designing manufacturing systems: contribution to the development of an enterprise engineering methodology (EEM) within the frame of GERAM. Proceedings of the IFAC'2002 World Congress. Barcelona, Spain (2002)
39. J. Sekkerman, Extended Enterprise Architecture Maturity Model (E2AMM), 2003
40. EN ISO/DIS 19440, Enterprise integration: constructs of enterprise modelling, Draft version, Genève, 2004.
41. J. Schekkerman, Enterprise architecture validation, Achieving Business-Aligned and Validated Enterprise Architectures Institute For Enterprise Architecture Developments Report, 2003.
42. Kelton D., Sadowski D.A., and Sadowski R.P. Simulation with Arena (2001), McGraw-Hill
43. Derrick E.J., and Balci O. A visual simulation support environment based on the Domino conceptual framework. Journal of Systems and Software 31 December (2) (1995)
44. Ahmed R., and Robinson S. Simulation in business and industry: how simulation context can affect simulation practice. Proceedings of the Spring Simulation MultiConference, Business and Industry Symposium. Norfolk, USA, March 25-29 (2007)
45. Greasley A. Effective uses of business process simulation. In: Joines J.A., Barton R.R., Kang K., and Fishwick P.A. (Eds). Proceedings of the 2000 Winter Simulation Conference (2000)
46. Robinson S. Successful Simulation: A Practical Approach to Simulation Projects. (1994), McGraw-Hill, Maidenhead, England
47. NASA Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems. Vol. II: A Practitioner's Companion (see http://eis.jpl.nasa.gov/quality/Formal_Methods/document/NASA gb2.pdf).
48. Van Lamsweerde A. Formal specification: a roadmap. In: Finkelstein A. (Ed). The Future of Software Engineering (2002), ACM Press
49. Jackson D. Lightweight formal methods. Proceedings of International Symposium of Formal Methods Europe. Berlin, Germany, March 12-16 (2001)
50. Bérard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrucci L., Schnoebelen Ph., and McKenzie P. Systems and Software Verification: Model Checking Techniques and Tools (2001), Springer
51. M. Petit, Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach, Thèse de doctorat de l'Université de Namur, Belgique, October 1999.
52. Chapurlat V., Kamsu-Foguem B., and Prunet F. Enterprise model verification and validation: an approach. Annual Review in Control 27 2 (2003) 185-197
53. Spivey J.M. The Z notation: A Reference Manual. 2nd ed. (1992), Prentice Hall International
54. Abrial J.-R. The B-Book: Assigning Programs to Meaning (1996), Cambridge University Press
55. Vienna Development Method: Specification Language (VDM-SL), Part 1: Base Language, Internat. Standard ISO/IEC 13817-1, 1996.
56. Smith G. The object-Z specification language. Advances in Formal Methods (2000), Kluwer Academic Publishers. 0-7923-8684-1
57. J. Hoenicke1, P. Maier, Model-checking of specifications integrating processes, data and time, AVACS-Automatic Verification and Analysis of Complex Systems, Report no. 5, Board of SFB/TR 14 Eds.
58. Morel G., Petin J.-F., and Lamboley P. Formal specification for manufacturing systems automation. Proceedings of the 10th IFAC INCOM Symposium. Vienna, Austria, September 20-22 (2001)
59. C. Schlenoff, M. Gruninger, F. Tissot, J. Valois, J. Lubell, J. Lee, The Process Specification Language (PSL): Overview and Version 1.0 Specification, NISTIR 6459, National Institute of Standards and Technology, Gaithersburg, MD, 2000 (see http://www.mel.nist.gov/psl/pubs.html).
60. Hilger J., and Proth J.-M. Production management language. Proceedings of the IFAC'90. Tallinn, Russia (1990)
61. Dubois E., and Dubois P. Albert II: une approche à la conception de cahiers de charges pour des systèmes réactifs et coopératifs. Techniques et Sciences Informatique (TSI) 17 Février (2) (1998)
62. Petit M., and Dubois E. Defining an ontology for the formal requirements engineering of manufacturing systems. In: Kosanke K., and Nell J. (Eds). Enterprise Engineering and Integration: Building International Consensus (1997), Springer-Verlag, Berlin
63. Dubois E., and Petit M. Using a formal declarative language for specifying requirements modelled in CIMOSA. In: Ladet P., and Vernadat F. (Eds). Integrated Manufacturing Systems Engineering (1994), Chapman & Hall, London
64. Canuto E., Donati F., and Vallauri M. Manufacturing algebra: a new mathematical tool for discrete-event modelling of manufacturing systems, systems: theory and practice. In: Albrecht R. (Ed). Advances in Computing Sciences (1998), Springer Wien, New York 269-312
65. Donati F., Canuto E., and Vallauri M. Advances in manufacturing algebra: discrete-event dynamic models of production processes. Proceedings of the IFAC Manufacturing System: Modelling, Management and Control. Vienna, Austria (1997)
66. Kamsu-Foguem B., Chapurlat V., and Prunet F. Enterprise model verification: a graph-based approach. Proceedings of the CESA'2003, Computing Engineering in Systems Applications. Lille, France (2003)
67. Emerson E. Temporal and modal logic. In: van Leeuwen J. (Ed). Handbook of Theoretical Computer Science vol. B (1990), MIT Press 955-1072 ISBN: 0262220393
68. C.A.R. HoareCommunicating Sequential Processes (CSP), Juin 2004 (see http://www.usingcsp.com/).
69. S. Budkowski, P. Dembinski, M. Diaz, ISO Standardized description technique ESTELLE (see http://www-lor.int-evry.fr/idemcop and http://www-lor.int-evry.fr/edt/), 1997.
70. The SPIN Primer and Reference Manual, Addison Wesley, ISBN 0-321-22862-6 (see http://spinroot.com/spin/whatispin.html), 2005.
71. H. Garavel, Caesar Reference Manual, Version 3.7 (see http://www.inrialpes.fr/vasy/Publications/Garavel-90-a.html), 1990.
72. ARCHWARE, European Architecting Evolvable Software project, IST 2001-3236, 2004 (see http://www.archware.org/), 2004.
73. R. Milner, The Polyadic Pi-Calculus: a tutorial (see http://www.lfcs.inf.ed.ac.uk/reports/91/ECS-LFCS-91-180/), 1991-2003.
74. Easterbrook S. An introduction to formal modeling in requirements engineering. Proceedings of the 10th Joint International Requirements Engineering Conference. Essen, Germany, September (2002)
75. Formal verification tools overview web site (see http://anna.fi.muni.cz/yahoda/), 2003.
76. M. Saaltink, The Z/EVES 2.0 User's Guide, TR-99-5493-06a (see http://www.ora.on.ca/z-eves/), 1999.
77. Stanford TEmporal Prover (see http://www-step.stanford.edu/), version de 1996.
78. N. Bjorner, Z. Manna, H. Sipma, T. Uribe, Deductive verification of real-time systems using STeP, Technical Report STAN-CS-TR-98-1616, Computer Science Department, Stanford University, 1998.
79. D. Diallo, Assistance à la validation par paraphrasage de spécifications formelles écritesen B, Thèse de Doctorat de l'Université de, Nantes, 2000 (in French).
80. K.L. McMilan, The SMV System for SMV Version 2.5.4: SMV Manual (see http://www-2.cs.cmu.edu/∼modelcheck/smv.html), 2000.
81. S. Owre, N. Shankar, J.M. Rushby, D.W.J. Stringer-Calvert, PVS Language Reference, Version 2.4, Computer Sciences Laboratory, SRI International (see http://pvs.csl.sri.com/), 2001.
82. Faure J.-M., and Lesage L.-J. Methods for safe control systems design and implementation. Proceedings of the 10th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'2001. Vienna, Austria, September (2001)
83. Völker N., and Krämer B.J. Automated verification of function block-based industrial control systems. Science of Computer Programming 42 1 (January) (2002) 101-113
84. Roussel J.-M., Faure J.-M., Lesage J.-J., and Medina A. An algebraic approach for dependable logic control systems design. International Journal of Production Research 42 14 (July) (2004) 2859-2876
85. The Coq Proof Assistant, Reference Manual, Version 8.0, Janvier 2005 (see http://coq.inria.fr/).
86. W. McCune, OTTER 3.3 Reference Manual, ANL/MCS-Technical Memorandum no. 263, Mathematics and Computer Science Division, 2003.
87. M. Kaufmann, J.S. Moore, ACL2 Reference Manual, Applicative Common Lisp, Department of Computer Sciences, University of Texas at Austin (see http://www.cs.utexas.edu/users/moore/acl2/v3-0/ACL2-TUTORIAL.html), 2006.
88. The HOL System, Cambridge Research Center of SRI International (see http://hol.sourceforge.net/), 2005.
89. T. Nipkow, L.C. Paulson, M. Wenzel, Isabelle: A Proof Assistant for Higher-Order Logic, Springer-Verlag, 2005 (see http://www.cl.cam.ac.uk/Research/HVG/Isabelle).
90. Rakitin S.R. Software Verification, Validation for Practitioners and Managers. (2001), Artech House Publishers
91. King S., Hammond J., Chapman R., and Pryor A. Is proof more cost-effective than testing?. IEEE Transactions on Software Engineering 26 8 (August) (2000)
92. Méthode SAGACE: le systémographe, CEA, Version 1.0, 1999 (in French).
93. Accelera Formal Verification Technical Committee (FVTC), PSL Property Specification Language Reference Manual, Version 1.1 (see http://www.eda.org/vfv/), 2004.
94. Fox M.S., and Grüninger M. On ontologies and enterprise modelling. Proceedings of the International Conference on Enterprise Integration Modelling Technology97 (1997), Springer-Verlag