防抱死制动系统

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


zbMATH中的参考文献(参考文献29条)

显示第1到第20个结果,共29个。
按年份排序(引用)
  1. 艾伯特,艾薇拉;Gómez zamalola,米格尔;伊莎贝尔,米格尔;鲁比奥,阿尔伯特;萨马蒂诺,马特奥;Silva,Alexandra:软件定义网络的基于角色的模型检查(2021)
  2. 艾伯特,艾薇拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;Martin Martin,Enrique:从演员合作调度到Haskell(2020)的正式资源消耗保护翻译
  3. 哈勒,菲利普;Miller,Heather:直接式异步可观测的简化语义(2019)
  4. 卡拉米,法赞;欠你,奥拉夫;Ramezanifarkhani,Toktam:活动物体交互范式的评估(2019)
  5. 拉尼芙,科西莫;连哈特,迈克尔;双关语,kai。;Román-Díez,Guillermo:演员节目的时间分析(2019)
  6. 卡斯特格林,伊利亚斯;沃林,乔尔;Wrigstad,Tobias:赋予和原子:使用隔离、委托和分组的并发编程(2018)
  7. 艾伯特,艾薇拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;Martin Martin,Enrique:演员到Haskell的正式、资源消耗保护翻译(2017)
  8. 艾伯特,艾薇拉;弗洛雷斯·蒙托亚,安东尼奥;杰纳姆,萨米尔;Martin Martin,Enrique:并行交织循环的信赖保证终止和成本分析(2017)
  9. 阿默尔·鲍利法,右。;里约热内卢。;奥兰基纳。;马德兰,E。;Savu,A.:异步组件的行为语义(2017)
  10. 阿扎德巴赫特,凯万;贝齐尔吉安尼斯,尼古拉斯;de Boer,Frank S.:ABS中基于优先附件的分布式网络生成(2017)
  11. 布雷维蒂,马里奥;贾奇诺,埃琳娜;连哈特,迈克尔;Wong,Peter Y.H.:并发对象组的动态重新绑定:理论与实践(2017)
  12. 卢多维奇亨利奥;Justine Rochas:《多活动物体及其应用》(2017)
  13. 欠你,奥拉夫;Charlie McDowell:关于在异步通信并发对象系统中检测过度渴望并发(2017)
  14. 艾伯特,艾薇拉;弗洛雷斯·蒙托亚,安东尼奥;杰纳姆,萨米尔;Martin Martin,Enrique:基于actor的并发并行分析可能会发生(2016)
  15. 贝齐尔吉安尼斯,尼古拉斯;de Boer,Frank:ABS:云感知编程的高级建模语言(2016)ioport公司
  16. 库尼亚,伊勒姆W。;Poetzsch Heffter,Arnd:使用动态I/O自动机建模参与者系统(2016)
  17. 扎纳迪尼,达米亚诺;艾伯特,艾薇拉;Villela,Karina:软件产品线中的资源使用感知配置(2016)
  18. 艾伯特,艾薇拉;科雷亚斯,杰斯;普埃布拉,格尔曼;Román-Díez,Guillermo:分布式系统的量化抽象配置(2015)
  19. 艾伯特,艾薇拉;科雷亚斯,杰斯;普埃布拉,格尔曼;Román-Díez,Guillermo:多域增量分析引擎及其在增量资源分析中的应用(2015)
  20. 阿扎德巴赫特,凯万;塞尔维亚语,弗拉德;de Boer,Frank:使用并行数据处理单元的高性能计算应用(2015)ioport公司

更多出版物请访问:https://abs-models.org/publications/