From Helena Ensemble Specifications to Executable Code

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8997)

Abstract

The Helena approach [5] provides a modeling technique for distributed systems where components dynamically collaborate in ensembles. Models of such systems are formalized with ensemble specifications. They can be implemented using the jHelena framework [6]. In this paper, we present a domain-specific language for ensemble specifications and provide an Eclipse plug-in featuring an editor and an automatic code generator for translating ensemble specifications into executable code.

References

  1. 1.
    The ASCENS Project (2014). http://www.ascens-ist.eu
  2. 2.
    Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo: an ensemble-based component system. In: Proceedings of 16th International Symposium on Component-Based Software Engineering, pp. 81–90. ACM (2013)Google Scholar
  3. 3.
    De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25–48. Springer, Heidelberg (2012)Google Scholar
  4. 4.
    De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: SCEL: a language for autonomic computing. Technical report, IMT, Institute for Advanced Studies Lucca, Italy (2013)Google Scholar
  5. 5.
    Hennicker, R., Klarl, A.: Foundations for ensemble modeling – the Helena approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 359–381. Springer, Heidelberg (2014)Google Scholar
  6. 6.
    Klarl, A., Hennicker, R.: Design and implementation of dynamically evolving ensembles with the Helena framework. In: Proceedings of the 23rd Australasian Software Engineering Conference, pp. 15–24. IEEE (2014)Google Scholar
  7. 7.
    Klarl, A., Hennicker, R.: The Helena Framework (2014). http://www.pst.ifi.lmu.de/Personen/team/klarl/helena
  8. 8.
    Klarl, A., Mayer, P., Hennicker, R.: Helena@Work: modeling the science cloud platform. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 99–116. Springer, Heidelberg (2014)Google Scholar
  9. 9.
    Wirsing, M., Hölzl, M., Tribastone, M., Zambonelli, F.: ASCENS: engineering autonomic service-component ensembles. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1–24. Springer, Heidelberg (2012)Google Scholar
  10. 10.
    Yoshida, N., Hu, R., Neykova, R., Ng, N.: The scribble protocol language. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, pp. 22–41. Springer, Heidelberg (2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Annabelle Klarl
    • 1
  • Lucia Cichella
    • 1
  • Rolf Hennicker
    • 1
  1. 1.Ludwig-Maximilians-Universität MünchenMunichGermany

Personalised recommendations