Towards an Assume-Guarantee Theory for Adaptable Systems

Free registration required

Executive Summary

Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should be performed preserving some properties that the authors call invariants. This paper presents a step towards the definition of a theoretical assume-guarantee framework that allows one to efficiently define under which conditions adaptation can be performed by still preserving the desired invariant. The framework aims to cope with different levels of granularity that span from code to software architecture.

  • Format: PDF
  • Size: 367.9 KB