A Conceptual Modeling Technique for Discrete Event Simulation of Operational Processes
A formal modeling technique, based on colored timed Petri net and UML static structure modeling languages is used to teach students to model their business process problem as a discrete event system, before they build a working simulation model in a simulation tool (in our case Arena). Combining Petri net and UML static structure diagrams, one can build an abstract, well defined and complete model. This model enables the simulation analyst to make an unambiguous, complete and yet easily readable model of the target operational process. The two most important classes of decisions that are reflected in the conceptual model are the choice of the real world details to be taken in or left out the model and the precise specification of the output parameters of the simulation. This paper describes the modeling technique and discusses its value in teaching and in the formulation of decision problems regarding operational processes.
KeywordsDiscrete Event Simulation Conceptual Modeling Computer Independent Model UML Petri Nets
- J. Dick, J. Chard, Requirements-driven and Model-driven Development: Combining the Benefits of Systems Engineering, Telelogic White Paper, http://www.telelogic.com, 2003.
- K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Comp. Science, Springer-Verlag, Berlin, 1992.Google Scholar
- A. M. Law and W. D. Kelton, Simulation, modeling and Analysis. Third edition. McGraw-Hill series, 2000.Google Scholar
- J. Miller, J. Mukerji (eds.) MDA Guide Version 1.0.1, OMG, Object Management Group, 2003.Google Scholar
- J. Warmer, A. Kleppe, A., The Object Constraint Language: precise modeling with UML, Addison-Wesley, 1999.Google Scholar
- Object Management Group (OMG), OCL 2.0 Specification. OMG document ptc/2005-06-06, June 2005.Google Scholar