Community on the move: Architectures for distribution and mobility

José Luiz Fiadeiro, Antónia Lopes

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

11 Citations (Scopus)


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
Number of pages20
ISBN (Electronic)9783540301011
ISBN (Print)9783540229421
Publication statusPublished - 1 Dec 2004
EventSecond International Symposium, FMCO 2003 - Leiden, Netherlands
Duration: 4 Nov 20037 Nov 2003

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


ConferenceSecond International Symposium, FMCO 2003
Internet address


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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


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

Cite this