Designing ubiquitous applications: proposal of a specification environment

Authors:
Isabel Cafezeiro;José Viterbo;Alexandre Rademaker;Edward Hermann Haeusler;Markus Endler
Affiliations:
Universidade Federal Fluminense, Niterói, Brazil;Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, Brazil;Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, Brazil;Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, Brazil;Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, Brazil
Venue:
MUCS '09 Proceedings of the 6th international workshop on Managing ubiquitous communications and services
Year:
2009

Citing 5
Cited 0

Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
Egocentric context-aware programming in ad hoc mobile environments

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Ontology and Context

PERCOM '08 Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications
Ubiquitous Service Regulation Based on Dynamic Rules

ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
Context-awareness in software architectures

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

In ubiquitous applications, where the meaning of an entity, such as a user or service, depends on environment-specific constraints and dynamic changes in the environment have to be considered in all stages of development, the separation between the system's behaviour and its context representation (a.k.a. context model) is essential for facilitating the development of such inherently complex systems. At the same time, because of its well-known benefits, a formal specifications should be considered not only for describing the system's behaviour, but also the corresponding context model. Considering this, we propose in this paper an environment to support context modelling through formal specification. For this sake, we adopt the algebra of contextualized entities proposed and define levels of abstractions over its diagrams, enabling a stepwise construction of modular specifications. The overall goal is to reduce the gap between the formal description of an ubiquitous application and its implementation.