Tools for Ensemble Design and Runtime

  • Dhaminda B. Abeywickrama
  • Jacques Combaz
  • Vojtěch Horký
  • Jaroslav Keznikl
  • Jan Kofroň
  • Alberto Lluch Lafuente
  • Michele Loreti
  • Andrea Margheri
  • Philip Mayer
  • Valentina Monreale
  • Ugo Montanari
  • Carlo Pinciroli
  • Petr Tůma
  • Andrea Vandin
  • Emil Vassev
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8998)

Abstract

The ASCENS project deals with designing systems as ensembles of adaptive components. Among the outputs of the ASCENS project are multiple tools that address particular issues in designing the ensembles, ranging from support for early stage formal modeling to runtime environment for executing and monitoring ensemble implementations. The goal of this chapter is to provide a compact description of the individual tools, which is supplemented by additional downloadable material on the project website.

Keywords

tools software development adaptive systems autonomic systems 

References

  1. 1.
    Abeywickrama, D.B., Hoch, N., Zambonelli, F.: SimSOTA: Engineering and simulating feedback loops for self-adaptive systems. In: Proceedings of the 6th International C* Conference on Computer Science & Software Engineering (C3S2E’13) (In Press), ACM Press, New York (2013)Google Scholar
  2. 2.
    Abeywickrama, D.B., Zambonelli, F., Hoch, N.: Towards simulating architectural patterns for self-aware and self-adaptive systems. In: Proceedings of the 2nd Awareness Workshop co-located with the SASO’12 Conference, IEEE Computer Society Press, Los Alamitos (2012)Google Scholar
  3. 3.
    de Alfaro, L.: Game models for open systems. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 269–289. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/SIGSOFT FSE 2001. ACM SIGSOFT Software Engineering Notes 26(5). ACM (2001)Google Scholar
  5. 5.
    AlTurki, M., Meseguer, J.: pVeStA: A parallel statistical model checking and quantitative analysis tool. In: Corradini, A., Klin, B., Cîrstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 386–392. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  6. 6.
    AT&T Labs, Inc.: Graphviz: Graph visualization software, http://graphviz.org
  7. 7.
    Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. Transations on Computational Logic 1(1) (2000)Google Scholar
  8. 8.
    Baier, C., Katoen, J.P., Hermanns, H.: Approximate symbolic model checking of continuous-time Markov chains. Google Scholar
  9. 9.
    Belzner, L., De Nicola, R., Vandin, A., Wirsing, M.: Reasoning (on) service component ensembles in rewriting logic. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 188–211. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  10. 10.
    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Modelling and analyzing adaptive self-assembly strategies with Maude. In: Durán, F. (ed.) WRLA 2012. LNCS, vol. 7571, pp. 118–138. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  11. 11.
    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Adaptable transition systems. In: Martí-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol. 7841, pp. 95–110. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  12. 12.
    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 240–254. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  13. 13.
    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Modelling and analyzing adaptive self-assembly strategies with Maude. Science of Computer Programming (2013)Google Scholar
  14. 14.
    Bruni, R., Montanari, U., Sammartino, M.: Reconfigurable and Software-Defined Networks of Connectors and Components. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 73–106. Springer, Heidelberg (2015)Google Scholar
  15. 15.
    Bulej, L., Bures, T., Horky, V., Keznikl, J., Tuma, P.: Performance awareness in component systems: Vision paper. COMPSAC ’12 (2012)Google Scholar
  16. 16.
    Bures, T., Gerostathopoulos, I., Horky, V., Keznikl, J., Kofron, J., Loreti, M., Plasil, F.: Language extensions for implementation-level conformance checking. ASCENS Deliverable D1.5 (2012)Google Scholar
  17. 17.
    Calzolai, F., Loreti, M.: Simulation and analysis of distributed systems in Klaim. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol. 6116, pp. 122–136. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  18. 18.
    Castro, M., Druschel, P., Kermarrec, A.M., Rowstron, A.I.: SCRIBE: A large-scale and decentralized application-level multicast infrastructure. IEEE Journal on Selected Areas in Communications 20(8) (2002)Google Scholar
  19. 19.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)MATHGoogle Scholar
  20. 20.
    Combaz, J., Bensalem, S., Tiezzi, F., Margheri, A., Pugliese, R., Kofron, J.: Correctness of Service Components and Service Component Ensembles. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 107–159. Springer, Heidelberg (2015)Google Scholar
  21. 21.
    De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: Languages primitives for coordination, resource negotiation, and task description. ASCENS Deliverable D1.1 (September 2011), http://rap.dsi.unifi.it/scel/
  22. 22.
    De Nicola, R., Katoen, J.P., Latella, D., Loreti, M., Massink, M.: Klaim and its stochastic semantics. Tech. rep., Dipartimento di Sistemi e Informatica, Università di Firenze (2006), http://rap.dsi.unifi.it/~loreti/papers/TR062006.pdf
  23. 23.
    De Nicola, R., Katoen, J.P., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theoretical Computer Science 382(1) (2007)Google Scholar
  24. 24.
    Foundation for Intelligent Physical Agents: FIPA contract net interaction protocol specification (March 2013), http://www.fipa.org/specs/fipa00029/SC00029H.html
  25. 25.
    GNU compiler collection, http://gcc.gnu.org/
  26. 26.
    Younes, H., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. International Journal on Software Tools for Technology Transfer 8(3) (June 2006)Google Scholar
  27. 27.
    Hall, R., Pauls, K., McCulloch, S., Savage, D.: Osgi in Action: Creating Modular Applications in Java. Manning Pubs Co Series. Manning Publications (2011)Google Scholar
  28. 28.
    Hoch, N., Bensler, H.-P., Abeywickrama, D., Bureš, T., Montanari, U.: The E-mobility Case Study. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 513–533. Springer, Heidelberg (2015)Google Scholar
  29. 29.
    Hölzl, M., Gabor, T.: Reasoning and Learning for Awareness and Adaptation. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 249–290. Springer, Heidelberg (2015)Google Scholar
  30. 30.
    Hölzl, M., Koch, N., Puviani, M., Wirsing, M., Zambonelli, F.: The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 325–354. Springer, Heidelberg (2015)Google Scholar
  31. 31.
    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, Springer, Heidelberg (2014)Google Scholar
  32. 32.
    Latella, D., Loreti, M., Massink, M.: On-the-fly fast mean-field model-checking. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, Springer, Heidelberg (2014)CrossRefGoogle Scholar
  33. 33.
    Latella, D., Loreti, M., Massink, M.: On-the-fly fast mean-field model-checking: Extended version. CoRR abs/1312.3416 (2013)Google Scholar
  34. 34.
    Latella, D., Loreti, M., Massink, M.: On-the-fly probabilistic model checking. In: Lanese, I., Lluch-Lafuente, A., Sokolova, A., Vieira, H.T. (eds.) Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS, vol. 166 (2014)Google Scholar
  35. 35.
    Marek, L., Villazón, A., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z.: DiSL: a domain-specific language for bytecode instrumentation. In: AOSD ’12: Proceedings of the 11th International Conference on Aspect-Oriented Software Development (2012)Google Scholar
  36. 36.
    Marek, L., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z., Tuma, P.: DiSL: An extensible language for efficient and comprehensive dynamic program analysis. In: Proc. 7th Workshop on Domain-Specific Aspect Languages (DSAL ’12), ACM Press, New York (2012)Google Scholar
  37. 37.
    Margheri, A., Masi, M., Pugliese, R., Tiezzi, F.: A formal software engineering approach to policy-based access control. Tech. rep., DiSIA, Univ. Firenze (2013), http://rap.dsi.unifi.it/facpl/research/Facpl-TR.pdf
  38. 38.
    Mayer, P., Velasco, J., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bureš, T.: The Autonomic Cloud. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 495–512. Springer, Heidelberg (2015)Google Scholar
  39. 39.
    Modelling, M.S., Lucca, A.I.: Maude ensemble strategies simulator and inquirer, http://sysma.lab.imtlucca.it/tools/ensembles/
  40. 40.
    De Nicola, R., Ferrari, G.-L., 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 (2013)CrossRefGoogle Scholar
  41. 41.
    De Nicola, R., Latella, D., Lafuente, A.L., Loreti, M., Margheri, A., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., Vandin, A.: The SCEL Language: Design, Implementation, Verification. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 3–71. Springer, Heidelberg (2015)Google Scholar
  42. 42.
    O’Grady, R., Groß, R., Christensen, A.L., Dorigo, M.: Self-assembly strategies in a group of autonomous mobile robots. Autonomous Robots 28(4) (2010)Google Scholar
  43. 43.
    Oracle: java.lang.instrument (Java platform, standard edition 6, API specification) (2012), http://docs.oracle.com/javase/6/docs/api/java/lang/instrument/package-summary.html
  44. 44.
    Pinciroli, C., Bonani, M., Mondada, F., Dorigo, M.: Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 471–494. Springer, Heidelberg (2015)Google Scholar
  45. 45.
    Pinciroli, C., Trianni, V., O’Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Di Caro, G., Ducatelle, F., Birattari, M., Gambardella, L.M., Dorigo, M.: ARGoS: a modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intelligence 6(4), 271–295 (2012)CrossRefGoogle Scholar
  46. 46.
    Information technology - portable operating system interface (POSIX). ISO/IEC/IEEE 9945 (First edition 2009-09-15) (2009)Google Scholar
  47. 47.
    Quaglia, P., Schivo, S.: Approximate model checking of stochastic COWS. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010. LNCS, vol. 6084, pp. 335–347. Springer, Heidelberg (2010)Google Scholar
  48. 48.
    Rowstron, A., Druschel, P.: Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol. 2218, p. 329. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  49. 49.
    Rowstron, A., Druschel, P.: Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility. In: ACM SIGOPS Operating Systems Review, vol. 35, ACM Press, New York (2001)Google Scholar
  50. 50.
    Sebastio, S., Vandin, A.: MultiVeStA: Statistical model checking for discrete event simulators, submitted., http://eprints.imtlucca.it/1798
  51. 51.
    Sen, K., Viswanathan, M., Agha, G.A.: VESTA: A statistical model-checker and analyzer for probabilistic systems. In: Baier, C., Chiola, G., Smirni, E. (eds.) QEST 2005, IEEE Computer Society Press, Los Alamitos (2005)Google Scholar
  52. 52.
    Šerbedžija, N.: The ASCENS Case Studies: Results and Common Aspects. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 451–469. Springer, Heidelberg (2015)Google Scholar
  53. 53.
    Vassev, E., Hinchey, M.: Knowledge Representation for Adaptive and Self-aware Systems. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 221–247. Springer, Heidelberg (2015)Google Scholar
  54. 54.
    Zimory Software: Zimory cloud suite. (August 2014), http://www.zimory.com/

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Dhaminda B. Abeywickrama
    • 2
    • 6
  • Jacques Combaz
    • 10
  • Vojtěch Horký
    • 1
  • Jaroslav Keznikl
    • 1
  • Jan Kofroň
    • 1
  • Alberto Lluch Lafuente
    • 3
  • Michele Loreti
    • 5
  • Andrea Margheri
    • 5
  • Philip Mayer
    • 4
  • Valentina Monreale
    • 7
  • Ugo Montanari
    • 7
  • Carlo Pinciroli
    • 8
  • Petr Tůma
    • 1
  • Andrea Vandin
    • 3
  • Emil Vassev
    • 9
  1. 1.MFFCharles UniversityCzech Republic
  2. 2.FOKUSFraunhofer-GesellschaftGermany
  3. 3.SySMAInstitute for Advanced Studies LuccaItaly
  4. 4.PSTLudwig-Maximilians-Universität MünchenGermany
  5. 5.CMGUniversità di FirenzeItaly
  6. 6.APCGUniversità di Modena e Reggio EmiliaItaly
  7. 7.DIUniversità di PisaItaly
  8. 8.IRIDIAUniversité Libre de BruxellesBelgium
  9. 9.LEROUniversity of LimerickIreland
  10. 10.DCSVERIMAG LaboratoryFrance

Personalised recommendations