HATS Abstract Behavioral Specification: The Architectural View

Research areas: Year: 2013
Type of Publication: In Proceedings Keywords: software modeling, software architecture, software components
Authors:
  • Reiner Hähnle, Einar Broch Johnsen Michiel Helvensteijn
Editor: Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue Volume: 7542
Book title: Formal Methods for Components and Objects
Series: Lecture Notes in Computer Science Pages: 109-132
ISBN: 978-3-642-35886-9 ISSN: 0302-9743
BibTex:
Note:
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
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.