ATC: actors with temporal constraints

We present in a first step of the work a new timed actor model: ATC (actors with temporal constraints). We hope to capture most of the temporal constraints arising in real time systems. For this purpose, we have used previous works on timed process algebras. We have chosen to include the two operators of ATP (algebra of timed processes): the watchdog operator for expressing passive temporal constraints and the urgency operator for modeling the active temporal constraints. The syntax and the rigorous semantic of ATC are given. Moreover, we give in a second step of this work a method to construct the graph of configurations classes. This graph describes the evolution of an ATC program in a sound and complete manner. It will be used for the analysis of ATC programs.