Algebraic semantics of design abstractions for context-awareness

Antónia Lopes, José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

We investigate essential features of contexts and proper abstractions for modelling context-awareness within CommUnity, a language that we have been developing to support architectural design of distributed and mobile system. Under the assumption that the context that a component perceives is determined by its current position, we explore the use of abstract data types for defining design primitives through which different notions of context can be modelled explicitly according to the application domain.

Original languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques
Subtitle of host publication17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
EditorsJ. L. Fiadeiro, P. D. Mosses, F. Orejas
Place of PublicationBerlin
PublisherSpringer Verlag
Pages79-93
Number of pages15
ISBN (Electronic)9783540319597
ISBN (Print)9783540253273
DOIs
Publication statusPublished - 2005
Event17th International Workshop, WADT 2004 - Barcelona, Spain
Duration: 27 Mar 200429 Mar 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume3423
ISSN (Print)0302-9743

Conference

Conference17th International Workshop, WADT 2004
CountrySpain
CityBarcelona
Period27/03/0429/03/04

Keywords

  • Mobile System
  • Algebraic Semantic
  • Operation Symbol
  • Abstract Data Type
  • Multiple Assignment

Fingerprint Dive into the research topics of 'Algebraic semantics of design abstractions for context-awareness'. Together they form a unique fingerprint.

  • Cite this

    Lopes, A., & Fiadeiro, J. L. (2005). Algebraic semantics of design abstractions for context-awareness. In J. L. Fiadeiro, P. D. Mosses, & F. Orejas (Eds.), Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers (pp. 79-93). (Lecture Notes in Computer Science; Vol. 3423). Springer Verlag. https://doi.org/10.1007/978-3-540-31959-7_5