Design of ensemble-based component systems by invariant refinement

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

Volumn , Issue , 2013, Pages 91-100

  Keznikl, Jaroslav ^a,b   Bures, Tomas ^a,b   Plasil, Frantisek ^a   Gerostathopoulos, Ilias ^a   Hnetynka, Petr ^a   Hoch, Nicklas ^c  

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

^c VOLKSWAGEN AG   (Germany)

Author keywords

Component; Ensemble; Refinement; Requirements engineering; System design

Indexed keywords

AUTONOMOUS COMPONENTS; COMPONENT; COMPONENT ARCHITECTURES; ENSEMBLE; ENSEMBLE-BASED SYSTEMS; GOAL-BASED REQUIREMENTS; REFINEMENT; SOFTWARE CONTROL SYSTEMS;

REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING;

SYSTEMS ANALYSIS;

EID: 84880528213     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2465449.2465457     Document Type: Conference Paper

References (26)

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. A. Bauer, M. Leucker, and C. Schallhart. Monitoring of realtime properties. In Proc. of FSTTCS '06, 2006.
3. F. Bellifemine, G. Caire, and D. Greenwood. Developing Multi-Agent Systems with JADE. John Wiley, 2007.
4. 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.
5. T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit, and F. Plasil. DEECo - an Ensemble-Based Component System. In Proc. of CBSE 2013, ACM, 2013.
6. T. Bures, I. Gerostathopoulos, J. Keznikl, and F. Plasil. Formalization of Invariant Patterns for the Invariant Refinement Method. Technical Report no. D3S-TR-2013-04. D3S, Charles University in Prague. Available at: http://d3s.mff.cuni.cz/publications, 2013.
7. G. Buttazzo, G. Lipari, L. Abeni, and M. Caccamo. Soft RealTime Systems: Predictability vs. Efficiency, ser. Series in Computer Science, R. G. Melhem, Ed. Springer US, 2005.
8. J. Castro, M. Kolp, L. Liu, and A. Perini. Dealing with Complexity Using Conceptual Models Based on Tropos. In Conceptual Modeling: Foundations and Applications. Ser. LNCS, Springer Berlin, Heidelberg, vol. 5600, 2009.
9. I. Crnkovic. Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood, MA, USA, 2002.
10. I. Crnkovic, M. Chaudron, and S. Larsson. Component-based development process and component lifecycle. Software Engineering Advances, 44, 2006.
11. R. Darimont, and A. van Lamsweerde. Formal refinement patterns for goal-driven requirements elaboration. In Proc. of SIGSOFT '96, 1996.
12. R. De Nicola, G. Ferrari, M. Loreti, and R. Pugliese. A Language-based Approach to Autonomic Computing. In Proc. of FMCO '11, 2012.
13. I. Gerostathopoulos, T. Bures, and P. Hnetynka. Position Paper: Towards a requirements-driven design of ensemble-based component systems. In Proc. of International Workshop on Hot Topics in Cloud Services, ICPE '13, 2013.
14. 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.
15. M. Holzl, et al. Engineering Ensembles: A White Paper of the ASCENS Project. ASCENS Deliverable JD1.1. Available at: http://www.ascens-ist.eu/ whitepapers, 2011.
16. M. C. Huebscher and J. A. McCann. A survey of autonomic computing-degrees, models, and applications. ACM Computing Surveys, 40, 3, 2008.
17. IBM. An architectural blueprint for autonomic computing. IBM White Paper, 2003.
18. N. R. Jennings. On agent-based software engineering. Artificial intelligence. 117, 2000.
19. 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.
20. A. Lamsweerde. Requirements engineering: from craft to discipline. In Proc. of SIGSOFT '08/FSE-16, 2008.
21. A. Rao, and M.P. Georgeff. BDI agents: From theory to practice. In Proc. of ICMAS '95, 1995.
22. N. U. Rehman, S. Bibi, S. Asghar, and S. Fong. Comparative Study of Goal-Oriented Requirements Engineering. In Proc. of NISS '10, 2010.
23. 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.
24. Y. Shoham, and K. Leyton-Brown. Multiagent Systems: Algorithmic, GameTheoretic, and Logical Foundations, Cambridge University Press, 2008.
25. 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.
26. E. Vassev, and M. Hinchey. The Challenge of Developing Autonomic Systems. Computer, 43, 12, 2010.