An architectural approach to mobility - The handover case study

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

doi:10.1109/WICSA.2004.1310715

An architectural approach to mobility - The handover case study

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

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)
Publisher	IEEE Computer Society
Pages	305-308
Number of pages	4
ISBN (Print)	076952172X, 9780769521725
DOIs	https://doi.org/10.1109/WICSA.2004.1310715
Publication status	Published - 1 Jan 2004
Event	Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004) - Oslo, Norway Duration: 12 Jun 2004 → 15 Jun 2004

Conference

Conference	Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)
Country/Territory	Norway
City	Oslo
Period	12/06/04 → 15/06/04

ASJC Scopus subject areas

General Engineering

Access to Document

10.1109/WICSA.2004.1310715

Cite this

@inproceedings{f61aa3c2e7eb48c8aae514075c1fa5fd,

title = "An architectural approach to mobility - The handover case study",

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.",

author = "Crist{\'o}v{\~a}o Oliveira and Michel Wermelinger and Fiadeiro, {Jos{\'e} Luiz} and Ant{\'o}nia Lopes",

year = "2004",

month = jan,

day = "1",

doi = "10.1109/WICSA.2004.1310715",

language = "English",

isbn = "076952172X",

pages = "305--308",

booktitle = "Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)",

publisher = "IEEE Computer Society",

address = "United States",

note = "Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004) ; Conference date: 12-06-2004 Through 15-06-2004",

}

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

TY - GEN

T1 - An architectural approach to mobility - The handover case study

AU - Oliveira, Cristóvão

AU - Wermelinger, Michel

AU - Fiadeiro, José Luiz

AU - Lopes, Antónia

PY - 2004/1/1

Y1 - 2004/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=4944252818&partnerID=8YFLogxK

U2 - 10.1109/WICSA.2004.1310715

DO - 10.1109/WICSA.2004.1310715

M3 - Conference contribution

AN - SCOPUS:4944252818

SN - 076952172X

SN - 9780769521725

SP - 305

EP - 308

BT - Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)

PB - IEEE Computer Society

T2 - Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)

Y2 - 12 June 2004 through 15 June 2004

ER -

An architectural approach to mobility - The handover case study

Abstract

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this