Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language


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.

In Proc. 11th Intl. School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2011). LNCS 6659. © Springer 2011.
Rudolf Schlatte
Rudolf Schlatte
Senior researcher