Reactive objects : Génie et technologie logiciels pour les services et réseaux de télécommunication
Reactive objects : Génie et technologie logiciels pour les services et réseaux de télécommunication
复制标题
反应性对象:服务和电信通信领域的逻辑和技术
DOI:
--
复制
发表时间:
1996
期刊:
影响因子:
--
通讯作者:
Jean
中科院分区:
文献类型:
--
作者:
F. Boussinot;G. Boumenic;Jean
In the reactive approach, system components are not supposed to execute at their own rate, but are instead driven by a logical common clock, defining global instants. The reactive object model introduced in this paper, is an object based formalism matching the reactive paradigm. In this model, methods can be invoked using instantaneous non-blocking send orders, which are immediately processed (that is, processed during the current instant) ; moreover, a method cannot execute more than once at each instant. The reactive object model is described and compared to the actor model, then a prototype language based on this model is introduced ; the semantics in π-calculus is given ; finally its expressive power is shown on the example of a broadcast communication mechanism.