Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Formal Methods for Components and Objects

FMCO 2011: Formal Methods for Components and Objects pp 1–24Cite as

ASCENS: Engineering Autonomic Service-Component Ensembles

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7542))

Abstract

Today’s developers often face the demanding task of developing software for ensembles: systems with massive numbers of nodes, operating in open and non-deterministic environments with complex interactions, and the need to dynamically adapt to new requirements, technologies or environmental conditions without redeployment and without interruption of the system’s functionality. Conventional development approaches and languages do not provide adequate support for the problems posed by this challenge. The goal of the ASCENS project is to develop a coherent, integrated set of methods and tools to build software for ensembles. To this end we research foundational issues that arise during the development of these kinds of systems, and we build mathematical models that address them. Based on these theories we design a family of languages for engineering ensembles, formal methods that can handle the size, complexity and adaptivity required by ensembles, and software-development methods that provide guidance for developers. In this paper we provide an overview of several research areas of ASCENS: the SOTA approach to ensemble engineering and the underlying formal model called GEM, formal notions of adaptation and awareness, the SCEL language, quantitative analysis of ensembles, and finally software-engineering methods for ensembles.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abeywickrama, D.B., Zambonelli, F.: Model checking goal-oriented requirements for self-adaptive systems. In: Popovic, M., Schätz, B., Voss, S. (eds.) ECBS, pp. 33–42. IEEE (2012)

    Google Scholar 

  2. Bensalem, S., Griesmayer, A., Legay, A., Nguyen, T.H., Peled, D.: Efficient deadlock detection for concurrent systems. In: Singh, S., Jobstmann, B., Kishinevsky, M., Brandt, J. (eds.) MEMOCODE, pp. 119–129. IEEE (2011)

    Google Scholar 

  3. Bruni, R., Corradini, A., Gadducci, F., Lluch-Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, Zisman (eds.) [16], pp. 240–254

    Google Scholar 

  4. De Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng. 24(5), 315–330 (1998)

    Article  Google Scholar 

  5. De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A Language-Based Approach to Autonomic Computing. In: Beckert, B., de Boer, F., Bonsangue, M., Damiani, F. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25–48. Springer, Heidelberg (2012)

    Google Scholar 

  6. Eckhardt, J., Mühlbauer, T., AlTurki, M., Meseguer, J., Wirsing, M.: Stable availability under denial of service attacks through formal patterns. In: de Lara, Zisman (eds.) [16], pp. 78–93

    Google Scholar 

  7. Eclipse Foundation: The Eclipse Open Source Community and Java IDE (2011), http://www.eclipse.org/ (accessed: August 02, 2012)

  8. Falcone, Y., Jaber, M., Nguyen, T.H., Bozga, M., Bensalem, S.: Runtime Verification of Component-Based Systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 204–220. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  9. Fowler, M.: Analysis Patterns: Reusable Object Models. Addison-Wesley Longman, Amsterdam (1996)

    Google Scholar 

  10. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Boston (1995)

    MATH  Google Scholar 

  11. Hillston, J., Tribastone, M., Gilmore, S.: Stochastic process algebras: From individuals to populations. Comput. J. 55(7), 866–881 (2012)

    Article  Google Scholar 

  12. Hölzl, M., Rauschmayer, A., Wirsing, M.: Engineering of Software-Intensive Systems: State of the Art and Research Challenges. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol. 5380, pp. 1–44. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  13. Hölzl, M., Wirsing, M.: Towards a System Model for Ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 241–261. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  14. InterLink Project: Website, http://interlink.ics.forth.gr/central.aspx (accessed: August 02, 2012)

  15. Keeney, R., Raiffa, H.: Decisions with multiple objectives: Preferences and value tradeoffs. J. Wiley, New York (1976)

    MATH  Google Scholar 

  16. de Lara, J., Zisman, A. (eds.): FASE 2012. LNCS, vol. 7212. Springer, Heidelberg (2012)

    Google Scholar 

  17. Mayer, P., Ráth, I.: The Sensoria Development Environment. In: Wirsing, Hölzl (eds.) [22], pp. 622–639

    Google Scholar 

  18. OSGi Alliance: OSGi Specification Release 4 (March 2008), http://www.osgi.org/Specifications/ (accessed: August 02, 2012)

  19. Pinciroli, C., Trianni, V., O’Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Caro, G.D., Ducatelle, F., Stirling, T.S., Gutiérrez, Á., Gambardella, L.M., Dorigo, M.: ARGoS: A modular, multi-engine simulator for heterogeneous swarm robotics. In: IROS, pp. 5027–5034. IEEE (2011)

    Google Scholar 

  20. Russell, S.J., Norvig, P.: Artificial Intelligence - A Modern Approach (3rd internat. edn.). Pearson Education (2010)

    Google Scholar 

  21. Vassev, E., Hinchey, M., Gaudin, B., Nixon, P.: Requirements and Initial Model for KnowLang – a Language for Knowledge Representation in Autonomic Service-Component Ensembles. In: C3S2E 2011: The Fourth International C* Conference on Computer Science & Software Engineering, pp. 35–42. ACM (2011)

    Google Scholar 

  22. Wirsing, M., Hölzl, M.M. (eds.): SENSORIA. LNCS, vol. 6582. Springer (2011)

    Google Scholar 

  23. Wirsing, M., Hölzl, M.M., Koch, N., Mayer, P.: Sensoria - Software Engineering for Service-Oriented Overlay Computers. In: Wirsing, Hölzl (eds.) [22], pp. 1–14

    Google Scholar 

  24. Zambonelli, F., Bicocchi, N., Cabri, G., Leonardi, L., Puviani, M.: On Self-Adaptation, Self-Expression and Self-Awareness for Autonomic Service Component Ensembles. In: Proceedings of the 1st SASO Workshop on Self-Awareness, Ann Arbor, USA, pp. 108–113. IEEE CS Press (October 2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Ludwig-Maximilians-Universität München, Germany

    Martin Wirsing, Matthias Hölzl & Mirco Tribastone

  2. Department of Science and Engineering Methods, University of Modena and Reggio Emilia, Italy

    Franco Zambonelli

Authors
  1. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Hölzl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mirco Tribastone
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Franco Zambonelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Theoretical Informatics, Karlsruhe Institute of Technology (KIT), Am Fasanengarten 5, 76131, Karlsruhe, Germany

    Bernhard Beckert

  2. Department of Computer Science, University of Torino, Corso Svizzera 185, 10149, Torino, Italy

    Ferruccio Damiani

  3. Centre for Mathematics and Computer Science, CWI, Science Park 123,, 1098 XG, Amsterdam, The Netherlands

    Frank S. de Boer

  4. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, P.O. Box 9512, 2300 RA, Leiden, The Netherlands

    Marcello M. Bonsangue

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Wirsing, M., Hölzl, M., Tribastone, M., Zambonelli, F. (2013). ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds) Formal Methods for Components and Objects. FMCO 2011. Lecture Notes in Computer Science, vol 7542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35887-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35887-6_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35886-9

  • Online ISBN: 978-3-642-35887-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation