University of Limerick
Browse

A formalised, taxonomy-driven approach to cross-layer application adaptation

Download (3.58 MB)
journal contribution
posted on 2012-07-18, 15:11 authored by Razvan Popescu, Athanasios Staikopoulos, Antonio Brogi, Peng Liu, Siobhán Clarke
Advances in pervasive technology have made it possible to consider large-scale application types that potentially span heterogeneous organisations, technologies and device types. This class of application will have a multi-layer architecture, where each layer is likely to use languages and technologies appropriate to its own concerns. An example application is a geographically-large-scale crisis management system. Typically, such applications are required to dynamically adapt their behaviour based on current circumstances, with adaptations potentially a ecting all layers of the application. The complexities involved in dynamically adapting multi-layer applications will significantly benefit from formal approaches to its specification. This paper presents a new methodology for exible, multi-layer application adaptation, with layer-specific adaptation solution templates bound to application mismatches that are organised into hierarchical taxonomies.Templates can be linked either through direct invocations or through adaptation events, supporting exible cross-layer adaptation. The methodology illustrates the use of di erent formalisms for di erent elements of its specification. In particular, we combine semi-formal metamodelling techniques for the system model specification with formal Petri nets, which are used to capture template matchmaking using reachability analysis. This work demonstrates how existing formalisms can be used for the specification of a generic adaptation model for pervasive applications.

History

Publication

ACM Transactions on Autonomous and Adaptive System;7(1), Article No 7.

Publisher

Association for Computing Machinery

Note

peer-reviewed

Other Funding information

SFI

Rights

"© ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Transactions on Autonomous and Adaptive System 7(1), Article No. 7 http://dx.doi.org/10.1145/2168260.2168267

Language

English

Usage metrics

    University of Limerick

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC