| Abstract |
The HATS project develops a formal method for the design, analysis,
and implementation of highly adaptable software systems that
are at the same time characterized by a high demand on
trustworthiness. The core of the method is an object-oriented,
executable modeling language for adaptable, concurrent software
components: the Abstract Behavioral Specification (ABS)
language. Its design goal is to permit formal specification of
concurrent, component-based systems on a level that abstracts away
from implementation details, but retains essential behavioral
properties. ABS also includes language constructs for modeling of feature hierarchies and of software product lines. In the talk, we give a
brief introduction into ABS and we report on the current state of the HATS tool chain. |
