Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Paper i proceeding, 2011

The Abstract Behavioral Specification (ABS) language facilitates to precisely model the behavior of highly configurable, distributed systems. Its basis is Core ABS which is a strongly typed, abstract, object-based, concurrent, fully executable modeling language. Spatial variability of ABS models is represented by feature models, delta modules containing modifications of ABS models, product line configurations linking delta modules with product features and product selections specifying actual product instances. Temporal variability is captured by dynamic delta modules that can be applied to perform runtime updates. The feasibility of ABS is demonstrated by modeling an industrial-scale web merchandising system.

Författare

D. Clarke

KU Leuven

Nikolay Diakov

Fredhopper B.V.

Reiner Hähnle

Chalmers, Data- och informationsteknik, Programvaruteknik

Einar Broch Johnsen

Universitetet i Oslo

Ina Schaefer

Technische Universität Braunschweig

Jan Schäfer

Technische Universität Kaiserslautern

Rudi Schlatte

Universitetet i Oslo

Peter Wong

Fredhopper B.V.

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 6659 417-457

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

DOI

10.1007/978-3-642-21455-4_13

ISBN

978-364221454-7