Formal Methods for Components and Objects pp 109-132

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7542) | Cite as

HATS Abstract Behavioral Specification: The Architectural View

  • Reiner Hähnle
  • Michiel Helvensteijn
  • Einar Broch Johnsen
  • Michael Lienhardt
  • Davide Sangiorgi
  • Ina Schaefer
  • Peter Y. H. Wong

Abstract

The Abstract Behavioral Specification (ABS) language is a formal, executable, object-oriented, concurrent modeling language intended for behavioral modeling of complex software systems that exhibit a high degree of variation, such as software product lines. We give an overview of the architectural aspects of ABS: a feature-driven development workflow, a formal notion of deployment components for specifying environmental constraints, and a dynamic component model that is integrated into the language. We employ an industrial case study to demonstrate how the various aspects work together in practice.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.: COSTABS: a cost and termination analyzer for ABS. In: Kiselyov, O., Thompson, S. (eds.) Proc. Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), pp. 151–154. ACM (2012)Google Scholar
  2. 2.
    Albert, E., Genaim, S., Gómez-Zamalloa, M., Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Simulating Concurrent Behaviors with Worst-Case Cost Bounds. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 353–368. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  3. 3.
    Batory, D.S., Sarvela, J.N., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE Trans. Software Eng. 30(6) (2004)Google Scholar
  4. 4.
    Bjørk, J., de Boer, F.S., Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: User-defined schedulers for real-time concurrent objects. Innovations in Systems and Software Engineering (to appear, 2012), http://dx.doi.org/10.1007/s11334-012-0184-5
  5. 5.
    Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B.: The Fractal Component Model and its Support in Java. Software - Practice and Experience 36(11-12) (2006)Google Scholar
  6. 6.
    Castagna, G., Vitek, J., Nardelli, F.Z.: The Seal calculus. Inf. Comput. 201(1) (2005)Google Scholar
  7. 7.
    Clarke, D., Diakov, N., Hähnle, R., Johnsen, E.B., Schaefer, I., Schäfer, J., Schlatte, R., Wong, P.Y.H.: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 417–457. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  8. 8.
    Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract Delta Modeling. In: Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, pp. 13–22. ACM, New York (2010)CrossRefGoogle Scholar
  9. 9.
    Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. Accepted to Special Issue of MSCS (to appear)Google Scholar
  10. 10.
    Evaluation of Core Framework. Deliverable 5.2 of project FP7-231620 (HATS) (August 2010), http://www.hats-project.eu
  11. 11.
    Report on the Core ABS Language and Methodology: Part A. Part of Deliverable 1.1 of project FP7-231620 (HATS) (March 2010), http://www.hats-project.eu
  12. 12.
    Full ABS Modeling Framework. Deliverable 1.2 of project FP7-231620 (HATS) (March 2011), http://www.hats-project.eu
  13. 13.
    A configurable deployment architecture. Deliverable 2.1 of project FP7-231620 (HATS) (February 2012), http://www.hats-project.eu
  14. 14.
    Debugging, visualization, and test generation. Deliverable 2.3 of project FP7-231620 (HATS) (March 2012), http://www.hats-project.eu
  15. 15.
    Evaluation of Modeling. Deliverable 5.3 of project FP7-231620 (HATS) (March 2012), http://www.hats-project.eu
  16. 16.
    Helvensteijn, M.: Delta Modeling Workflow. In: Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems, Leipzig, Germany, January 25-27. ACM International Conference Proceedings Series. ACM (2012)Google Scholar
  17. 17.
    Helvensteijn, M., Muschevici, R., Wong, P.: Delta Modeling in Practice, a Fredhopper Case Study. In: Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems, Leipzig, Germany, January 25-27. ACM International Conference Proceedings Series. ACM (2012)Google Scholar
  18. 18.
    Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.: ABS: A Core Language for Abstract Behavioral Specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142–164. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  19. 19.
    Johnsen, E.B., Owe, O., Schlatte, R., Tapia Tarifa, S.L.: Dynamic Resource Reallocation between Deployment Components. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 646–661. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  20. 20.
    Johnsen, E.B., Owe, O., Schlatte, R., Tapia Tarifa, S.L.: Validating Timed Models of Deployment Components with Parametric Concurrency. In: Beckert, B., Marché, C. (eds.) FoVeOOS 2010. LNCS, vol. 6528, pp. 46–60. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  21. 21.
    Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. In: Arbab, F., Ölveczky, P. (eds.) FACS 2011. LNCS, vol. 7253, pp. 187–204. Springer, Heidelberg (2012)Google Scholar
  22. 22.
    Kang, K., Lee, J., Donohoe, P.: Feature-Oriented Project Line Engineering. IEEE Software 19(4) (2002)Google Scholar
  23. 23.
    Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer 1(1-2), 134–152 (1997)CrossRefMATHGoogle Scholar
  24. 24.
    Lenglet, S., Schmitt, A., Stefani, J.-B.: Howe’s Method for Calculi with Passivation. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 448–462. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  25. 25.
    Levi, F., Sangiorgi, D.: Mobile safe ambients. ACM. Trans. Prog. Languages and Systems 25(1) (2003)Google Scholar
  26. 26.
    Lienhardt, M., Lanese, I., Bravetti, M., Sangiorgi, D., Zavattaro, G., Welsch, Y., Schäfer, J., Poetzsch-Heffter, A.: A Component Model for the ABS Language. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 165–183. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  27. 27.
    Lienhardt, M., Schmitt, A., Stefani, J.-B.: Oz/k: A kernel language for component-based open programming. In: GPCE 2007: Proceedings of the 6th International Conference on Generative Programming and Component Engineering, pp. 43–52. ACM, New York (2007)Google Scholar
  28. 28.
    Montesi, F., Sangiorgi, D.: A Model of Evolvable Components. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol. 6084, pp. 153–171. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  29. 29.
    Morris, R., Kohler, E., Jannotti, J., Kaashoek, M.F.: The Click Modular Router. In: ACM Symposium on Operating Systems Principles (1999)Google Scholar
  30. 30.
    OSGi Alliance. Osgi Service Platform, Release 3 (2003)Google Scholar
  31. 31.
    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
  32. 32.
    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
  33. 33.
    Schaefer, I., Damiani, F.: Pure Delta-oriented Programming. In: Apel, S., Batory, D., Czarnecki, K., Heidenreich, F., Kästner, C., Nierstrasz, O. (eds.) Proc. 2nd International Workshop on Feature-Oriented Software Development (FOSD 2010), Eindhoven, The Netherlands, pp. 49–56. ACM Press (2010)Google Scholar
  34. 34.
    Schmitt, A., Stefani, J.-B.: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146–178. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  35. 35.
    Wong, P.Y.H., Diakov, N., Schaefer, I.: Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. In: Beckert, B., Damiani, F., Gurov, D. (eds.) FoVeOOS 2011. LNCS, vol. 7421, pp. 49–66. Springer, Heidelberg (2012)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Reiner Hähnle
    • 1
  • Michiel Helvensteijn
    • 2
  • Einar Broch Johnsen
    • 3
  • Michael Lienhardt
    • 4
  • Davide Sangiorgi
    • 4
  • Ina Schaefer
    • 5
  • Peter Y. H. Wong
    • 6
  1. 1.Dept. of Computer ScienceTU DarmstadtGermany
  2. 2.CWI AmsterdamThe Netherlands
  3. 3.Dept. of InformaticsUniv. of OsloNorway
  4. 4.Dept. of Computer ScienceUniv. of BolognaItaly
  5. 5.Dept. of Computer ScienceTU BraunschweigGermany
  6. 6.Fredhopper B.VAmsterdamThe Netherlands

Personalised recommendations