ASCENS: Engineering autonomic service-component ensembles

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7542 LNCS, Issue , 2013, Pages 1-24

  Wirsing, Martin ^a   Hölzl, Matthias ^a   Tribastone, Mirco ^a   Zambonelli, Franco ^b  

^a UNIVERSITY OF MUNICH   (Germany)

^b UNIVERSITY OF MODENA AND REGGIO EMILIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ENVIRONMENTAL TECHNOLOGY; SOFTWARE DESIGN;

ADAPTIVITY; DEVELOPMENT APPROACH; ENVIRONMENTAL CONDITIONS; FORMAL MODEL; PROVIDE GUIDANCES; SERVICE COMPONENTS; SOFTWARE DEVELOPMENT METHODS; SOFTWARE ENGINEERING METHODS;

FORMAL METHODS;

EID: 84883294186     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-35887-6_1     Document Type: Conference Paper

References (24)

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)
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)
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
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)
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)
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
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)
9. Fowler, M. : Analysis Patterns: Reusable Object Models. Addison-Wesley Longman, Amsterdam (1996)
10. Gamma, E., Helm, R., Johnson, R., Vlissides, J. : Design Patterns. Addison-Wesley, Boston (1995)
11. Hillston, J., Tribastone, M., Gilmore, S. : Stochastic process algebras: From individuals to populations. Comput. J. 55(7), 866-881 (2012)
12. Hölzl, M., Rauschmayer, A., Wirsing, M. : Engineering of Software-Intensive Systems: State of the Art and Research Challenges. In: Wirsing, M., Banatre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol. 5380, pp. 1-44. Springer, Heidelberg (2008)
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)
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)
16. de Lara, J., Zisman, A. (eds.): FASE 2012. LNCS, vol. 7212. Springer, Heidelberg (2012)
17. Mayer, P., Ráth, I. : The Sensoria Development Environment. In: Wirsing, Hölzl (eds.) [22], pp. 622-639
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, A ., Gambardella, L. M., Dorigo, M. : ARGoS: A modular, multi-engine simulator for heterogeneous swarm robotics. In: IROS, pp. 5027-5034. IEEE (2011)
20. Russell, S. J., Norvig, P. : Artificial Intelligence-A Modern Approach (3rd internat. edn.). Pearson Education (2010)
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)
22. Wirsing, M., Hölzl, M. (eds.): Sensoria Project. LNCS, vol. 6582. Springer, Heidelberg (2011)
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
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)