A Conceptual Modeling Technique for Discrete Event Simulation of Operational Processes

  • Henk Jan Pels
  • Jan Goossenaerts
Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 246)

Abstract

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.

Keywords

Discrete Event Simulation Conceptual Modeling Computer Independent Model UML Petri Nets 

References

  1. J. Dick, J. Chard, Requirements-driven and Model-driven Development: Combining the Benefits of Systems Engineering, Telelogic White Paper, http://www.telelogic.com, 2003.
  2. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Comp. Science, Springer-Verlag, Berlin, 1992.Google Scholar
  3. A. M. Law and W. D. Kelton, Simulation, modeling and Analysis. Third edition. McGraw-Hill series, 2000.Google Scholar
  4. J. Miller, J. Mukerji (eds.) MDA Guide Version 1.0.1, OMG, Object Management Group, 2003.Google Scholar
  5. K.M. van Hee, Information Systems Engineering: A Formal Approach, Cambridge University Press, Cambridge, 1994.MATHGoogle Scholar
  6. J. Warmer, A. Kleppe, A., The Object Constraint Language: precise modeling with UML, Addison-Wesley, 1999.Google Scholar
  7. Object Management Group (OMG), OCL 2.0 Specification. OMG document ptc/2005-06-06, June 2005.Google Scholar

Copyright information

© International Federation for Information Processing 2007

Authors and Affiliations

  • Henk Jan Pels
    • 1
  • Jan Goossenaerts
    • 1
  1. 1.Faculty of Technology ManagementTechnische Universiteit EindhovenEindhovenThe Netherlands

Personalised recommendations