Article

Self-organising software architectures for distributed systems

Authors:

Ioannis Georgiadis,

Jeff KramerAuthors Info & Claims

WOSS '02: Proceedings of the first workshop on Self-healing systems

Pages 33 - 38

https://doi.org/10.1145/582128.582135

Published: 18 November 2002 Publication History

Abstract

A self-organising software architecture is one in which components automatically configure their interaction in a way that is compatible with an overall architectural specification. The objective is to minimise the degree of explicit management necessary for construction and subsequent evolution whilst preserving the architectural properties implied by its specification. This paper examines the feasibility of using architectural constraints as the basis for the specification, design and implementation of self-organising architectures for distributed systems. Although we focus on organising the structure of systems, we show how component state can influence reconfiguration via interface attributes.

References

[1]

B. Ban, JavaGroups User's Guide, Cornell University, August 1999.

[2]

K. Birman, A. Schiper and P. Stephenson, Lightweight Causal and Atomic Group Multicast, ACM Transactions on Computer Systems, Vol. 9, No. 3, pp. 271-314, 1991.

Digital Library

[3]

T. Coatta and G. Neufeld, Distributed Configuration Management using Composite Objects and Constraints, Distributed Systems Engineering Journal, Vol. 1, No. 5, pp. 294-303, 1994.

[4]

S. Crane, N. Dulay, H. Fosså, J. Kramer, J. Magee, M. Sloman and K. Twidle, Configuration Management for Distributed Systems, Proc. of the IFIP/IEEE International Symposium on Integrated Network Management (ISINM 95), Santa Barbara.

Digital Library

[5]

D. Garlan, R. Allen and J. Ockerbloom, Exploiting Style in Architectural Design Environments, Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans, Louisiana, USA, pp. 175-188, December 1994.

Digital Library

[6]

I. Georgiadis, Self-organising Distributed Component Software Architectures, Department of Computing, Imperial College, 2002.

[7]

D. Hirch, P. Inverardi and U. Montanari, Graph grammars and constraint solving for software architecture styles, 3rd International Workshop on Software Architecture, pp. 69-72, 1998.

Digital Library

[8]

P. Inverardi and A. L. Wolf, Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model, IEEE Transactions on Software Engineering, Vol. 21, No. 4, pp. 373-386, 95.

Digital Library

[9]

D. Jackson, Alloy: A Lightweight Object Modelling Notation, MIT Lab for Computer Science, July 1999.

[10]

D. Jackson, I. Schechter and I. Shlyakhter, Alcoa: The Alloy Constraint Analyzer, International Conference on Software Engineering, Limerick, Ireland, June 2000.

Digital Library

[11]

D. Jackson and K. Sullivan, COM Revisited: Tool-Assisted Modelling of an Architectural Framework, ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering, San Diego, California, pp. 149-158.

Digital Library

[12]

C. Karamanolis and J. Magee, Client-Access Protocols for Replicated Services, IEEE Transactions on Software Engineering, Vol. 25, No. 1, pp., 1999.

Digital Library

[13]

J. Kramer and J. Magee, The Evolving Philosophers Problem: Dynamic Change Management, IEEE Trans. on Software Engineering, Vol. 16, No. 11, pp. 1293-1306, 1990.

Digital Library

[14]

J. Kramer and J. Magee, Analysing Dynamic Change in Distributed Software Architectures, IEE Proceedings --- Software, Vol. 145, No. 5, pp. 146-154, 1998.

[15]

J. Magee, N. Dulay, S. Eisenbach and J. Kramer, Specifying Distributed Software Architectures, 5th European Software Engineering Conference (ESEC'95), Sitges, Spain, 989, pp. 137-153, September 1995.

Digital Library

[16]

J. Magee and J. Kramer, Dynamic Structure in Software Architectures, 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, California, USA, 21, pp. 3-14, October 1996.

Digital Library

[17]

J. Magee and J. Kramer, Self-Organising Software Architectures, 2nd International Software Architecture Workshop.

Digital Library

[18]

D. L. Metayer, Software Architecture Styles as Graph Grammars, 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 15-23, November 1996.

Digital Library

[19]

N. Minsky, Building Reconfiguration Primitives into the Law of a System, 3rd International Conference on Configurable Distributed Systems, Annapolis, pp. 89-97.

Digital Library

[20]

P. Oreizy, M. M. Gorlick, R. N. Taylor, G. Johnson, N. Medvidovic, A. Quilici, D. S. Rosenblum and A. L. Wolf, An Architecture-Based Approach to Self-Adaptive Software, IEEE Intelligent Systems, Vol. 14, No. 3, pp. 54-62, 1999.

Digital Library

[21]

D. E. Perry and A. L. Wolf, Foundations for the Study of Software Architectures, ACM SIGSOFT Software Engineering Notes, Vol. 17, No. 4, pp. 40-52, 1992.

Digital Library

[22]

B. Schmerl and D. Garlan, Exploiting Architectural Design Knowledge to Support Self-repairing Systems, 14th International Conf. on Software Engineering and Knowledge Engineering, Ischia, Italy, 2002.

Digital Library

[23]

M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 96.

Digital Library

[24]

M. Wermelinger, Towards a Chemical Model for Software Architecture Reconfiguration, IEE Proceedings --- Software, Vol. 145, No. 5, pp. 130-136, 1998.

Cited By

Song JBae D(2023)Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case studyJournal of Systems and Software10.1016/j.jss.2023.111840206(111840)Online publication date: Dec-2023
https://doi.org/10.1016/j.jss.2023.111840
Dias RFilho RBittencourt LCosta F(2022)Runtime Microservice Self-distribution for Fine-grain Resource Allocation2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing (UCC)10.1109/UCC56403.2022.00043(234-239)Online publication date: Dec-2022
https://doi.org/10.1109/UCC56403.2022.00043
Song JKang JHyun SJee EBae D(2022)Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicingInformation and Software Technology10.1016/j.infsof.2022.106904147:COnline publication date: 1-Jul-2022
https://dl.acm.org/doi/10.1016/j.infsof.2022.106904
Show More Cited By

Recommendations

Dynamic software architectures: formal specification and verification with CSP
Internetware '12: Proceedings of the Fourth Asia-Pacific Symposium on Internetware

Compared to the traditional software architecture, Dynamic Software Architectures (DSAs) should be able to describe the changes of the system and to effect modifications during system execution, especially for dynamic evolution. To reflect the changes ...
Specifying and Verifying Reconfigurable Software Architectures
PDSE '00: Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems

The concept of software architecture, also said system structure or system configuration is especially important to design complex software systems, providing a model of the large-scale structural properties of systems. Module interconnection languages (...
Domains of concern in software architectures and architecture description languages
DSL'97: Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997

Software architectures shift the focus of developers from lines-of-code to coarser-grained elements and their interconnection structure. Architecture description languages (ADLs) have been proposed as domain-specific languages for the domain of software ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

WOSS '02: Proceedings of the first workshop on Self-healing systems

November 2002

120 pages

ISBN:1581136099

DOI:10.1145/582128

Editors:
David Garlan
Carnegie Mellon University
,
Jeff Kramer
Imperial College
,
Alexander Wolf
University of Colorado

Copyright © 2002 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

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 November 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

WOSS02

Sponsor:

SIGSOFT

WOSS02: Workshop on Self-Healing Systems [co-located with ACM SIGSOFT 2002: 10th International Symposium on the Foundations of Software Engineering ]

November 18 - 19, 2002

South Carolina, Charleston

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

208
Total Citations
View Citations
2,728
Total Downloads

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

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Song JBae D(2023)Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case studyJournal of Systems and Software10.1016/j.jss.2023.111840206(111840)Online publication date: Dec-2023
https://doi.org/10.1016/j.jss.2023.111840
Dias RFilho RBittencourt LCosta F(2022)Runtime Microservice Self-distribution for Fine-grain Resource Allocation2022 IEEE/ACM 15th International Conference on Utility and Cloud Computing (UCC)10.1109/UCC56403.2022.00043(234-239)Online publication date: Dec-2022
https://doi.org/10.1109/UCC56403.2022.00043
Song JKang JHyun SJee EBae D(2022)Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicingInformation and Software Technology10.1016/j.infsof.2022.106904147:COnline publication date: 1-Jul-2022
https://dl.acm.org/doi/10.1016/j.infsof.2022.106904
Kovalenko AKuchuk H(2022)Methods to Manage Data in Self-healing SystemsAdvances in Self-healing Systems Monitoring and Data Processing10.1007/978-3-030-96546-4_3(113-171)Online publication date: 3-Mar-2022
https://doi.org/10.1007/978-3-030-96546-4_3
Kuchuk NTkachov V(2022)Self-healing Systems ModellingAdvances in Self-healing Systems Monitoring and Data Processing10.1007/978-3-030-96546-4_2(57-111)Online publication date: 3-Mar-2022
https://doi.org/10.1007/978-3-030-96546-4_2
Kühn EŠešum-Čavić V(2022)A Framework-Based Approach for Flexible Evaluation of Swarm-Intelligent AlgorithmsWomen in Computational Intelligence10.1007/978-3-030-79092-9_18(393-412)Online publication date: 14-Apr-2022
https://doi.org/10.1007/978-3-030-79092-9_18
El-Hokayem ABozga MSifakis J(2021)A framework for the specification and validation of dynamic reconfigurable systemsACM SIGAPP Applied Computing Review10.1145/3477127.347712921:2(18-32)Online publication date: 20-Jul-2021
https://dl.acm.org/doi/10.1145/3477127.3477129
El-Hokayem ABozga MSifakis JHung CHong JBechini ASong E(2021)A temporal configuration logic for dynamic reconfigurable systemsProceedings of the 36th Annual ACM Symposium on Applied Computing10.1145/3412841.3442017(1419-1428)Online publication date: 22-Mar-2021
https://dl.acm.org/doi/10.1145/3412841.3442017
Arellanes D(2021)Self-Organizing Software Models for the Internet of Things: Complex Software Structures That Emerge Without a Central ControllerIEEE Systems, Man, and Cybernetics Magazine10.1109/MSMC.2021.30628227:3(4-9)Online publication date: Jul-2021
https://doi.org/10.1109/MSMC.2021.3062822
Petitdemange FBorne IBuisson J(2021)Design process for system of systems reconfigurationsSystems Engineering10.1002/sys.2156724:2(69-82)Online publication date: 12-Jan-2021
https://doi.org/10.1002/sys.21567
Show More Cited By

View Options

Get Access

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.

Media

Figures

Other

Tables

View Table of Contents