Documentation

ABS Language Manual

Here you can browse the ABS documentation, including the language reference, and how to compile an ABS model into Maude, Erlang, or Haskell.

The language reference is the authoritative guide to what constitutes a legal ABS model, how to specify a Software Product Line, and how to use annotations to model time and resources.

Many examples will help you to get started with YOUR first ABS model!

Examples

This section contains examples of ABS models.