HATS Abstract Behavioral Specification: The Architectural View


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.

In Proc. 10th Intl. Symposium on Formal Methods for Components and Objects (FMCO 2011). LNCS 7542. © Springer 2013.