CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

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

Dave Clarke ; Nikolay Diakov ; Reiner Hähnle (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Einar Broch Johnsen ; Ina Schaefer ; Jan Schäfer ; Rudi Schlatte ; Peter Wong
Lecture Notes in Computer Science. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, 13-18 June 2011 (0302-9743). Vol. 6659 (2011), p. 417-457.
[Konferensbidrag, refereegranskat]

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.



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2011-04-08. Senast ändrad 2012-02-14.
CPL Pubid: 138874

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)