USING DEVS FOR SIMULATION OF COMMONKADS
SPECIFIED SYSTEMS: AN AIRPORT APPLICATION

Maâmar El-Amine Hamri, Lucile Torres, Claudia Frydman

LSIS, UMR CNRS 6168
Université d’Aix-Marseille 3
Av. Escadrille Normandie Niemen 13397 Marseille Cedex 20 France
{amine.hamri; claudia.frydman; lucile.torres}@lsis.org

KEYWORDS
CommonKADS, reactive systems specification, discrete
event simulation, queuing systems, reusability.

ABSTRACT
A queuing system is a reactive system in which the
queue is in interaction with the servers through entities
passed on. A generic model of a queuing system consists
of three elements: a user or an entity, a queue and a
service facility that contains one or servers in parallel
(not necessarily identical).
Using the CommonKADS methodology for system
specification gives some well-known advantages such as
distinguishes the specification from the design or
associating generic model with tasks.
The aim of this work is to develop an operational pattern
model for a waiting system.