TAM: Temporal agent model for real-time distributed systems

Abstract The concept of streamss and stream functions are augmented by temporal constraints to provide a framework for the specification of real-time distributed systems. Individual agents, which communicate over the streams, have a relative local clock which may run at a different speed to other local clocks. Compensation functions are used to give a measure of criticality to requirements expressed in the formalism.