Authors: Mamoun Sqali, Lucile Torres
model of the system behavior. In the approach we propose, the global behavioral model is obtained from a set of sequence diagrams and it is expressed in the DEVS (Discrete EVent System Specification) formalism. Finally, the DEVS model can be validated and verified by simulation.