Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Paper in 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. Amsterdam

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Einar Broch Johnsen

University of Oslo

Ina Schaefer

Technische Universität Braunschweig

Jan Schäfer

Technische Universität Kaiserslautern

Rudi Schlatte

University of Oslo

Peter Wong

Fredhopper B.V. Amsterdam

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
978-364221454-7 (ISBN)

Areas of Advance

Information and Communication Technology

Subject Categories

Software Engineering

Computer Science





More information

Latest update