Article

A metadata-based architectural model for dynamically resilient systems

Authors:

Giovanna Di Marzo Serugendo,

John Fitzgerald,

Alexander Romanovsky,

Nicolas GuelfiAuthors Info & Claims

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

Pages 566 - 572

https://doi.org/10.1145/1244002.1244132

Published: 11 March 2007 Publication History

Abstract

Designing open and distributed systems that can dynamically adapt in a predictable way to unexpected events is a challenging issue still not solved. Achieving this objective is a very complex task since it implies reasoning at run-time, explicitly and in a combined way, on a system's functional and non-functional characteristics. This paper proposes a service-oriented architectural model allowing the dynamic enforcement of formally expressed metadata-based resilience policies. It also describes preliminary dynamic resilience experiments acting as proof of concept.

References

[1]

R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering, 6(3):213--249, 1997.

Digital Library

[2]

A. Avizienis. The N-Version Approach to Fault Tolerant Systems. IEEE Transactions on Software Engineering, 11(12):1491--1501, 1985.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[6]

S. Chaki, N. Sharygina, and N. Sinha. Verification of evolving software. In Proc. Workshop on Specification and Verification of Component-based Systems, 12th. ACM 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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[12]

R. Morrison and al. Software Architectures in the Arch Ware ADL. In 4th Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pages 69--78, 2004.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

Cited By

Vrieze PXu L(2018)Resilience analysis of service-oriented collaboration process management systemsService Oriented Computing and Applications10.1007/s11761-018-0233-512:1(25-39)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1007/s11761-018-0233-5
Tzafestas STzafestas S(2018)Adaptation and Self-organization in Life and SocietyEnergy, Information, Feedback, Adaptation, and Self-organization10.1007/978-3-319-66999-1_13(627-660)Online publication date: 4-Jan-2018
https://doi.org/10.1007/978-3-319-66999-1_13
Madni AMadni A(2017)Affordable ResilienceTransdisciplinary Systems Engineering10.1007/978-3-319-62184-5_9(133-159)Online publication date: 7-Oct-2017
https://doi.org/10.1007/978-3-319-62184-5_9
Show More Cited By

Index Terms

A metadata-based architectural model for dynamically resilient systems
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Patterns
  2. Software organization and properties
    1. Software system structures

Recommendations

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems
SEAA '13: Proceedings of the 2013 39th Euromicro Conference on Software Engineering and Advanced Applications

Nowadays, dynamically adaptive systems are gaining more widespread use in several domains (mobile application, airports, banks, etc). These systems are often subject to evolution due to varying environmental conditions and the apparition of new user ...
Managing Architectural Reconfiguration at Runtime

Managing dynamic reconfiguration of software systems is a tedious task in the software development because of the substantially increasing need for continuously available systems even at runtime. In particular, the software architecture of dynamically ...
Architecting dynamic reconfiguration in dependable systems
Architecting dependable systems IV

The need for dynamic reconfiguration is a complicating factor in the design of dependable systems, as it demands from software architects both rigour and planning. Although recent research has shown that systematic and integrated "specification-to-...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

March 2007

1688 pages

ISBN:1595934804

DOI:10.1145/1244002

Conference Chairs:
Yookun Cho
Seoul National University, Seoul, Korea
,
Roger L. Wainwright
University of Tulsa, Tulsa, Oklahoma
,
Hisham M. Haddad
Kennesaw State University, Kennesaw, Georgia
,
Sung Y. Shin
South Dakota State University, Brookings, South Dakota
,
Program Chair:
Yong Wan Koo
The University of Suwon, Gyeongggi-do, Korea

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 March 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC07

Sponsor:

SIGAPP

SAC07: The 2007 ACM Symposium on Applied Computing

March 11 - 15, 2007

Seoul, Korea

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
447
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Vrieze PXu L(2018)Resilience analysis of service-oriented collaboration process management systemsService Oriented Computing and Applications10.1007/s11761-018-0233-512:1(25-39)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1007/s11761-018-0233-5
Tzafestas STzafestas S(2018)Adaptation and Self-organization in Life and SocietyEnergy, Information, Feedback, Adaptation, and Self-organization10.1007/978-3-319-66999-1_13(627-660)Online publication date: 4-Jan-2018
https://doi.org/10.1007/978-3-319-66999-1_13
Madni AMadni A(2017)Affordable ResilienceTransdisciplinary Systems Engineering10.1007/978-3-319-62184-5_9(133-159)Online publication date: 7-Oct-2017
https://doi.org/10.1007/978-3-319-62184-5_9
Barros F(2015)Representing tactics for fault recoveryInternational Journal of Reconfigurable Computing10.1155/2015/3215322015(4-4)Online publication date: 1-Jan-2015
https://dl.acm.org/doi/10.1155/2015/321532
Lawrence DBuchs DWellig A(2014)Using Instrumentation for Quality Assessment of Resilient Software in Embedded SystemsSoftware Engineering for Resilient Systems10.1007/978-3-319-12241-0_11(139-153)Online publication date: 2014
https://doi.org/10.1007/978-3-319-12241-0_11
Garcia HLin WMeerkov S(2012)A resilient condition assessment monitoring system2012 5th International Symposium on Resilient Control Systems10.1109/ISRCS.2012.6309301(98-105)Online publication date: Aug-2012
https://doi.org/10.1109/ISRCS.2012.6309301
Buchs DHostettler SMarechal A(2011)Experience-based model refinementProceedings of the Third international conference on Software engineering for resilient systems10.5555/2045537.2045543(40-47)Online publication date: 29-Sep-2011
https://dl.acm.org/doi/10.5555/2045537.2045543
Frei RSerugendo G(2011)Concepts in complexity engineeringInternational Journal of Bio-Inspired Computation10.1504/IJBIC.2011.0399113:2(123-139)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.1504/IJBIC.2011.039911
Buchs DHostettler SMarechal A(2011)Experience-Based Model RefinementSoftware Engineering for Resilient Systems10.1007/978-3-642-24124-6_4(40-47)Online publication date: 2011
https://doi.org/10.1007/978-3-642-24124-6_4
Reiff-Marganiec SRajper N(2011)Modelling Virtual Organisations: Structure and ReconfigurationsAdaptation and Value Creating Collaborative Networks10.1007/978-3-642-23330-2_33(297-305)Online publication date: 2011
https://doi.org/10.1007/978-3-642-23330-2_33
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten