DEECo - An ensemble-based component system

CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering

Volumn , Issue , 2013, Pages 81-90

  Bures, Tomas ^a   Gerostathopoulos, Ilias ^a   Hnetynka, Petr ^a   Keznikl, Jaroslav ^a,b   Kit, Michal ^a   Plasil, Frantisek ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Autonomic systems; Component ensembles; Component model; Development process; Emergent architecture; Runtime framework

Indexed keywords

AUTONOMIC SYSTEMS; COMPONENT ENSEMBLES; COMPONENT MODEL; DEVELOPMENT PROCESS; RUNTIME FRAMEWORKS;

ELECTRONIC DATA INTERCHANGE; UBIQUITOUS COMPUTING;

SOFTWARE ENGINEERING;

EID: 84880525449     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2465449.2465462     Document Type: Conference Paper

References (41)

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 MultiAgent 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: Toward s 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.