贬低:这个网页是保存档案的目的。请考虑访问新的Reo网页.

关于Reo

专用路由器ReO是一项战略性的长期研究活动·SEN3研究小组在数学和计算机科学中心·CWI

RO提出了一种基于移动信道概念的分布式软件组件和服务组合的范例。Reo实施了一种基于外部通道的协调模型,它定义了设计者如何用简单的方法构建复杂的协调者,称为连接器。应用程序设计器可以使用RO作为一种“胶粘代码”语言,用于在组件化系统或面向服务的应用程序中协调组件或服务实例的协作行为的连接器的结构构建。

Reo协调语言提供以下特征:

  • 组件和服务之间的松散耦合
  • 支持异构组件的分布和移动性
  • 外生协调(即第三方)
  • 成分结构
  • 同步与异步的任意混合
  • 用户定义基元
  • 动态可重构性
  • 类似于电子电路图的形式化图形语法
  • 基于共流演算和约束自动机的形式语义
  • 使用编程逻辑的规范和验证方法。

入门指南


数字计数器