Algebraic semantics of design abstractions for context-awareness

Antónia Lopes, José Luiz Fiadeiro

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

5 Citations (Scopus)


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
Number of pages15
ISBN (Electronic)9783540319597
ISBN (Print)9783540253273
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
ISSN (Print)0302-9743


Conference17th International Workshop, WADT 2004


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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


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

Cite this