Modelling the GSM handover protocol in commUnity

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

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)


CommUnity is a formal approach to software architecture. It has a precise, yet intuitive mathematical semantics based on category theory. It supports, at the methodological level, a clear separation between computation, coordination, and distribution (including mobility). It provides a simple state-based language for describing component behaviour that is inspired by Unity and Interacting Processes. It also addresses composition as a first class concern and accounts for the emergence of global system properties from interconnections. This paper describes the approach and available tool support by modelling essential aspects of the GSM handover protocol. We also sketch a framework that we are implementing for the distributed execution of such specifications using Klava, a Java library for mobile agent systems based on tuple spaces.

Original languageEnglish
Pages (from-to)3-25
Number of pages23
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - 1 Dec 2005


  • (Dynamic) configuration
  • (Software) Architecture
  • Composition
  • Connector
  • Coordination
  • Distribution
  • Mobility
  • Superposition

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Modelling the GSM handover protocol in commUnity'. Together they form a unique fingerprint.

Cite this