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
1 CSE - Department of Computer Science and Engineering [Göteborg]
2 CWI - Centrum Wiskunde & Informatica
3 Department of Informatics [Oslo]
4 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
5 DISI - Department of Computer Science and Engineering [Bologna]
6 DISI - Dipartimento di Scienze dell'Informazione [Bologna]
7 ISF - Institute of Software Engineering and Automotive Informatics
8 Fredhopper BV
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.
Type de document :
Communication dans un congrès
Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue. FMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. Springer Berlin / Heidelberg, 7542, pp.165--185, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-35887-6_6〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00909383
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 11:08:27
Dernière modification le : samedi 27 janvier 2018 - 01:31:47

Lien texte intégral

openaccess

Identifiants

Collections

INRIA

Citation

Reiner Hähnle, Michiel Helvenstijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, et al.. HATS Abstract Behavioral Specification: The Architectural View. Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue. FMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. Springer Berlin / Heidelberg, 7542, pp.165--185, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-35887-6_6〉. 〈hal-00909383〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

143

Contact


archive-ouverte@inria.fr