Quantitative resource-oriented analysis of Java (Adaptable) applications

Authors:
Fabio Mancinelli;Paola Inverardi
Affiliations:
Università dell'Aquila, Coppito - L'Aquila;Università dell'Aquila, Coppito - L'Aquila
Venue:
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Year:
2007

Citing 8
Cited 5

The C programming language

The C programming language
Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Performance Engineering of Software Systems

Performance Engineering of Software Systems
Java Virtual Machine Specification

Java Virtual Machine Specification
SLAng: A Language for Defining Service Level Agreements

FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
An Architecture for Post-Development Configuration Management in a Wide-Area Network

ICDCS '97 Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS '97)
Mobile resource guarantees for smart devices

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Dynamically Evolvable Dependable Software: From Oxymoron to Reality

Concurrency, Graphs and Models
The Future of Software: Adaptation and Dependability

Software Engineering
Software of the future is the future of software?

TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
A programming model for adaptable Java applications

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
A hybrid approach for resource-based comparison of adaptable Java applications

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.