We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programming languages. Asynchronous languages such as CSP, OCCAM, or ADA are well-suited for distributed algorithms; their processes are loosely coupled and communication takes time. The ESTEREL synchronous language is dedicated to reactive systems; its processes are tightly coupled and deterministic, communication being realized by instantaneous broadcasting. Complex applications such as process of robot control require to couple both forms of concurrency, which is the object of CRP. A CRP program consists of independent locally reactive ESTEREL nodes that communicate with each other by CSP rendezvous. CRP faithfully extends both ESTEREL and CSP and adds new possibilities such as precise local watchdogs on rendezvous. We present the design of CRP, its semantics, a translation into classical process calculi for program verification, and application example, and implementation issues.
我们提出了一个新的编程范例,称为通信反应过程或CRP,它统一了异步和同步并发编程语言的功能。诸如CSP,OCCAM或ADA之类的异步语言非常适合于分布式算法。他们的流程是松散耦合的,沟通需要时间。 ESTEREL同步语言专用于反应系统。它的过程紧密耦合并具有确定性,可以通过即时广播实现通信。诸如机器人控制过程之类的复杂应用程序需要结合两种形式的并发,这是CRP的目标。一个CRP程序由独立的本地反应性ESTEREL节点组成,这些节点通过CSP集合点相互通信。 CRP忠实地扩展了ESTEREL和CSP,并增加了新的可能性,例如在集合点上建立精确的本地监视程序。我们介绍了CRP的设计,其语义,对经典过程计算的转换以进行程序验证,应用示例和实现问题。 P>
机译:交流沟通过程的实施
机译:与马可夫过程有关的有理过程
机译:通讯性脑膜炎的大鼠反应性胶质增生和神经炎
机译:反应通信过程中控制流周期的依赖性分析
机译:冷凝相中反应性和非反应性化学过程的研究。
机译:伴刀豆球蛋白A-非反应性甲胎蛋白并传达胎儿畸形。
机译:反应性通信过程中控制流周期的依赖性分析
机译:氢分子对激发态氟原子猝灭的半经典研究:反应和非反应过程的比较