HATS Abstract Behavioral Specification: The Architectural View
| Autor: | Peter Y. H. Wong, Einar Broch Johnsen, Michiel Helvensteijn, Davide Sangiorgi, Michael Lienhardt, Reiner Hähnle, Ina Schaefer |
|---|---|
| Přispěvatelé: | Department of Computer Science and Engineering [Göteborg] (CSE), Chalmers University of Technology [Göteborg], Centrum Wiskunde & Informatica (CWI), Department of Informatics [Oslo], Faculty of Mathematics and Natural Sciences [Oslo], University of Oslo (UiO)-University of Oslo (UiO), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Department of Computer Science and Engineering [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Dipartimento di Scienze dell'Informazione [Bologna] (DISI), Institute of Software Engineering and Automotive Informatics (ISF), Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig], Fredhopper BV, Fredhopper, Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue, Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong |
| Jazyk: | angličtina |
| Rok vydání: | 2011 |
| Předmět: |
business.industry
Computer science Modeling language Real-time computing [SCCO.COMP]Cognitive science/Computer science 020207 software engineering 02 engineering and technology Specification language computer.file_format Behavioral modeling Software specification Software deployment Component (UML) component 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Software system Executable Software engineering business Software product line computer object |
| Zdroj: | FMCO-Formal Methods for Components and Objects-2011 FMCO-Formal Methods for Components and Objects-2011, Oct 2011, Turin, Italy. pp.165--185, ⟨10.1007/978-3-642-35887-6_6⟩ Formal Methods for Components and Objects ISBN: 9783642358869 FMCO |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|