Modelling the GSM Handover Protocol in CommUnity

Authors:
Cristóvão Oliveira;Michel Wermelinger;José Luiz Fiadeiro;Antónia Lopes
Affiliations:
Department of Computer Science, University of Leicester, Leicester, UK;Computing Department, The Open University, Milton Keynes, UK;Department of Computer Science, University of Leicester, Leicester, UK;Departamento de Informática, Universidade de Lisboa, Lisboa, Portugal
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 12
Cited 5

Parallel program design: a foundation

Parallel program design: a foundation
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Architectural primitives for distribution and mobility

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A graph transformation approach to software architecture reconfiguration

Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Specifying Distributed Software Architectures

Proceedings of the 5th European Software Engineering Conference
Algebraic descriptions of mobile networks: An example

Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Specification and Refinement of Dynamic Software Architectures

WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
KLAVA: a Java package for distributed and mobile applications

Software—Practice & Experience
Higher-order architectural connectors

ACM Transactions on Software Engineering and Methodology (TOSEM)
Categories for Software Engineering

Categories for Software Engineering
The CommUnity Workbench

Proceedings of the 26th International Conference on Software Engineering
An Architectural Approach to Mobility - The Handover Case Study

WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture

The CommUnity Workbench

Science of Computer Programming
Editorial: Commentary on 'Software architectures and mobility: A Roadmap'

Journal of Systems and Software
A tile logic-based semantics for mobile software architectures

International Journal of Critical Computer-Based Systems
A tile logic based semantics for mobile software architectures

VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Review: Application mobility in pervasive computing: A survey

Pervasive and Mobile Computing

Quantified Score

Hi-index	0.00

Visualization

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.