HATS Abstract Behavioral Specification: The Architectural View - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

HATS Abstract Behavioral Specification: The Architectural View

(1) , (2) , (3) , (4, 5) , (4, 6) , (7) , (8)
1
2
3
4
5
6
7
8

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.

Dates and versions

hal-00909383 , version 1 (26-11-2013)

Identifiers

Cite

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⟩

Collections

INRIA INRIA2
97 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More