Verification and Validation in GERAM Framework for Modeling of Information Systems

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.