Chapter 44 - Validation by Simulation of Enterprise Models

Abstract

This chapter examines a methodology for the validation of enterprise models. Function models created by means of the standardized IDEF0 method are the subject of interest. In order to express the dynamics of the models and to construct equivalent simulation models standardized Estelle language is also used. Simulation procedures may be applied for the validation of IDEF0 models, which means for checking functional and formal correctness. Translating IDEF0 models into Estelle models evokes the necessity to define in a more exact manner the quantities and parameters of IDEF0 models under consideration, which is desirable in its own right. An environment of the IDEF0 model presented was described in Estelle with the use of two module instances that include EnvironmentIn and EnvironmentOut. The specification was then translated into a computer-operable simulation model and run on the sequential simulator. Estelle formalism can complement the IDEF0 method, giving function models a boost toward simulability. IDEF0 models after validation may be starting points for searching for improvements in modeled enterprise functions. An application of the methodology to solve a real-life model of a center of excellence is also presented.