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.


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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 6659 417-457


Informations- och kommunikationsteknik



Datavetenskap (datalogi)





Mer information

Senast uppdaterat