ABS modeling language standard library of data structures
The ABS language (``abstract behavioral specification language'')
is an executable, high-level, object-oriented concurrent modelling language
being developed within the European project Hats. The intended
target area of the language is the modelling and analysis of evolving,
updatable, and long-lived systems. In collaboratation with various European
partners, the PMA group is developing a ``language infrastructure''
(compiler, Eclipse front-end, various back-ends...).
The language, as mentioned, is (being equipped) with different
back-ends, i.e., different concretizations on how it will be
executed or simulated. For students interested in the mathematical
background of computing, we can offer assistance in implementing a
translation from Abs to labeled transition systems. This would enable
abstractions of Abs models to be model-checked and analysed using
existing tools that work on labeled transition systems.