歧管

控制驱动协调语言的转换系统语义流形协调语言是一类新的并行程序设计语言,用于管理并发程序之间的交互。基本上,协调是通过操纵所有活动进程之间共享的数据值来实现的,或者通过动态地改变进程之间的互连来实现的,这些进程是通过观察它们的状态变化来实现的。后者,也称为控制驱动协调,由流形支持。基于两级转换系统模型,我们给出了流形核的形式语义:第一级用来描述流形系统中每个组件的理想行为,而第二级用来描述它们之间的交互作用。虽然我们在本文中使用我们的两层模型来定义面向控制的协调语言的语义,但是这种方法对于其他协调模型和语言的形式化研究也是有用的。


zbMATH中的参考文献(参考 30篇文章,1标准件)

显示第20到第30个结果。
按年份排序(引用)
  1. Dave Sangella模型;Dave Sangella模型
  2. Silva,Alexandra:Reo连接器规范语言(2012)
  3. Busi,Nadia;Zavattaro,Gianluigi:共享数据空间协调的过程代数视图(2008)
  4. Díaz,Manuel;Rubio,Bartolomé;Troya,JoséM.:基于元组通道的并行和分布式编程协调模型(2007)
  5. Busi,Nadia;Zavattaro,Gianluigi:过程代数协调观(2006)ioport公司
  6. Linden,I.;Jacquet,J.-M.;De Bosschere,K.;Brogi,A.:关于时间协调模型的表现力(2006)
  7. Omicini,Andrea;Ricci,Alessandro;Viroli,Mirko:正式规范和制定协调和安全策略的代理协调上下文(2006)
  8. Arbab,Farhad:《抽象行为类型:组件及其组合的基础模型》(2005)
  9. Braccali,Andrea;Brogi,Antonio;Turini,Franco:一个指定和验证开放系统行为的框架(2005)
  10. Campa,Sonia:正交数据和控制并行处理的形式化框架(2005)
  11. Pattinson,Dirk;Wirsing,Martin:移动组件的协调方法(2005)
  12. Arbab,Farhad:Reo:基于通道的组件组合协调模型(2004)
  13. 林登,I.;雅克,J.-M.:关于绝对时间协调语言的表现力(2004)
  14. Bonsangue,Marcello M.;Kok,Joost N.;Zavattaro,Gianluigi:使用嵌入比较协调模型和架构(2003)
  15. 莫兰,安德鲁;桑兹,大卫;卡尔森,马格努斯:《不稳定的谎言:嵌入式协调语言的语义理论》(2003)
  16. Braccali,Andrea;Brogi,Antonio;Canal,Carlos:动态调整软件组件的行为(2002)
  17. Browne,James C.;Kane,Kevin;Tian,Hongxia:一种基于广播的分布式进程关联协调模型(2002)
  18. Groenewegen,Luuk;de Vink,Erik:范式中协调的操作语义(2002)
  19. Viroli,Mirko;Omicini,Andrea:观察框架中基于元组的模型(2002)
  20. 舒马赫:多智能体系统工程中的目标协调。设计与实施(2001)