MarjanSirjani
commented
5 years ago Timed Actors are few. There are the old ones that inspired us. I copied the following from http://rebeca-lang.org/assets/papers/2014/Modelling%20and%20simulation%20of%20asynchronous%20real-time%20systems%20using%20Timed%20Rebeca.pdf
RT-synchronizer A real-time actor model: RT-synchronizer, is proposed in [16], where a centralized synchronizer is responsible for enforcing real-time relations between events. Actors are extended with timing assumptions, and the functional behaviours of actors and the timing constraints on patterns of actor invocation are separated. The semantics for the timed actor-based language is given in [17]. Two positive real-valued constants, called release time and deadline, are added to the send statement and are considered as the earliest and latest time when the message can be invoked relative to the time that the method executing the send is invoked. In Timed Rebeca, we have the constructs after and deadline, which are representing the same concepts, respectively, except that they are relative to the time that the message (itself) is sent. So, it more directly reflects the computation architecture including the network delays. In our language, it is also possible to consider a time delay in the execution of a computation where in [17] it is possible to specify an upper bound on the execution time of a method. While RT-synchronizer is an abstraction mechanism for the declarative specification of timing constraints over groups of actors, our model allows us to work at a lower level of abstraction. Using Timed Rebeca, a modeller can easily capture the functional features of a system, together with the timing constraints for both computation and network latencies, and analyze the model from various points of view.
[16] S. Ren, G. Agha, RT-synchronizer: Language support for real-time specifications in distributed systems, in: Workshop on Languages, Compilers and Tools for Real-Time Systems, 1995, pp. 50–59. [17] B. Nielsen, G. Agha, Semantics for an actor-based real-time language, in: Proceedings of the Fourth International Workshop on Parallel and Distributed Real-Time Systems, WPDRS’96, IEEE Computer Society Press, Los Alamitos, CA, USA, 1996.
edwardalee
lhstrh
goens
cdgill
ChadliaJerad
Other actor frameworks can be mentioned in the introduction. That's where we can immediately distinguish our approach as a segue into a description of what our definitions are. In the relation work section, we need to compare ourselves to other programming languages that incorporate timing specs...