急流

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


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

显示结果1到20,共38个。
按年份排序(引用)
  1. 马姆索勒,迭戈;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019)
  2. 马姆索勒,迭戈;Gleirscher,Mario:使用配置跟踪指定动态架构的属性(2016)
  3. 阿尔迪尼,亚历山德罗;伯纳多,马可;Corradini,Flavio:软件架构设计的过程代数方法(2010)
  4. 德塞尔,约格;Merceron,agat:抽象系统需求的近似同态(2010)
  5. Broy,Manfred:(嵌入式)软件密集型系统的模型驱动架构中心工程:建模理论和架构里程碑(2007)ioport公司
  6. 莎拉菲,梅兰;Shams Aliee,费雷东;Movaghar,Ali:使用基于扩展自动机的模型指定软件架构的评论(2007)
  7. 维姆范德佩伦;越野车,戴维;德弗雷恩,布鲁诺;Jonckers,Viviane:通过侵入性合成适配器在厚壳岩中进行面向方面的组件合成(2007)ioport公司
  8. 巴雷西,卢西亚诺;海克尔,灵子;瑟恩,塞巴斯蒂安;Varró,Dániel:面向服务架构的基于样式的建模和精化a graph transformation based approach(2006)ioport公司
  9. 弗拉维奥,科拉迪尼;因韦拉尔迪,保拉;Wolf,Alexander L.:关于功能规范与架构规范的关联:案例研究(2006)
  10. 戴立荣;Cooper,Kendra:安全方面的建模和性能分析(2006)
  11. 林红;杨春生:化学反应隐喻中的分布式多智能体系统(2006)ioport公司
  12. 帕帕佐普洛斯,乔治A。;亚里士多德;Papapetrou,Odyseas:基于协调范式的软件架构实现框架(2006)
  13. 布拉切利,安德里亚;布罗基,安东尼奥;图里尼,佛朗哥:一个规范和验证开放系统行为的框架(2005)
  14. 库珀,肯德拉;戴立荣;邓毅:软件体系结构的性能建模与分析:一种面向方面的UML方法(2005)
  15. 奎玛,薇薇安;Cecchet,Emmanuel:软件体系结构在配置中间件中的作用:ScalAgent经验(2004)
  16. 人类对太空的探索与发展:使用XML资料库,太空万维网。由可重用组件在分布式系统配置中使用适配器实现的万维网。(2003年)ioport公司
  17. 韦斯特费切特尔,伯恩哈德;Conradi,Reidar:软件体系结构和软件配置管理(2003)
  18. 卡纳尔,卡洛斯;皮门特尔,埃内斯托;Troya,JoséM.:软件体系结构中的兼容性和继承(2002)
  19. 艾登,安农H。;Jahnke,Jens:通过两层编程协调软件进化(2002)
  20. 加兰,大卫;程尚文;Kompanek,Andrew J.:用对象建模符号协调架构描述的需求(2002)