@conference{Reiner Hähnle2013, author = "Reiner H{\"a}hnle,Michiel Helvensteijn,Einar Broch Johnsen,Michael Lienhardt,Davide Sangiorgi,Ina Schaefer,Peter Wong", 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.", booktitle = "Formal Methods for Components and Objects", doi = "10.1007/978-3-642-35887-6_6", editor = "Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue", isbn = "978-3-642-35886-9", issn = "0302-9743", keywords = "software modeling, software architecture, software components", note = "10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers", pages = "109-132", publisher = "Springer Berlin Heidelberg", series = "Lecture Notes in Computer Science", title = "{HATS} {A}bstract {B}ehavioral {S}pecification: {T}he {A}rchitectural {V}iew", url = "http://link.springer.com/chapter/10.1007%2F978-3-642-35887-6_6", volume = "7542", year = "2013", }