An architectural approach to mobility - The handover case study

Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes

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

2 Citations (Scopus)

Abstract

COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separation between computation, coordination, and distribution (including mobility); and a simple state-based language, inspired by Unity, to describe behaviour. This paper discusses the applicability of this approach to locationaware systems through the modelling of the GSM handover protocol, namely the way communication with a moving cellular phone passes from one station to another. The case study was developed with the COMMUNITY Workbench, a tool that animates distributed and mobile architectural models.

Original languageEnglish
Title of host publicationProceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)
PublisherIEEE Computer Society
Pages305-308
Number of pages4
ISBN (Print)076952172X, 9780769521725
DOIs
Publication statusPublished - 1 Jan 2004
EventProceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004) - Oslo, Norway
Duration: 12 Jun 200415 Jun 2004

Conference

ConferenceProceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)
CountryNorway
CityOslo
Period12/06/0415/06/04

Fingerprint Dive into the research topics of 'An architectural approach to mobility - The handover case study'. Together they form a unique fingerprint.

  • Cite this

    Oliveira, C., Wermelinger, M., Fiadeiro, J. L., & Lopes, A. (2004). An architectural approach to mobility - The handover case study. In Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004) (pp. 305-308). IEEE Computer Society. https://doi.org/10.1109/WICSA.2004.1310715