A metadata-based architectural model for dynamically resilient systems

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2007, Pages 566-572

  Di Marzo Serugendo, Giovanna ^a   Fitzgerald, John ^b   Romanovsky, Alexander ^b   Guelfi, Nicolas ^c  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

^c UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Dynamic reconfiguration; Metadata

Indexed keywords

COMPUTER ARCHITECTURE; MATHEMATICAL MODELS; PROBLEM SOLVING;

DYNAMIC ENFORCEMENT; DYNAMIC RECONFIGURATION; METADATA-BASED RESILIENCE; SYSTEM'S FUNCTIONAL CHARACTERISTICS;

METADATA;

EID: 35248897052     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244002.1244132     Document Type: Conference Paper

References (24)

1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering, 6(3):213-249, 1997.
2. A. Avizienis. The N-Version Approach to Fault Tolerant Systems. IEEE Transactions on Software Engineering, 11(12) :1491-1501, 1985.
3. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11-33, 2004.
4. M. Caporuscio, P. Inverardi, and P. Pelliccione. Compositional Verification of Middleware-Based Software Architecture Descriptions. In International Conference on Software Engineering (ICSE'04), pages 10-24, 2004.
5. H. Cervantes and R. S. Hall. Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model. In International Conference on Software Engineering (ICSE'04), Pages 614-623, 2004.
6. S. Chaki, N. Sharygina, and N. Sinha. Verification of evolving software. In Proc. Workshop on Specification and Verification of Component-based Systems, 12th. A CM Symposium on Foundations of Software Engineering 2004, 2004.
7. G. Di Marzo Serugendo and M. Deriaz. Specification-carrying code for self-managed systems. In J.-P. Martin-Flatin, J. Sventek, and K. Geihs, editors, IEEE International Workshop on Self-Managed Systems and Services, 2005.
8. C. H. C. Duarte and T. Maibaum. A rely/guarantee discipline for open distributed systems design. Information Processing Letters, 74:55-63, 2000.
9. D. Estrin, editor. Embedded, Everywhere: A Research Agenda for Networked Systems of Embedded Computers. Computer Science and Telecommunications Board, National Academy of Sciences, Washington, D.C., 2001.
10. J. S. Fitzgerald, S. Parastatidis, A. Romanovsky, and P. Watson. Dependability-explicit computing in service-oriented architectures. In Supplementary Volume of Proceedings of International Conference on Dependable Systems and Networks, pages 34-35, 2004.
11. H. Gomaa and M. Hussein. Software Reconfiguration Patterns for Dynamic Evolution of Software Architecture. In 4th Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pages 79-88, 2004.
12. R. Morrison and al. Software Architectures in the ArchWare ADL. In 4th Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pages 69-78, 2004.
13. M. Oriol and G. Di Marzo Serugendo. A disconnected service architecture for unanticipated run-time evolution of code. IEE Proceedings-Software, Special Issue on Unanticipated Software Evolution, 2004.
14. N. Osman, D. Robertson, and C. Walton. Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. In Autonomous Agents and Multi-Agents Systems, 2006.
15. B. Randell. System Structure for Software Fault Tolerance. IEEE Transactions on Software Engineering, 1(2):221-232, 1975.
16. A. Romanovsky. Class diversity support in object-oriented languages. Journal of Systems and Software, 48(1):43-57, 1999.
17. H. Schmidt. Trusted Components - Towards Automated Assembly with Predictable Properties. In ICSE Workshop on Component-Based Software Engineering, 2001.
18. F. Schneider, editor. Trust in Cyberspace: Report of the Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics and Applications, National Research Council. National Academy Press, Washington, D.C., 1999.
19. J. Schopf, M. D'Arcy, N. Miller, L. Pearlman, I. Foster, and C. Kesselman. Monitoring and Discovery in a Web Service Framework: Functionality and Performance of the Globus Toolkits MDS4. Technical Report ANL/MCS-P1248-0405, Argonne National Laboratory, 2005.
20. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, 1996. 242p. ISBN 0-13-182957-2.
21. E. Turkay, A. S. Gokhale, and B. Natarajan. Addressing the Middleware Configuration Challenges using Model-based Techniques. In ACM Southeast Regional Conference, pages 166-170, 2004.
22. R. Van Renesse, K. Birman, and W. Vogels. A robust and scalable technology for distributed system monitoring, management, and data mining. ACM Transactions on Computer Systems, 21(2):164-206, 2003.
23. P. Weinstein and W. P. Birmingham. Service Classification in a Proto-Organic Society of Agents. In IJCAI Workshop on Artificial Intelligence in Digital Libraries, 1997.
24. K. Whitehouse, F. Zhao, and J. Liu. Semantic Streams: A Framework for Composable Semantic Interpretation of Sensor Data. In 3rd European Workshop on Wireless Sensor Networks (EWSN 2006), pages 5-20, 2006.