Modeling waiting systems from domain expert specifications

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 at. 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.