Abstract
This paper introduces a formal model for the development of monitoring and control systems devoted to manage a defined class of traffic anomalies. Although a lot of sophisticated technologies have been developed over last years, the proper detection and management of critical situations that can arise in traffic flow is still a problem. A possible solution to this problem is to provide systems for monitoring and control of traffic situation with a correlation funtion, that creates a dynamic view of traffic situation over the Space and Time, In order to do this, a first order logic-based language has been developed and applied to the development of the Alarm Correlation Module (MCA) within the context of the System for Automatic MOnitoring of Traffic (SAMOT).