Quantitative resource-oriented analysis of Java (Adaptable) applications

In this paper we present the mechanics of the approach that is at the core of our framework for developing and deploying adaptable applications. By leveraging this approach we are able to perform a quantitative resource-oriented analysis of Java applications. The analysis, considering the execution context of the application, allows the framework to decide what adaptation has to be chosen before the actual deployment and execution. The paper describes the resource model which is the foundation of the approach and the abstract resource analyzer. The latter performs, through an abstract operational semantics of the Java language, a static analysis of the adaptable application that enables the actual resource-oriented analysis.