| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
HATS Abstract Behavioral Specification: The Architectural View
Reiner Hähnle
1
Michiel Helvenstijn
2
Einar Broch Johnsen
3
Michael Lienhardt
4, 5
Davide Sangiorgi
4, 6
Ina Schaefer
7
Peter Wong
8
4
FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Reiner Hähnle 1
Author
Michiel Helvenstijn 2
Author
Einar Broch Johnsen 3
Author
Michael Lienhardt 4, 5
Author Employer institution : Université Paris Diderot - Paris 7
Davide Sangiorgi 4, 6
Mail : Site :
Author
Ina Schaefer 7
Mail :
Author Employer institution : Technische Universität Braunschweig [Braunschweig]
Peter Wong 8
Author
1
CSE - Department of Computer Science and Engineering [Göteborg] (Chalmers University of Technology Department of Computer Science and Engineering SE-412 96 Göteborg Sweden - Sweden)
- Chalmers University of Technology [Göteborg] (SE-412 96 Göteborg - Sweden)
2
CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)
3
Department of Informatics [Oslo] (Informatikkbygget Gaustadalléen 23 N-0371 Oslo Norway - Norway)
- Faculty of Mathematics and Natural Sciences [Oslo] (Fysikkbygningen Ost, Sem Saelands vei 24, 0371 OSLO - Norway)
- UiO - University of Oslo (P.O 1072 Blindern 0316 Oslo - Norway)
4
FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)
Universita' di Bologna
Mura Anteo Zamboni, 7
40126 Bologna
ITALY - Italy)
- CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (http://www.informatica.unibo.it/it - Italy)
- UNIBO - Università di Bologna [Bologna] (Via Zamboni, 33 - 40126 Bologna - Italy)
5
DISI - Department of Computer Science and Engineering [Bologna] (Università di Bologna Dipartimento di Informatica - Scienza e Ingegneria Mura Anteo Zamboni, 7 40126 Bologna Italiy - Italy)
- UNIBO - Università di Bologna [Bologna] (Via Zamboni, 33 - 40126 Bologna - Italy)
6
DISI - Dipartimento di Scienze dell'Informazione [Bologna] (Mura Anteo Zamboni, 7 40127 Bologna - ITALY - Italy)
- UNIBO - Università di Bologna [Bologna] (Via Zamboni, 33 - 40126 Bologna - Italy)
7
ISF - Institute of Software Engineering and Automotive Informatics (Mühlenpfordtstr. 23, 3. OG D-38106 Braunschweig - Germany)
- Technische Universität Braunschweig [Braunschweig] (38092 Braunschweig - Germany)
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.
Document type :
Conference papers
Domain :
Complete list of metadatas
https://hal.inria.fr/hal-00909383
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 11:08:27 AM
Last modification on : Thursday, June 18, 2020 - 10:18:03 AM
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 11:08:27 AM
Last modification on : Thursday, June 18, 2020 - 10:18:03 AM
Links full text
Identifiers
- HAL Id : hal-00909383, version 1
- DOI : 10.1007/978-3-642-35887-6_6
Collections
Citation
Reiner Hähnle, Michiel Helvenstijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, et al.. HATS Abstract Behavioral Specification: The Architectural View. FMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. pp.165--185, ⟨10.1007/978-3-642-35887-6_6⟩. ⟨hal-00909383⟩
Metrics
Record views