IJSER Home >> Journal >> IJSER
International Journal of Scientific and Engineering Research
ISSN Online 2229-5518
ISSN Print: 2229-5518 10    
Website: http://www.ijser.org
scirp IJSER >> Volume 2, Issue 10, October 2011 Edition
Verification and Validation in GERAM Framework for Modeling of Information Systems
Full Text(PDF, 3000)  PP.  
Majid Aarabi, Misam Kashefi, M.R. Khoei, Muhamad Zameri Mat Saman, Hooshang M. Beheshti
Information Systems, Enterprise modeling, Verification, Validation, Industrial Enterprise, ISO 15704, GERAM
The main aim of this article is to propose a methodology for using verification and validation tools in a framework for modeling of an Industrial Enterprise Information Systems. The first part of this paper introduces the Generalized Enterprise Reference Architecture and Methodology (GERAM) framework and its parts that are used for modeling of industrial enterprise information systems. The second part introduces the verification and validation concepts and tools. The third part of this article proposes the use of the verification and validation tools in GERAM framework to improve the coherency, correctness, error-free, qualitative aspects and efficiency of an enterprise information system.
[1]. C. Finkelestein, Enterprise Architecture for Integration: Rapid Deli-very Methods and Technologies, Artech House Publishers, 2006.

[2]. P. Bernus, G. Schmidt, Architectures of Information Systems, in: P. Bernus, K. Mertins , G. Schmidt (Eds.), Handbook on Architecture of Information Systems (2nd Ed.), Springer Verlag, Heidelberg, pp. 1–9, 2006.

[3]. L. Guijarro, ―Interoperability frameworks and enterprise archi-tectures in e-government initiatives in Europe and the United States,‖ Government Information Quarterly, Vol. 24, pp. 89–10, 2007.

[4]. IFIP-IFAC Task Force, ―IFIP-IFAC task force on architectures for integrating manufacturing activities and enterprises,‖ IFIP newslet-ter/IFAC newsletter, 1993.

[5]. IFIP-IFAC Task Force, GERAM: The Generalized Enterprise Refer-ence Architecture and Methodology, in: P. Bernus, L. Nemes, G. Schmidt (Eds.), Handbook of Enterprise Architecture, Springer Verlag, Heidelberg, pp. 40–82, 2003.

[6]. T.J. Williams, P. Bernus, J. Brosvic, D. Chen, G. Doumeingts, L. Nemes, J.L. Nevins, B. Vallespir, J. Vlietstra, D. Zoetekouw, ―Archi-tectures for integrating manufacturing activities and enterprises,‖ Computers in Industry, Vol. 24, No. 2–3, pp. 109–110, 1994.

[7]. ISO/TC184/SC5/WG1, Annex A: GERAM. ISO/IS 15704-2000: industrial auto- mation systems—Requirements for enterprise - reference architectures and methodologies, 2000.

[8]. ISO/TC184/SC5/WG1, ISO/IS 15704: Industrial automation systems—Requirements for enterprise—reference architectures and methodologies, 2000.

[9]. O. Noran, ―A systematic evaluation of the C4ISR AF using ISO15704 Annex a (GERAM),‖ Computers in Industry, Vol. 56, pp. 407–427, 2005.

[10]. D.K. Pace, ―Modeling and Simulation Verification and Valida-tion Challenges,‖ John Hopkins Apl Technical Digest, Vol. 25, No. 2. pp. 163-172, 2004.

[11]. O. Balci, ―Validation, Verification, and Testing Techniques Throughout the Life Cycle of a Simulation Study, Annuals of Opera-tions Research, Vol. 53, pp. 121-173, 1994.

[12]. V. Chapurlat, B. Kamsu-Foguem, F. Prunet, ―Enterprise model verification and validation: an approach,‖ Annual Reviews in Control, Vol. 27, pp. 185–197, 2003.

[13]. V. Chapurlat, C. Braesch, ―Verification, validation, qualification and certification of enterprise models: Statements and opportuni-ties,‖ Computers in Industry, Vol. 59, pp. 711–721, 2008.

[14]. O.O. Molyer, ―A Methodology for Verification and Validation of Models and Simulations: Acquirers' View Point,‖ Paper pre-sented at the RTO NMSG Conference on Future Modelling and Simula-tion Challenges, held in Breda, Netherlands, 12-14 November 2001.

[15]. G. Love and G. Back, ―Model Verification and Validation for Rapidly Developed Simulation Models: Balancing Cost and Theory,‖ Proceedings of the 18th International Conference of the System Dynamics Society, held in Bergen, Norway, on August 6-10, 2000

Untitled Page