雷奥

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


zbMATH中的参考文献(参考文献88篇,2标准条款)

显示88个结果中的1到20个。
按年份排序(引用)
  1. 戴维德,布雷索林;Lanese,Ivan:静态和动态属性保留更新(2021)
  2. 多克特,卡斯帕;加杜奇,法比奥;狮子,本杰明;Santini,Francesco:带记忆的软约束自动机(2021)
  3. 博德,恰拉;布罗多,琳达;布鲁尼,罗伯托:《开放多方互动的链接演算》(2020)
  4. 马丁斯,Óscar;阿尔伯托威尔德乔;MartíOliet,Narcisco:重写逻辑中的组合规范(2020)
  5. 马姆索勒,迭戈;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019)
  6. Reisig,Wolfgang:具有双面接口的组件的关联组合(2019)
  7. 菲格雷多,丹尼尔;马丁斯,曼努埃尔A。;Barbosa,Luís.:关于反应性跃迁和Reo连接器的注释(2018)
  8. Jongmans,Sung Shik:用八种颜色正式传播Reo中的优先级(2018)
  9. 戴维德,布雷索林;Lanese,Ivan:最普遍的财产保护更新(2017年)
  10. 多克特,卡斯帕;琼曼斯,宋希克;阿尔巴布,法哈德;Bliudze,Simon:《联合与征服:联系BIP和Reo》(2017)
  11. 埃弗拉德,胡格;Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017)
  12. Arbab,Farhad:适当方案(2016年)
  13. 阿蒂,保罗;巴拉诺夫,爱德华德;傻了,西蒙;贾比尔,穆罕默德;Sifakis,Joseph:体系结构可组合性的一般框架(2016)
  14. 卡塞尔,索非亚;霍瓦,福克;强森,本特;Steffen,Bernhard:扩展有限状态机的主动学习(2016)
  15. 克尔松,菲利普;杜斯拉夫,克莱门斯;拜尔,克里斯特尔;克莱因,约阿希姆;Klüppelholz,Sascha:基于角色的系统建模与外部协调(2016)
  16. 容格曼,宋世宗。;Arbab,Farhad:约束自动机的数据优化(2016)
  17. 奥利维拉,马塞尔·V·M。;安东尼诺,P。;拉莫斯,R。;桑帕约,A。;莫塔,A。;Roscoe,A.W.:使用组件元数据和模式严格开发基于组件的系统(2016)
  18. 丙酮,卢卡;戈里亚克,尤金·伊安;Ingolfsdottir,Anna:Linda无状态双相似性的基本公理化(2015)
  19. 布鲁尼,罗伯托;梅尔格拉蒂,赫尔南;Montanari,Ugo:有状态连接器的标准形式(2015)
  20. 容格曼,宋世宗。;Arbab,Farhad:高吞吐量能否弥补编译器生成的协议代码中的高延迟?(2015年)ioport公司

更多出版物请访问:http://reo.project.cwi.nl/reo/wiki/Publications