University of Limerick
Browse
Tun_2013_specifying.pdf (292.51 kB)

Specifying software features for composition: a tool-supported approach

Download (292.51 kB)
journal contribution
posted on 2013-05-09, 13:23 authored by Thein Than Tun, Robin Laney, Yijun Yu, Bashar NuseibehBashar Nuseibeh
Development of several computing and communication technologies is enabling the widespread availability of pervasive systems. In smart home applications, household appliances|such as security alarms, heating systems, doors and windows|are connected to home digital networks. These applications o er features that are typically developed by disparate vendors, and when composed together, these features are expected to work together harmoniously. Engineering these systems poses two main challenges. The rst challenge is: how can developers of individual features specify the features in order to make them composable with other hitherto unknown features? The second challenge is: when composition of features does not produce the desired behaviour, what can be done to resolve this non-intrusively? This article argues that the two issues are intrinsically related, and proposes an approach that addresses the rst challenge in a way that makes the second challenge manageable. In particular, we describe a way of writing feature speci cations in which assumptions about the problem world are made explicit. These feature assumptions can then be evaluated at runtime in order to preserve the desired system behaviour to the extent possible. Our approach is illustrated with examples from smart home applications.

Funding

Study on Aerodynamic Characteristics Control of Slender Body Using Active Flow Control Technique

Japan Society for the Promotion of Science

Find out more...

History

Publication

Computer Networks; 57 (12), pp. 2454-2464

Publisher

Elsevier

Note

peer-reviewed

Other Funding information

SFI, ERC

Rights

This is the author’s version of a work that was accepted for publication in Computer Networks. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Computer Neworks,http://dx.doi.org/10.1016/j.comnet.2013.02.022

Language

English

Usage metrics

    University of Limerick

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC