The ABS LanguageΒΆ
ABS is a language for Abstract Behavioral Specification, which combines implementation-level specifications with verifiability, high-level design with executability, and formal semantics with practical usability. ABS is a concurrent, object-oriented, modeling language that features functional data-types.
ABS is designed to develop executable models with an object-oriented program flow
ABS targets distributed and concurrent systems by means of concurrent object groups and asynchronous method calls
ABS supports model variability based on delta-oriented specifications
ABS supports deployment modelling based on high-level deployment models
ABS supports a range of techniques for model exploration and analysis, based on formal semantics
- Overview
- Getting started
- Examples
- ABS language manual
- Introduction
- Lexical structure
- Types
- Expressions
- Literals
- Template strings
- Operator expressions
- Let
- Data constructor expressions
- Function calls
- Partially-defined-function calls
- Conditional expressions
- Case
- Type-check expressions
- Type-cast expressions
- New
- Synchronous method calls
- Asynchronous method calls
- Get
- Await (expression)
- Destiny (expression)
- Function definitions
- Statements
- Interfaces
- Classes
- Traits
- Modules
- The standard library
- The model API
- Semantic lifting
- Timed ABS
- Deployment and resource modeling
- User-defined schedulers
- Software product line engineering
- ABS backends
- Glossary
- Publications and workshops
- Contact
- Acknowledgments
