Algebraic semantics of design abstractions for context-awareness

Authors:
Antónia Lopes;José Luiz Fiadeiro
Affiliations:
Department of Informatics, Faculty of Sciences, University of Lisbon, Lisboa, Portugal;Department of Computer Science, University of Leicester, Leicester, UK
Venue:
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Year:
2004

Citing 14
Cited 2

Parallel program design: a foundation

Parallel program design: a foundation
Mobile UNITY: reasoning and specification in mobile computing

ACM Transactions on Software Engineering and Methodology (TOSEM)
KLAIM: A Kernel Language for Agents Interaction and Mobility

IEEE Transactions on Software Engineering
LIME: Linda meets mobility

Proceedings of the 21st international conference on Software engineering
Service Combinators for Web Computing

IEEE Transactions on Software Engineering
Architectural primitives for distribution and mobility

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Modeling Context Information in Pervasive Computing Systems

Pervasive '02 Proceedings of the First International Conference on Pervasive Computing
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Sumatra: A Language for Resource-Aware Mobile Programs

MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Context-Sensitive Resource Discovery

PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
A Survey of Context-Aware Mobile Computing Research

A Survey of Context-Aware Mobile Computing Research
An infrastructure for context-awareness based on first order logic

Personal and Ubiquitous Computing
A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications

Human-Computer Interaction

The Calculus of Context-aware Ambients

Journal of Computer and System Sciences
Context-awareness in software architectures

EWSA'05 Proceedings of the 2nd European conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

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.