research-article

MetaSelf: an architecture and a development method for dependable self-* systems

Authors:

Giovanna Di Marzo Serugendo,

John Fitzgerald,

Alexander RomanovskyAuthors Info & Claims

SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing

Pages 457 - 461

https://doi.org/10.1145/1774088.1774184

Published: 22 March 2010 Publication History

Abstract

This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependability by exploiting metadata to support decision making and adaptation based on the dynamic enforcement of explicitly defined policies. Control is obtained by actively modifying metadata, policies or components. We show how this applies to two different systems: (1) a dynamically resilient Web service system; and (2) an industrial assembly system with self-adaptive and SO capabilities.

References

[1]

A. Avizienis. The n-version approach to fault-tolerant software. IEEE Press, 11:1491--1501, 1985.

Digital Library

[2]

A. Avizienis, J.-C. Laprie, B. Randell, and Landwehr C. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11--33, 2004.

Digital Library

[3]

G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217--248, 1992.

Digital Library

[4]

Y. Chen. WS-Mediator for Improving Dependability of Service Composition. PhD thesis, Newcastle University (UK), 2008.

[5]

T. De Wolf. Analysing and engineering self-organising emergent applications. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, 2007.

[6]

G. Di Marzo Serugendo. Robustness and dependability of self-organising systems - a safety engineering perspective. In The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), number 5873 in LNCS, pages 254--268. Springer-Verlag, 2009.

Digital Library

[7]

N. Dulay, E. Lupu, M. Sloman, J. Sventek, N. Badr, and S. Heeps. Self-managed cells for ubiquitous systems. In Proceedings of the Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25--27, 2005, Proceedings, volume 3685 of Lecture Notes in Computer Science, pages 1--6. Springer, 2005.

Digital Library

[8]

G. Frei, B. Ferreira, G. Di Marzo Serugendo, and J. Barata. An architecture for self-managing evolvable assembly systems. In IEEE International Conference on Systems, Man, and Cybernetics (SMC 2009). IEEE, 2009.

Digital Library

[9]

R. Frei, N. Pereira, J. Belo, J. Barata, and G. Di Marzo Serugendo. Self-Awareness in Evolvable Assembly Systems. Technical Report BBKCS-09-08, School of Computer Science and Information Systems, Birkbeck College, London, UK, 2009.

[10]

J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In Future of Software Engineering (FOSE'07), pages 259--268. IEEE Computer Society, 2007.

Digital Library

[11]

N. G. Leveson. Safeware: System Safety and Computers. Addison Wesley, July 1995.

[12]

L. Liu and H. Schmeck. A roadmap towards autonomic service-oriented architectures. In International Service Availability Symposium (ISAS 2006), pages 193--205, 2006.

[13]

C. Müller-Schloer. Organic computing: on the feasibility of controlled emergence. In Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004, pages 2--5. ACM, 2004.

Digital Library

[14]

G. Picard and M.-P. Gleizes. The ADELFE Methodology - Designing Adaptive Cooperative Multi-Agent Systems. In Methodologies and Software Engineering for Agent Systems: The Agent-oriented Software Engineering Handbook, pages 157--176. Kluwer Publishing, 2004.

[15]

B. Randell and J. Xu. The evolution of the recovery block concept. In Software Fault Tolerance, pages 1--22. J. Wiley. New York, 1994.

[16]

S. White, J. Hanson, I. Whalley, D. Chess, and J. Kephart. An architectural approach to autonomic computing. In J. Kephart and M. Parashar, editors, International Conference on Autonomic Computing (ICAC'04), pages 2--9. IEEE Computer Society, 2004.

Digital Library

Cited By

Mcheick HSayegh JAjami H(2020)Context-Aware Healthcare Adaptation Model for COPD DiseasesThe Impact of Digital Technologies on Public Health in Developed and Developing Countries10.1007/978-3-030-51517-1_27(307-315)Online publication date: 23-Jun-2020
https://doi.org/10.1007/978-3-030-51517-1_27
Wutzler M(2017)Exploring On-Demand Composition of Pervasive Collaborations in Smart Computing EnvironmentsOn the Move to Meaningful Internet Systems: OTM 2016 Workshops10.1007/978-3-319-55961-2_31(305-314)Online publication date: 29-Mar-2017
https://doi.org/10.1007/978-3-319-55961-2_31
Wutzler MLiKamWa ROkoshi TKang S(2016)Composing Adaptive Software Systems in Decentralized InfrastructuresProceedings of on MobiSys 2016 PhD Forum10.1145/2930056.2933325(15-16)Online publication date: 26-Jun-2016
https://dl.acm.org/doi/10.1145/2930056.2933325
Show More Cited By

Index Terms

MetaSelf: an architecture and a development method for dependable self-* systems
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

On interacting control loops in self-adaptive systems
SEAMS '11: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Control loops in self-adaptive systems are typically conceived as a sequence of four computations: Monitor-Analyze-Plan-Execute (MAPE). During the development of a traffic monitoring system with support for self-healing, we have noticed that simple MAPE ...
JAAF+T: a framework to implement self-adaptive agents that apply self-test
SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing

Appropriate implementation of self-adaptive software systems able not only to check the needs for the adaptations and perform them but also to ensure their compliance with new environment requirements is still an open issue. Therefore, this paper ...
Model-driven run-time enforcement of complex role-based access control policies
ASE '18: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering

A Role-based Access Control (RBAC) mechanism prevents unauthorized users to perform an operation, according to authorization policies which are defined on the user’s role within an enterprise. Several models have been proposed to specify complex RBAC ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing

March 2010

2712 pages

ISBN:9781605586397

DOI:10.1145/1774088

Conference Chairs:
Sung Y. Shin
South Dakota State University
,
Sascha Ossowski
University Rey Juan Carlos, Spain
,
Michael Schumacher
University of Applied Sciences Western Switzerland, Switzerland
,
Program Chairs:
Mathew J. Palakal
Indiana University Purdue University
,
Chih-Cheng Hung
Southern Polytechnic State University

Copyright © 2010 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: 22 March 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SAC'10

Sponsor:

SIGAPP

SAC'10: The 2010 ACM Symposium on Applied Computing

March 22 - 26, 2010

Sierre, Switzerland

Acceptance Rates

SAC '10 Paper Acceptance Rate 364 of 1,353 submissions, 27%;

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

11
Total Citations
View Citations
458
Total Downloads

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

Reflects downloads up to 01 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Mcheick HSayegh JAjami H(2020)Context-Aware Healthcare Adaptation Model for COPD DiseasesThe Impact of Digital Technologies on Public Health in Developed and Developing Countries10.1007/978-3-030-51517-1_27(307-315)Online publication date: 23-Jun-2020
https://doi.org/10.1007/978-3-030-51517-1_27
Wutzler M(2017)Exploring On-Demand Composition of Pervasive Collaborations in Smart Computing EnvironmentsOn the Move to Meaningful Internet Systems: OTM 2016 Workshops10.1007/978-3-319-55961-2_31(305-314)Online publication date: 29-Mar-2017
https://doi.org/10.1007/978-3-319-55961-2_31
Wutzler MLiKamWa ROkoshi TKang S(2016)Composing Adaptive Software Systems in Decentralized InfrastructuresProceedings of on MobiSys 2016 PhD Forum10.1145/2930056.2933325(15-16)Online publication date: 26-Jun-2016
https://dl.acm.org/doi/10.1145/2930056.2933325
Schumann R(2016)Performance Maintenance of ARTS SystemsAutonomic Road Transport Support Systems10.1007/978-3-319-25808-9_11(181-195)Online publication date: 4-May-2016
https://doi.org/10.1007/978-3-319-25808-9_11
Parunak HBrueckner S(2015)Software engineering for self-organizing systemsThe Knowledge Engineering Review10.1017/S026988891500008930:4(419-434)Online publication date: 3-Sep-2015
https://doi.org/10.1017/S0269888915000089
Serugendo GFernandez-Marquez JDe Angelis F(2014)Engineering Spatial ServicesHandbook of Research on Architectural Trends in Service-Driven Computing10.4018/978-1-4666-6178-3.ch006(136-159)Online publication date: 2014
https://doi.org/10.4018/978-1-4666-6178-3.ch006
Puviani MSerugendo GFrei RCabri G(2012)A method fragments approach to methodologies for engineering self-organizing systemsACM Transactions on Autonomous and Adaptive Systems10.1145/2348832.23488367:3(1-25)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1145/2348832.2348836
Mensing BGoltz UAniculaesei AHerold SRausch AGartner SSchneider K(2012)Towards integrated rule-driven software development for IT ecosystems2012 6th IEEE International Conference on Digital Ecosystems and Technologies (DEST)10.1109/DEST.2012.6227951(1-6)Online publication date: Jun-2012
https://doi.org/10.1109/DEST.2012.6227951
Iordache OIordache O(2012)IntroductionSelf-Evolvable Systems10.1007/978-3-642-28882-1_1(1-13)Online publication date: 2012
https://doi.org/10.1007/978-3-642-28882-1_1
Bernon CGleizes MMigeon FDi Marzo Serugendo G(2011)Engineering Self-organising SystemsSelf-organising Software10.1007/978-3-642-17348-6_12(283-312)Online publication date: 2011
https://doi.org/10.1007/978-3-642-17348-6_12
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