DEECO: an ensemble-based component system

ABSTRACT

The recent increase in the ubiquity and connectivity of computing devices allows forming large-scale distributed systems that respond to and influence activities in their environment. Engineering of such systems is very complex because of their inherent dynamicity, open-endedness, and autonomicity. In this paper we propose a new class of component systems (Ensemble-Based Component Systems - EBCS) which bind autonomic components with cyclic execution via dynamic component ensembles controlling data exchange. EBCS combine the key ideas of agents, ensemble-oriented systems, and control systems into software engineering concepts based on autonomic components. In particular, we present an instantiation of EBCS - the DEECo component model. In addition to DEECo main concepts, we also describe its computation model and mapping to Java. Lastly, we outline the basic principles of the EBCS/DEECo development process.

References

1. D. B. Abeywickrama, N. Bicocchi, and F. Zambonelli. SOTA: Towards a General Model for Self-Adaptive Systems. In Proc. of WETICE'12, 2012.
2. R. Al Ali, T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit, and F. Plasil. DEECo computational model -- I. Technical Report no. D3S-TR-2013-01. D3S, Charles University in Prague. Available at: http://d3s.mff.cuni.cz-/publications, 2013.
3. L. Baresi, S. Guinea, and G. Tamburrelli. Towards decentralized self-adaptive component-based systems. In Proc. of SEAMS'08, 2008.
4. F. Bellifemine, G. Caire, and D. Greenwood. Developing Multi-Agent Systems with JADE. John Wiley, 2007.
5. P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos, and A. Perini. Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems. 8, 3, 2004.
6. E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. Stefani. The Fractal component model and its support in Java. Software: Practice & Experience. 36, 2006.
7. T. Bures, P. Hnetynka, and F. Plasil. SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. In Proc. of SERA'06, 2006.
8. T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit, and F. Plasil. Autonomous components in dynamic environments. Awareness Magazine. Online: http://www.awareness-mag.eu, 2012
9. T. Bures, I. Gerostathopoulos, V. Horky, J. Keznikl, J. Kofron, M. Loreti, and F. Plasil. Language Extensions for Implementation-Level Conformance Checking. ASCENS Deliverable 1.5. Available at: http://www.ascens-ist.eu/deliverables, 2012.
10. B. Cheng et al. Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems. Springer-Verlag, 2009.
11. I. Crnkovic. Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood, MA, USA, 2002.
12. I. Crnkovic, M. Chaudron, and S. Larsson. Component-based development process and component lifecycle. Software Engineering Advances, 44, 2006.
13. D3S, Charles University in Prague. jDEECo website. Accessed April 17, 2013. https://github.com/d3scomp/JDEECo, 2013.
14. R. De Nicola, G. Ferrari, M. Loreti, and R. Pugliese. A Language-based Approach to Autonomic Computing. In Proc. of FMCO '11, 2012.
15. D. Gelernter. Generative communication in Linda. Toplas. 7, 1, 1985.
16. I. Gerostathopoulos, T. Bures, and P. Hnetynka. Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems. In Proc. of HotTopiCS Workshop, ICPE'13, 2013.
17. R. Hall, K. Pauls, S. McCulloch, and D. Savage. OSGi in Action: Creating Modular Applications in Java. Manning Pubs Co Series. Manning Publications, 2011.
18. K. Havelund, and T. Pressburger. Model Checking Java Programs Using Java PathFinder. Software Tools for Technology Trasfer. 2, 4, 2000.
19. M. Holz, and M. Wirsing. Towards a System Model for Ensembles. Formal modeling. 2012.
20. M. Holzl, A. Rauschmayer, and M. Wirsing. Engineering of software-intensive systems: State of the art and research challenges. In Software-Intensive Systems and New Computing Paradigms. Ser. LNCS, Springer Berlin, Heidelberg, vol. 5380, 2008.
21. M. Jain, M. Taylor, M. Tambe, and M. Yokoo. DCOPs meet the real world: Exploring unknown reward matrices with applications to mobile sensor networks. In Proc. of IJCAI'09, 2009.
22. C. Julien, and G.-C. Roman. EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. IEEE Transactions on Software Engineering, 32, 5, 2006.
23. J. Kephart, and D. Chess. The Vision of Autonomic Computing. Computer. 36, 1, 2003.
24. J. Keznikl, T. Bures, F. Plasil, I. Gerostathopoulos, P. Hnetynka, and N. Hoch. Design of Ensemble-Based Component Systems by Invariant Refinement. In Proc. of CBSE 2013, ACM, 2013.
25. J. Keznikl, T. Bures, F. Plasil, and M. Kit. Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. In Proc. of WICSA/ECSA 2012, IEEE CS, 2012.
26. J. Kramer, and J. Magee. Self-managed systems: an architectural challenge. In Proc. of FOSE'07, 2007.
27. A. Lamsweerde. Requirements engineering: from craft to discipline. In Proc. of SIGSOFT'08/FSE-16, 2008.
28. M. Mauve, A. Widmer and H. Hartenstein. A Survey on Position-Based Routing in Mobile Ad Hoc Networks. IEEE Network, 15, 6, 2001.
29. B. Morin, O. Barais, J.-M. Jezequel, F. Fleurey, and A. Solberg. Models at Runtime to Support Dynamic Adaptation. IEEE Computer. 42, 10, 2009.
30. OMG. Unified Modeling Language 2.0: Superstructure. Available online: http://www.omg.org/spec/UML/2.0/, 2005.
31. OMG. CORBA Component Model Specification v4.0. Available online: http://www.omg.org/spec/CCM/4.0/, 2006.
32. OSGi Alliance. OSGi service platform core specification, release 4. Available online: http://www.osgi.org/Spec-ifications/HomePage, 2012.
33. T. Patikirikorala, A. Coman, H. Jun, and W. Liuping . A systematic survey on the design of self-adaptive software systems using control engineering approaches. In Proc. of SEAMS'12, 2012.
34. C. Peper, and D. Schneider. Component engineering for adaptive ad-hoc systems. In Proc. of SEAMS'08, 2008.
35. A. Rao, and M.P. Georgeff. BDI agents: From theory to practice. In Proc. of ICMAS'95, 1995.
36. N. Serbedzija et al. Ensemble Model Syntheses with Robot, Cloud Computing and e-Mobility. ASCENS Deliverable 7.2. Available at: http://www.ascens-ist.eu/deliverables, 2012.
37. N. Serbedzija, S. Reiter, M. Ahrens, J. Velasco, C. Pinciroli, N. Hoch, and B.Werther. Requirement Specification and Scenario Description of the ASCENS Case Studies. ASCENS Deliverable 7.1. Available at: http://www.ascens-ist.eu/deliverables, 2011.
38. M. Shaw, and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, Englewood Cliffs, NJ, 1996.
39. Y. Shoham, and K. Leyton-Brown. Multiagent Systems: Algorithmic, GameTheoretic, and Logical Foundations, Cambridge University Press, 2008.
40. J. A. Stankovic, T. He, T. Abdelzaher, M. Marley, G. Tao, S. Son, and C. Lu. Feedback control scheduling in distributed real-time systems. In Proc. of RTSS'01, 2002.
41. R. Wang, and N. Kandasamy. A distributed control framework for performance management of virtualized computing environments. In Proc. of ICAC'10, 2009.

Index Terms

• Software and its engineering

  • Software notations and tools

    • Development frameworks and environments

      • Integrated and visual development environments

  • Software organization and properties

    • Software system structures

      • Distributed systems organizing principles

        • Organizing principles for web applications

      • Software architectures