Abstract. The Abstract Behavioral Specification (ABS) language is a formal, executable, object-oriented, concurrent modeling language intended for behavioral modeling of complex software systems that exhibit a high degree of variation, such as software product lines. We give an overview of the architectural aspects of ABS: a feature-driven development workflow, a formal notion of deployment components for specifying environmental constraints, and a dynamic component model that is integrated into the language. We employ an industrial case study to demonstrate how the various aspects work together in practice.
ABS REF is a formal executable component modeling language supported by a deductive verification system Key-ABS.
HATS Abstract Behavioral Specification: The Architectural View ⋆
FMCO
Computer Science