Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality

Filip Krijt, Zbynek Jiracek, Tomas Bures, Petr Hnetynka, Frantisek Plasil

2017

Abstract

Smart cyber-physical systems (sCPS) is a growing research field focused on scenarios where a set of autonomous software-hardware entities (components) is cooperating via network communication to achieve a type of swarm or cloud intelligence. Typically the components’ cooperation is designed at a low level of abstraction and their behavior validated via simulations. As a remedy, a declarative language capable of specifying high-level component ensembles has been proposed in recent work. By capturing component functionality and the cooperation constraints, a specification serves both for generating platform-specific implementation and as a model@run.time to support self-adaption via dynamic formation of ensembles. However, for a particular specification, multiple possible architectural configurations exist with various impact on the system. Given their typically large number, we select the best one via an SMT solver. In this paper, we show that scalability of such approach can be supported by exploiting the effect of locality in component cooperation and by hoisting specific domain knowledge to the level of architecture.

References

  1. Alrahman, Y.A., Nicola, R.D. & Loreti, M., 2016a. On the Power of Attribute-Based Communication. In Proceedings of FORTE 2016, Heraklion, Crete, Greece. LNCS. Springer, pp. 1-18.
  2. Alrahman, Y.A., Nicola, R.D. & Loreti, M., 2016b. Programming of CAS Systems by Relying on Attribute-Based Communication. In Proceedings of ISOLA 2016, Corfu, Greece. LNCS. Springer, pp. 539-553.
  3. Bures, T. et al., 2013. DEECo: An ensemble-based component system. In Proceedings of CBSE 2013, Vancouver, Canada. ACM, pp. 81-90.
  4. Bures, T. et al., 2015. Towards Intelligent Ensembles. In Proceedings of ECSAW 2015, Dubrovnik/Cavcat, Croatia. ACM, pp. 1-4.
  5. Hennicker, R. & Klarl, A., 2014. Foundations for Ensemble Modeling - The Helena Approach. In S. Iida, J. Meseguer, & K. Ogata, eds. Specification, Algebra, and Software. LNCS. Springer, pp. 359-381.
  6. Hoch, N. et al., 2015. The E-mobility Case Study. In M. Wirsing et al., eds. Software Engineering for Collective Autonomic Systems. LNCS. Springer, pp. 513-533.
  7. Michalak, T. et al., 2010. A Distributed Algorithm for Anytime Coalition Structure Generation. In Proceedings of AAMAS 2010, Toronto, Canada. pp. 1007-1014.
  8. Morin, B. et al., 2009. Models@ Run.time to Support Dynamic Adaptation. Computer, 42(10), pp.44-51.
  9. Rahwan, T. et al., 2012. Anytime coalition structure generation in multi-agent systems with positive or negative externalities. Artificial Intelligence, 186, pp.95-122.
  10. Sandholm, T. et al., 1999. Coalition structure generation with worst case guarantees. Artificial Intelligence, 111(1-2), pp.209-238.
  11. Wirsing, M. et al., 2011. ASCENS: Engineering Autonomic Service-Component Ensembles. In B. Beckert et al., eds. Proceedings of FMCO 2011 (Revised Selected Papers), Turin, Italy. LNCS. Springer, pp. 1-24.
Download


Paper Citation


in Harvard Style

Krijt F., Jiracek Z., Bures T., Hnetynka P. and Plasil F. (2017). Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 561-568. DOI: 10.5220/0006273705610568


in Bibtex Style

@conference{modelsward17,
author={Filip Krijt and Zbynek Jiracek and Tomas Bures and Petr Hnetynka and Frantisek Plasil},
title={Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={561-568},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006273705610568},
isbn={978-989-758-210-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality
SN - 978-989-758-210-3
AU - Krijt F.
AU - Jiracek Z.
AU - Bures T.
AU - Hnetynka P.
AU - Plasil F.
PY - 2017
SP - 561
EP - 568
DO - 10.5220/0006273705610568