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

  • Dave Clarke
  • Nikolay Diakov
  • Reiner Hähnle
  • Einar Broch Johnsen
  • Ina Schaefer
  • Jan Schäfer
  • Rudolf Schlatte
  • Peter Y. H. Wong
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6659)


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.


Product Line Core Module Software Product Line Replication System Product Selection 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Paech, B., Wüst, J., Zettel, J.: Component-based product line engineering with UML. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)CrossRefGoogle Scholar
  2. 2.
    Batory, D., Sarvela, J., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE Trans. Software Eng. 30(6) (2004)Google Scholar
  3. 3.
    Beck, K.: Extreme Programming. Addison-Wesley, Reading (1999)CrossRefGoogle Scholar
  4. 4.
    de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 316–330. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Boucher, Q., Classen, A., Faber, P., Heymans, P.: Introducing TVL, a text-based feature modelling language. In: Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010), Linz, Austria, January 27-29, pp. 159–162. University of Duisburg-Essen (2010),
  6. 6.
    Classen, A., Boucher, Q., Heymans, P.: A text-based approach to feature modelling: Syntax and semantics of TVL. Science of Computer Programming (November 2010),
  7. 7.
    Czarnecki, K., Eisenecker, U.: Generative programming. Addison-Wesley, Reading (2000)zbMATHGoogle Scholar
  8. 8.
    Evaluation of Core Framework (August 2010), deliverable 5.2 of project FP7-231620 (HATS),
  9. 9.
    Final Report on Feature Selection and Integration (March 2011), deliverable 2.2b of project FP7-231620 (HATS),
  10. 10.
    Full ABS Modeling Framework (March 2011), deliverable 1.2 of project FP7-231620 (HATS),
  11. 11.
    Fredhopper Access Server,
  12. 12.
    Gomaa, H.: Designing Software Product Lines with UML. Addison Wesley, Reading (2004)Google Scholar
  13. 13.
    Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented Programming. Journal of Object Technology (March/April 2008)Google Scholar
  14. 14.
    Johnsen, E.B., Kyas, M., Yu, I.C.: Dynamic classes: Modular asynchronous evolution of distributed concurrent objects. In: Cavalcanti, A., Dams, D. (eds.) FM 2009. LNCS, vol. 5850, pp. 596–611. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and System Modeling 6(1), 35–58 (2007)CrossRefGoogle Scholar
  16. 16.
    Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J., Irwin, J.: Aspect-oriented programming. In: Liu, Y., Auletta, V. (eds.) ECOOP 1997. LNCS, vol. 1241. Springer, Heidelberg (1997)Google Scholar
  17. 17.
    Medvidovic, N., Taylor, R.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering (2000)Google Scholar
  18. 18.
    Pohl, K., Böckle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)CrossRefzbMATHGoogle Scholar
  19. 19.
    Schaefer, I.: Variability Modelling for Model-Driven Development of Software Product Lines. In: Proc. of 4th Intl. Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010) (2010)Google Scholar
  20. 20.
    Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77–91. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  21. 21.
    Schaefer, I., Bettini, L., Damiani, F.: Compositional Type-Checking for Delta-oriented Programming. In: Intl. Conference on Aspect-oriented Software Development (AOSD 2011) (2011, to appear)Google Scholar
  22. 22.
    Schaefer, I., Damiani, F.: Pure Delta-oriented Programming. In: FOSD 2010 (2010)Google Scholar
  23. 23.
    Schaefer, I., Hähnle, R.: Formal methods in software product line engineering. IEEE Computer 44(2), 82–85 (2011)CrossRefGoogle Scholar
  24. 24.
    Schäfer, J., Poetzsch-Heffter, A.: JCoBox: Generalizing active objects to concurrent components. In: D’Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 275–299. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  25. 25.
    Ziadi, T., Hélouët, L., Jézéquel, J.M.: Towards a UML Profile for Software Product Lines. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 129–139. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Dave Clarke
    • 1
  • Nikolay Diakov
    • 2
  • Reiner Hähnle
    • 3
  • Einar Broch Johnsen
    • 4
  • Ina Schaefer
    • 5
  • Jan Schäfer
    • 6
  • Rudolf Schlatte
    • 4
  • Peter Y. H. Wong
    • 2
  1. 1.Katholieke Universiteit LeuvenBelgium
  2. 2.Fredhopper B.V.AmsterdamThe Netherlands
  3. 3.Chalmers University of TechnologySweden
  4. 4.University of OsloNorway
  5. 5.Technische Universität BraunschweigGermany
  6. 6.Technische Universität KaiserslauternGermany

Personalised recommendations