Article

Towards preserving correctness in self-managed software systems

Authors:

Frank Piessens,

Pierre VerbaetenAuthors Info & Claims

WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems

Pages 34 - 38

https://doi.org/10.1145/1075405.1075412

Published: 31 October 2004 Publication History

Abstract

Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and reusable software components and services. In addition, to improve manageability and evolveability, software systems are extended with management capabilities and self-managed behavior. Because of their very nature, these self-managed software systems often are mission critical and highly available. In this paper, we focus on the complexity of preserving correctness in modularized self-managed systems. We discuss the importance of consistent software compositions in the context of self-managed systems, and the need for a correctness-preserving adaptation process. We also give a flavor of possible approaches for preserving correctness, and conclude with some remarks and open questions.

References

[1]

J. Aldrich. Using Types to Enforce Architectural Structure. PhD thesis, University of Washington, August 2003.

Digital Library

[2]

A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins. Making components contract aware. In ieee-software, pages 38--45, june 1999.

Digital Library

[3]

W.-K. Chen, M. Hiltunen, and R. Schlichting. Constructing Adaptive Software in Distributed Systems. In Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS'02), pages 635--643. IEEE Computer Society, 2002.

Digital Library

[4]

P. C. Clements. A survey of architecture description languages. In Proceedings of the 8th International Workshop on Software Specification and Design, page 16. IEEE Computer Society, 1996.

Digital Library

[5]

J. E. Cook and J. A. Dage. Highly Reliable Upgrading of Components. In Proceedings of the 1999 International Conference on Software Engineering (ICSE '99), pages 203--12, Los Angeles, CA, 1999.

Digital Library

[6]

L. Desmet, F. Piessens, W. Joosen, and P. Verbaeten. Improving software reliability in data-centered software systems by enforcing composition time constraints. In Proceedings of Third Workshop on Architecting Dependable Systems (WADS2004), pages 32--36, Edinburgh, Scotland, May 2004.

[7]

K. M. Goudarzi and J. Kramer. Maintaining node consistency in the face of dynamic change. In Proceedings of the Third International Conference on Configurable Distributed Systems (ICCDS'96), pages 62--69, Annapolis, MD, USA, May 1996. IEEE Computer Society Press.

Digital Library

[8]

C. Hofmeister. Dynamic Reconfiguration of Distributed Applications. PhD thesis, Department of Computer Science, University of Maryland, Jan. 1994.

[9]

I. M. Holland. Specifying reusable components using contracts. In European Conf. on Object-Oriented Programming, pages 287--308, Utrecht, Netherlands, 1992. Springer Verlag Lecture Notes 615.

Digital Library

[10]

B. H. C. J. Zhang, Z. Yang and P. K. McKinley. Adding safeness to dynamic adaptation techniques. In Proceedings of Third Workshop on Architecting Dependable Systems (WADS 2004), pages 17--21, Edingburgh, Scotland, May 2004.

[11]

N. Janssens, L. Desmet, S. Michiels, and P. Verbaeten. NeCoMan: Middleware for Safe Distributed Service Deployment in Programmable Networks. In Middleware 2004 Workshop on Reflective and Adaptive Middleware (RM 2004), Toronto, Ontario, Canada, Oct 2004. To Appear.

Digital Library

[12]

N. Janssens, S. Michiels, T. Holvoet, and P. Verbaeten. A Modular Approach Enforcing Safe Reconfiguration of Producer-Consumer Applications. In Proceedings of The 20th IEEE International Conference on Software Maintenance (ICSM 2004), Chicago Illinois, USA, Sept. 2004.

Digital Library

[13]

N. Janssens, S. Michiels, T. Mahieu, and P. Verbaeten. Towards Hot-Swappable System Software: The DiPS/CuPS Component Framework. In Proceedings The Seventh International Workshop on Component Oriented Programming (ECOOP-WCOP 2002), 2002.

[14]

N. Janssens, E. Steegmans, T. Holvoet, and P. Verbaeten. An Agent Design Method Promoting Separation Between Computation and Coordination. In Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004), pages 456--461. ACM Press, 2004.

Digital Library

[15]

E. Kohler, R. Morris, B. Chen, J. Jannotti, and M. F. Kaashoek. The click modular router. ACM Transactions on Computer Systems, 18(3):263--297, Aug. 2000.

Digital Library

[16]

J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293--1306, 1990.

Digital Library

[17]

I. H. Krüger and R. Mathew. Systematic Development and Exploration of Service-Oriented Software Architectures. In Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA-4), Oslo, Norway, 2004. IEEE/IFIP, IEEE.

Digital Library

[18]

J. Magee and J. Kramer. Dynamic structure in software architectures. In Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pages 3--14. ACM Press, 1996.

Digital Library

[19]

N. Medvidovic and R. N. Taylor. A framework for classifying and comparing architecture description languages. In M. Jazayeri and H. Schauer, editors, Proceedings of the Sixth European Software Engineering Conference (ESEC/FSE 97), pages 60--76. Springer-Verlag, 1997.

Digital Library

[20]

S. Michiels. Component Framework Technology for Adaptable and Manageable Protocol Stacks. PhD thesis, K. U. Leuven, Dept. of Computer Science, Leuven, Belgium, Nov. 2003.

[21]

S. Michiels, L. Desmet, N. Janssens, T. Mahieu, and P. Verbaeten. Self-adapting concurrency: The DMonA architecture. In D. Garlan, J. Kramer, and A. Wolf, editors, Proceedings of the First Workshop on Self-Healing Systems (WOSS'02), pages 43--48, Charleston, SC, USA, 2002. ACM SIGSOFT, ACM press.

Digital Library

[22]

S. Michiels, L. Desmet, W. Joosen, and P. Verbaeten. The DiPS+ software architecture for self-healing protocol stacks. In Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA-4), Oslo, Norway, 2004. IEEE/IFIP, IEEE.

Digital Library

[23]

J. G. Rivera, A. A. Danylyszyn, C. B. Weinstock, L. R. Sha, and M. J. Gagliardi. An Architectural Description of the Simplex Architecture. Technical report, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, 1996.

[24]

L. Sha, R. Rajkumar, and M. Gagliardi. Evolving dependable real-time systems. In 1996 IEEE Aerospace Applications Conference. Proceedings, pages 335--46, Aspen, CO, 3-10 1996. IEEE New York, NY, USA.

[25]

J. A. Stafford and A. L. Wolf. Architecture-level dependence analysis for software systems. International Journal of Software Engineering and Knowledge Engineering, 11(4):431--451, 2001.

[26]

Sun Microsystems, Inc. J2EE platform specification. Available at http://java.sun.com/j2ee/.

[27]

C. Szyperski, D. Gruntz, and S. Murer. Component Software - Beyond Object-Oriented Programming. Addison Wesley Professional, 2nd edition, November 2002.

Digital Library

[28]

E. Truyen, B. Vanhaute, W. Joosen, and P. Verbaeten. Consistency Management in the Presence of Simultaneous Client-Specific Views. In Proceedings of the International Conference on Software Maintenance (ICSM'02), pages 501--510. IEEE Computer Society, Oct. 2002.

Digital Library

[29]

E. Truyen, B. Vanhaute, W. Joosen, P. Verbaeten, and B. N. Jørgensen. Dynamic and Selective Combination of Extensions in Component-Based Applications. In Proceedings of the 23rd International Conference on Software Engeneering (ICSE'01), pages 233--242. IEEE Computer Society, May 2001.

Digital Library

[30]

R. van Renesse, K. Birman, M. Hayden, A. Vaysburd, and D. Karr. Building adaptive systems using ensemble. Software -- Practice & Experience, 28(9):963--979, 1998.

Digital Library

[31]

M. Vieira and D. Richardson. Analyzing dependencies in large component-based systems. In Proceedings of the 17 th IEEE International Conference on Automated Software Engineering (ASE'02), page 241. IEEE Computer Society, 2002.

Digital Library

Cited By

Zhao ZLi W(2007)Dynamic Reconfiguration Planning with Influence Control6th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007)10.1109/ICIS.2007.93(867-872)Online publication date: Jul-2007
https://doi.org/10.1109/ICIS.2007.93
Li WZhao Z(2007)Automating Dynamic Reconfiguration for Non-Stop Dataflow SystemsProceedings of the 31st Annual International Computer Software and Applications Conference - Volume 0110.1109/COMPSAC.2007.83(260-267)Online publication date: 24-Jul-2007
https://dl.acm.org/doi/10.1109/COMPSAC.2007.83
Zhao ZLi W(2007)Influence Control for Dynamic ReconfigurationProceedings of the 2007 Australian Software Engineering Conference10.1109/ASWEC.2007.26(59-70)Online publication date: 10-Apr-2007
https://dl.acm.org/doi/10.1109/ASWEC.2007.26
Show More Cited By

Index Terms

Recommendations

Flexible Self-Management Using the Model-View-Controller Pattern

Future self-management software systems will need to operate in diverse environments with changing requirements. This necessitates flexible system implementations, easily customizable to target domains and associated requirements. An important part of a ...
A distributed architecture meta-model for self-managed middleware
ARM '06: Proceedings of the 5th workshop on Adaptive and reflective middleware (ARM '06)

Openness and adaptation are the fundamental properties of reflective middleware platforms. Self-managed or autonomic systems require this behaviour, and therefore, reflective middleware platforms are ideally suited to the support of such systems. ...
A software architecture approach for structuring autonomic systems
DEAS '05: Proceedings of the 2005 workshop on Design and evolution of autonomic application software

Autonomic systems manage themselves given high-level objectives by their administrators. They utilise feedback from their own execution and their environment to self-adapt in order to satisfy their goals. An important consideration for such systems is a ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems

October 2004

119 pages

ISBN:1581139896

DOI:10.1145/1075405

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

Copyright © 2004 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: 31 October 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

WOSS04

Sponsor:

SIGSOFT

WOSS04: Workshop on Self-Healing Systems [co-located with ACM SIGSOFT 2004 )

October 31 - November 1, 2004

California, Newport Beach

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
404
Total Downloads

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

Reflects downloads up to 07 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zhao ZLi W(2007)Dynamic Reconfiguration Planning with Influence Control6th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007)10.1109/ICIS.2007.93(867-872)Online publication date: Jul-2007
https://doi.org/10.1109/ICIS.2007.93
Li WZhao Z(2007)Automating Dynamic Reconfiguration for Non-Stop Dataflow SystemsProceedings of the 31st Annual International Computer Software and Applications Conference - Volume 0110.1109/COMPSAC.2007.83(260-267)Online publication date: 24-Jul-2007
https://dl.acm.org/doi/10.1109/COMPSAC.2007.83
Zhao ZLi W(2007)Influence Control for Dynamic ReconfigurationProceedings of the 2007 Australian Software Engineering Conference10.1109/ASWEC.2007.26(59-70)Online publication date: 10-Apr-2007
https://dl.acm.org/doi/10.1109/ASWEC.2007.26
Groenewegen Lde Vink E(2006)Evolution on-the-fly with paradigmProceedings of the 8th international conference on Coordination Models and Languages10.1007/11767954_7(97-112)Online publication date: 14-Jun-2006
https://dl.acm.org/doi/10.1007/11767954_7

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