ABS语言

ABS是一种抽象行为规范语言，它结合了具有可验证性的实现级规范，具有可执行性和具有实用性的形式语义。ABS是一种具有功能特性的并发、面向对象的建模语言数据类型。

ABS旨在使用面向对象的程序开发可执行模型流
ABS通过并发对象以分布式和并发系统为目标组和异步方法调用
ABS支持基于面向增量规范的模型可变性
ABS支持基于高级部署模型的部署建模
ABS支持一系列基于形式语义学研究