防抱死制动系统

ABS:抽象行为规范的核心语言。本文介绍了一种用于设计分布式面向对象系统可执行模型的抽象行为规范语言ABS。该语言将并发对象组的高级并发和同步机制与用于数据建模的函数式语言相结合。ABS使用异步方法调用、封装接口和并发对象内部方法激活的协同调度。这种特性组合产生了一个并发的面向对象模型,该模型本质上是组合的。本文讨论了ABS的核心设计问题,并对具有ABS主要特征的微积分Core-ABS的类型系统和语义进行了形式化描述。对于核心ABS,我们证明了一个subject-reduction属性,它表明在执行过程中保持了良好的类型性;特别是对于类型良好的ABS模型,在运行时不会出现“method not understand”错误。最后,我们简要讨论了为ABS开发的工具支持。


zbMATH参考文献(参考 26篇文章 引用)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. Haller,Philipp;Miller,Heather:A reduction semantics for direct style asynchronous observables(2019年)
  2. Karami,Farzane;Owe,Olaf;Ramezanifarkhani,Toktam:活动物体交互范式的评估(2019)
  3. 科西莫·拉尼芙;迈克尔·莱恩哈特;卡伊·普恩;吉列尔莫·罗曼·德伊斯:演员节目的时间分析(2019年)
  4. Castegren,Elias;Wallin,Joel;Wrigstad,Tobias:Grave和atomic:使用隔离、委托和分组的并发编程(2018)
  5. 阿尔伯特,埃尔维拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;马丁马丁马丁,恩里克:从演员到哈斯凯尔的正式、资源消耗保护翻译(2017)
  6. Albert,Elvira;Flores Montoya,Antonio;Genaim,Samir;Martin Martin,Enrique:具有并行交错的循环的信赖保证终止和成本分析(2017)
  7. Ameur Boulifa,R.;Henrio,L.;Kulankhina,O.;Madelaine,E.;Savu,A.:异步组件的行为语义(2017)
  8. Azadbakht,Keyvan;Bezirgiannis,Nikolaos;de Boer,Frank S.:ABS中基于优先附件的分布式网络生成(2017)
  9. Mario Bravetti;Elena Giachino;Michael Lienhardt;Wong,Peter Y.H.:并发对象组的动态重新绑定:理论与实践(2017)
  10. Henrio,Ludovic;Rochas,Justine:多活性物体及其应用(2017)
  11. Owe,Olaf;McDowell,Charlie:关于在异步通信并发对象系统中检测过度渴望并发(2017)
  12. Albert,Elvira;Flores Montoya,Antonio;Genaim,Samir;Martin Martin,Enrique:基于角色的并发性的并行分析中可能发生(2016)
  13. Bezirgiannis,Nikolaos;de Boer,Frank:ABS:云感知编程的高级建模语言(2016)ioport公司
  14. Kurnia,Ilham W.;Poetzsch Heffter,Arnd:使用动态I/O自动机建模参与者系统(2016)
  15. Albert Zania,产品配置;Elbert Zania,2016年产品配置
  16. Albert,Elvira;Correas,Jesús;Puebla,Germanán;Román-Díez,Guillermo:多域增量分析引擎及其在增量资源分析中的应用(2015)
  17. Albert,Elvira;Correas,Jesús;Puebla,Germanán;Román-Díez,Guillermo:分布式系统的量化抽象配置(2015)
  18. Azadbakht,Keyvan;Serbanescu,Vlad;de Boer,Frank:使用并行数据处理单元的高性能计算应用(2015)ioport公司
  19. Bubel,Richard;Din,Crystal Chang;Hähnle,Reiner;Nakata,Keiko:一种带有痕迹和创造的动态逻辑(2015)
  20. Din,Crystal Chang;Bubel,Richard;Hähnle,Reiner:Key ABS:并发建模语言ABS的演绎验证工具(2015)