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.

[1]  G. Barthe,et al.  Mobile Resource Guarantees for Smart Devices , 2005 .

[2]  C. M. Sperberg-McQueen,et al.  Extensible markup language , 1997 .

[3]  Richard S. Hall,et al.  An architecture for post-development configuration management in a wide-area network , 1997, Proceedings of 17th International Conference on Distributed Computing Systems.

[4]  Connie U. Smith,et al.  Performance Engineering of Software Systems , 1990, SIGMETRICS Perform. Evaluation Rev..

[5]  Richard S. Hall,et al.  The Software Dock: An Architecture for Post-Development Configuration Management in a Wide-Area Network. , 1997, ICDCS 1997.

[6]  Brian W. Kernighan,et al.  The C Programming Language , 1978 .

[7]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[8]  Oleg Sokolsky.  Resource modeling for embedded systems design , 2004, Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings..

[9]  Robert W. Floyd,et al.  Assigning meaning to programs , 1967 .

[10]  Brian W. Kernighan,et al.  The C Programming Language, Second Edition , 1988 .

[11]  Wolfgang Emmerich,et al.  SLAng: a language for defining service level agreements , 2003, The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings..

[12]  Patrick Cousot,et al.  Static determination of dynamic properties of programs , 1976 .

[13]  Heiko Ludwig,et al.  Web Service Level Agreement (WSLA) Language Specification , 2003 .