急流

Rapide:通过事件的偏序模拟分布式系统的语言和工具集Rapide语言工作的重点是开发一种新的技术来构建大规模的、分布式的多语言系统。这项技术基于新一代的计算机语言,称为可执行体系结构定义语言(EADLs),以及一个创新的工具集,支持EADLs在大规模系统的进化开发和严格分析中的使用。急流旨在通过使用体系结构定义作为开发框架来支持大型、多语言系统的基于组件的开发。急流采用了一种新的分布式、时间敏感系统的基于事件的执行模型——“时间偏序集模型”。偏序集为构建早期生命周期原型工具提供了迄今为止最详细的形式化基础,为分布式时间敏感系统的正确性和性能分析提供了后期生命周期工具。


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

显示第38至第1个结果。
按年份排序(引用)
  1. Marmsoler,Diego;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019)
  2. Marmsoler,Diego;Gleirscher,Mario:使用配置跟踪指定动态架构的属性(2016)
  3. Alessandro Aldini;Marco Bernardo;Corradini,Flavio:软件架构设计的过程代数方法(2010)
  4. Desel,Jörg;Merceron,Agat:抽象系统需求的邻近同态(2010)
  5. Broy,Manfred:(嵌入式)软件密集型系统的模型驱动架构中心工程:建模理论和架构里程碑(2007)ioport公司
  6. Sharafi,Mehran;Shams Aliee,Fereidon;Movaghar,Ali:使用扩展自动机模型指定软件体系结构的综述(2007)
  7. Vanderperren,Wim;Suvée,Davy;De Fraine,Bruno;Jonckers,Viviane:通过侵入性成分适配器在厚壳岩中进行面向方面的成分合成(2007)ioport公司
  8. Baresi,Luciano;Heckel,Reiko;Thöne,Sebastian;Varró,Dániel:面向服务架构的基于样式的建模和精化a graph transformation based approach(2006)ioport公司
  9. 科拉迪尼,弗拉维奥;因弗拉尔迪,保拉;沃尔夫,亚历山大L.:关于功能规范与建筑规范的关系:案例研究(2006)
  10. Dai,Lirong;Cooper,Kendra:安全方面的建模和性能分析(2006)
  11. 林红;杨春生:化学反应隐喻中的分布式多智能体系统(2006)ioport公司
  12. Papadopoulos,George A;Stavrou,Aristos;Papapetrou,Odysseas:基于协调范式的软件体系结构实现框架(2006)
  13. Braccali,Andrea;Brogi,Antonio;Turini,Franco:一个指定和验证开放系统行为的框架(2005)
  14. Cooper,Kendra;Dai,Lirong;Deng,Yi:软件体系结构的性能建模与分析:一种面向方面的UML方法(2005)
  15. Quéma,Vivien;Cecchet,Emmanuel:软件体系结构在配置中间件中的作用:ScalAgent体验(2004)
  16. 人类对太空的探索与发展:使用XML资料库,太空万维网。由可重用组件在分布式系统配置中使用适配器实现的万维网。(2003年)ioport公司
  17. Westfechtel,Bernhard;Conradi,Reidar:软件体系结构和软件配置管理(2003)
  18. Carlos Canal;Pimentel,Ernesto;Troya,JoséM.:软件体系结构中的兼容性和继承(2002)
  19. Eden,Amnon H.;Jahnke,Jens:通过两层编程协调软件进化(2002)
  20. Garlan,David;Cheng,Shangwen;Kompanek,Andrew J.:用对象建模符号协调架构描述的需求(2002)