A Resource-Oriented Static Analysis Approach to Adaptable Java Applications

Abstract

In this paper we present a static analysis approach for inspecting Java programs and characterizing them with respect to their resource consumption in a given execution environment. We target, in particular, resource constrained devices that are characterized by resource scarcity and limited computational power. The focus of this paper is on a parametrical Abstract Resource Analyzer that performs the actual analysis and is supported by a Resource Model that allows us to abstract application behavior in terms of its resource needs. The presented components are integrated in a larger framework that provides a complete system for reasoning and adapting Java programs with respect to heterogeneous contexts.

Handling Data-Based Concurrency in Context-Aware Service Protocols

“…Then, the resulting set is given to the user, who selects the pairs of label dependencies he/she wants to preserve, and chooses the exe-cution order for each pair. Let us suppose the user only selects the pair (l ac 4 , l mc 4 ) to control the concurrent execution of the operation checkAccount in both AC and MC, by executing l ac 4 before l mc 4 : LD = {(l ac 4 > l mc 4 )}. Last, Algorithm 2 takes LD as input and extends it with new dependencies needed to execute the semantic rules PLD1, PLD2 and PLD3.…”

A programming model for adaptable Java applications

“…The latter is a model that permits developers to attach non-functional information at generic code level, and users to specify the required Service Level Specification (SLS), i.e., Qualities of Service (QoS). For a detailed description of the resource and SLS models please refer to [3,4,17] Chameleon Server-side. Still referring to Figure 1, the Abstract Resource Analyzer (ARA -see [4,17] for details) is an interpreter that, abstracting a standard JVM, is able to analyse the application alternatives (3), and derive their Offered SLSs (5.a) and Resource Demands (5.b).…”

“…For a detailed description of the resource and SLS models please refer to [3,4,17] Chameleon Server-side. Still referring to Figure 1, the Abstract Resource Analyzer (ARA -see [4,17] for details) is an interpreter that, abstracting a standard JVM, is able to analyse the application alternatives (3), and derive their Offered SLSs (5.a) and Resource Demands (5.b). ARA is parametric with respect to the characteristics of the execution environment as described through the Resource Consumption Profile sent by the device (4.a).…”

“…CHAMELEON is a framework [1][2][3][4]17] for to develop and deploy adaptable Java applications. The CHAMELEON framework architecture is shown in Figure 1.…”

“…They are part of CHAMELEON, a framework that provides both an integrated development environment and a proper context-aware run-time support to adaptable Java applications for limited devices [1][2][3][4]17]. As it will be clear later, the declarative and generative nature of the programming model spares developers the writing of the adaptation logic by using conditionals to explicitly and a priori treat contextual situations, and all the possible associations with behavioural variations.…”