Oliveira, Cristóvão; Wermelinger, Michel; Fiadeiro, José Luiz and Lopes, Antónia
(2005).
|
PDF (Accepted Manuscript)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (550kB) | Preview |
| DOI (Digital Object Identifier) Link: | https://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 Item |
|---|---|
| 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/School: | Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications Faculty of Science, Technology, Engineering and Mathematics (STEM) |
| Interdisciplinary Research Centre: | Centre for Research in Computing (CRC) |
| Item ID: | 1175 |
| Depositing User: | Michel Wermelinger |
| Date Deposited: | 01 Jun 2006 |
| Last Modified: | 15 Sep 2017 11:02 |
| URI: | http://oro.open.ac.uk/id/eprint/1175 |
| Share this page: |     |
Altmetrics |
Download history for this item
These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)