Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Title of host publication | QoSA 2014 |
---|---|
Date | Published - 1 Jan 2014 |
Pages | 93-102 |
Number of pages | 10 |
Publisher | Association for Computing Machinery (ACM) |
Original language | English |
ISBN (Print) | 9781450325769 |
We present a generic method for the effcient constraint re- resolution of a component-based software architecture after changes such as addition, removal and modification of components. Given a formal description of an evolving system as a constraint-specification problem, our method identifies and executes the re-resolution steps required to verify the system's compliance with constraints after each change. At each step, satisfiability modulo theory (SMT) techniques determine the satisfiability of component constraints expressed as logical formulae over suitably chosen theories of arithmetic, reusing results obtained in previous steps. We illustrate the application of the approach on a constraint- satisfaction problem arising from cloud-deployed software services. The incremental method is shown to re-resolve sys- tem constraints in a fraction of the time taken by standard SMT resolution.
Project: Research project (funded) › Research
Find related publications, people, projects, datasets and more using interactive charts.