The Open UniversitySkip to content
 

Modelling the GSM handover protocol in CommUnity

Oliveira, Cristóvão; Wermelinger, Michel; Fiadeiro, José Luiz and Lopes, Antónia (2005). Modelling the GSM handover protocol in CommUnity. Electronic Notes in Theoretical Computer Science, 141(3) pp. 3–25.

DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1016/j.entcs.2005.06.031
Google Scholar: Look up in Google Scholar

Abstract

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.

Item Type: Journal Article
ISSN: 1571-0661
Extra Information: Invited paper for the Workshop on Formal Foundations of Embedded Systems and Component-Based Software Architectures, of which this issue contains the proceedings.
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
eSTEeM
Item ID: 1175
Depositing User: Michel Wermelinger
Date Deposited: 01 Jun 2006
Last Modified: 05 Mar 2014 10:43
URI: http://oro.open.ac.uk/id/eprint/1175
Share this page:

Altmetrics

Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk