Community on the move: Architectures for distribution and mobility

José Luiz Fiadeiro, Antónia Lopes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Abstract

Mobility has become a new factor of complexity in the construction and evolution of software systems. In this paper, we report on the extensions that we have made to CommUnity, a prototype language for architectural description, with modelling techniques that support the incremental and compositional construction of location-aware systems. We illustrate, around an example, how the proposed extensions lead to a true separation of concerns between computation, coordination and distribution in architectural models.

Original languageEnglish
Title of host publicationFormal Methods for Components and Objects. FMCO 2003
EditorsF. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever
PublisherSpringer
Pages177-196
Number of pages20
Volume3188
ISBN (Electronic)9783540301011
ISBN (Print)9783540229421
DOIs
Publication statusPublished - 1 Dec 2004
EventSecond International Symposium, FMCO 2003 - Leiden, Netherlands
Duration: 4 Nov 20037 Nov 2003
https://www.lorentzcenter.nl/lc/web/2003/91/report.html

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
ISSN (Print)0302-9743

Conference

ConferenceSecond International Symposium, FMCO 2003
CountryNetherlands
CityLeiden
Period4/11/037/11/03
Internet address

Keywords

  • Mode Controller
  • Output Location
  • CommUnity Design
  • Abstraction Principle
  • Configuration Diagram

Fingerprint Dive into the research topics of 'Community on the move: Architectures for distribution and mobility'. Together they form a unique fingerprint.

Cite this