학술논문
ATC: actors with temporal constraints
Document Type
Conference
Author
Source
Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001 Object-oriented real-time distributed computing Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on. :306-313 2001
Subject
Language
Abstract
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.