Sciweavers

Share
WOSS
2004
ACM

Towards preserving correctness in self-managed software systems

10 years 17 days ago
Towards preserving correctness in self-managed software systems
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 selfmanaged 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. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification; D.2.9 [Software Engineering]:...
Lieven Desmet, Nico Janssens, Sam Michiels, Frank
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where WOSS
Authors Lieven Desmet, Nico Janssens, Sam Michiels, Frank Piessens, Wouter Joosen, Pierre Verbaeten
Comments (0)
books