雷奥

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


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

显示第1到第20个结果,共81个。
按年份排序(引用)
  1. Martín,Óscar;Verdejo,Alberto;MartíOliet,Narcisco:重写逻辑中的组合规范(2020)
  2. Marmsoler,Diego;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019)
  3. Reisig,Wolfgang:具有双面接口的组件的关联组合(2019)
  4. 布雷索林,戴维德;拉内塞,伊万:最一般的财产保护更新(2017年)
  5. Dokter,Kasper;Jongmans,Sung Shik;Arbab,Farhad;Bliudze,Simon:《联合与征服:关联BIP和Reo》(2017)
  6. Evrard,Hugues;Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017)
  7. 保罗•阿蒂;爱德华德•巴拉诺夫;西蒙•布鲁兹;穆罕默德•贾伯;约瑟夫•斯法基斯:建筑可组合性的一般框架(2016)
  8. Cassel,Sofia;Howar,Falk;Jonsson,Bengt;Steffen,Bernhard:扩展有限状态机的主动学习(2016)
  9. Jongmans,Sung Shik T.Q.;Arbab,Farhad:约束自动机的数据优化(2016)
  10. Oliveira,Marcel V.M.;Antonino,P.;Ramos,R.;Sampaio,A.;Mota,A.;Roscoe,A.W.:使用组件元数据和模式严格开发基于组件的系统(2016年)
  11. Aceo,Luca;Goriac,Eugen Ioan;Ingolfsdottir,Anna:Linda无状态双相似性的基本公理化(2015)
  12. Bruni,Roberto;Melgratti,Hernán;Montanari,Ugo:状态连接器的标准形式(2015)
  13. Jongmans,Sung Shik T.Q.;Arbab,Farhad:高吞吐量能否弥补编译器生成的协议代码中的高延迟?(2015年)ioport公司
  14. Klein,Joachim;Baier,Christel;Klüppelholz,Sascha:大多数通用控制器的组成结构(2015)
  15. Sifakis,Joseph;Bensalem,Saddek;Bliudze,Simon;Bozga,Marius:基于组件设计的理论议程(2015)
  16. Moon,Young Joo;Silva,Alexandra;Krause,Christian;Arbab,Farhad:随机Reo连接器端到端QoS推理的组合模型(2014)
  17. Bruni,Roberto;Melgratti,Hernan;Montanari,Ugo;Sobocinski,Pawel:C/E和P/T网络交互作用的连接器代数(2013)
  18. Borzoo Bonakdarpour;Bozga,Marius;Jaber,Mohamad;Quilbeuf,Jean;Sifakis,Joseph:基于组件模型的自动化分布式实现框架(2012)
  19. Bonsangue,Marcello;Clarke,Dave;Silva,Alexandra:上下文相关组件连接器模型(2012)
  20. Groote,Jan Friso;Kouters,Tim W.D.M.;Osaiweran,Ammar:《避免国家空间爆炸问题的规范指南》(2012年)

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