Modeling waiting systems from domain expert specifications

  • Authors:
  • Maâmar El-Amine Hamri;Claudia Frydman;Lucile Torres

  • Affiliations:
  • Université de Paul Cézanne, Marseille Cedex, France;Université de Paul Cézanne, Marseille Cedex, France;Université de Paul Cézanne, Marseille Cedex, France

  • Venue:
  • WSC '05 Proceedings of the 37th conference on Winter simulation
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper proposes an application that consists in allocating services by managing waiting queues. The chosen example is the Jaspar bank described by Banks et al. The specification is based on the task type, named dynamic assignment, of the methodology CommonKADS. Then, the task type is transformed into an DEVS atomic model based on rules defined to facilitate this passage for the experts which are not familiarized with formal specifications. The operational model is verified and validated by simulation.