next up previous contents index
Next: 1.3.1 Atomic DEVS Up: 1. INTRODUCTION Previous: 1.2.2 Statecharts Extensions to   Contents   Index

1.3 The DEVS Formalism

DEVS (Discrete EVent Systems specification) was created by Bernard Zeigler [7] [8]. It is a modular formalism for deterministic and causal systems. It allows for component-based design of complex systems. A DEVS model may contain two kinds of DEVS components: Atomic DEVS and Coupled DEVS. An Atomic DEVS does not contain any component in it. It only has a mathematical specification of its behavior. A Coupled DEVS is a modular composition of one or more Atomic DEVS'.

According to the closure under coupling property of DEVS, a Coupled DEVS can be substituted by an Atomic DEVS with equivalent behavior. A Coupled DEVS can be used to compose more complex DEVS components.

A Coupled DEVS specifies connections between the components in it. Two connected components send messages via well-defined ports.


Thomas Huining Feng 2004-04-28