防抱死制动系统

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