Bigraphical Models of Context-aware Systems

Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt, Henning Niss

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

    Abstract

    As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous computing. We find that naively encoding such systems in bigraphs is somewhat awkward; and we propose a more sophisticated modeling technique, introducing
    plato-graphical models, alleviating this awkwardness. We argue that such models are useful for simulation and point out that for reasoning about such bigraphical models, the bisimilarity inherent to bigraphical reactive systems is not enough in itself; an equivalence between the bigraphical reactive systems themselves is also needed.
    Original languageEnglish
    Place of PublicationCopenhagen
    PublisherIT-Universitetet i København
    EditionTR-2005-74
    Number of pages24
    ISBN (Electronic)87-7949-110-3
    Publication statusPublished - Nov 2005
    SeriesIT University Technical Report Series
    NumberTR-2005-74
    ISSN1600-6100

    Fingerprint

    Dive into the research topics of 'Bigraphical Models of Context-aware Systems'. Together they form a unique fingerprint.

    Cite this