Community on the move: Architectures for distribution and mobility

José Luiz Fiadeiro; Antónia Lopes

doi:10.1007/978-3-540-30101-1_8

Community on the move: Architectures for distribution and mobility

José Luiz Fiadeiro
, Antónia Lopes

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

11 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 language	English
Title of host publication	Formal Methods for Components and Objects. FMCO 2003
Editors	F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever
Publisher	Springer
Pages	177-196
Number of pages	20
Volume	3188
ISBN (Electronic)	9783540301011
ISBN (Print)	9783540229421
DOIs	https://doi.org/10.1007/978-3-540-30101-1_8
Publication status	Published - 1 Dec 2004
Event	Second International Symposium, FMCO 2003 - Leiden, Netherlands Duration: 4 Nov 2003 → 7 Nov 2003 https://www.lorentzcenter.nl/lc/web/2003/91/report.html

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
ISSN (Print)	0302-9743

Conference

Conference	Second International Symposium, FMCO 2003
Country/Territory	Netherlands
City	Leiden
Period	4/11/03 → 7/11/03
Internet address	https://www.lorentzcenter.nl/lc/web/2003/91/report.html

Keywords

Mode Controller
Output Location
CommUnity Design
Abstraction Principle
Configuration Diagram

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-30101-1_8

Cite this

Fiadeiro, J. L., & Lopes, A. (2004). Community on the move: Architectures for distribution and mobility. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects. FMCO 2003 (Vol. 3188, pp. 177-196). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Springer . https://doi.org/10.1007/978-3-540-30101-1_8

Fiadeiro, José Luiz ; Lopes, Antónia. / Community on the move : Architectures for distribution and mobility. Formal Methods for Components and Objects. FMCO 2003. editor / F. S. de Boer ; M. M. Bonsangue ; S. Graf ; W. P. de Roever. Vol. 3188 Springer , 2004. pp. 177-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{85c29d8c6f914ba98322b48a4ea05580,

title = "Community on the move: Architectures for distribution and mobility",

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.",

keywords = "Mode Controller, Output Location, CommUnity Design, Abstraction Principle, Configuration Diagram",

author = "Fiadeiro, \{Jos{\'e} Luiz\} and Ant{\'o}nia Lopes",

year = "2004",

month = dec,

day = "1",

doi = "10.1007/978-3-540-30101-1\_8",

language = "English",

isbn = "9783540229421",

volume = "3188",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer ",

pages = "177--196",

editor = "\{de Boer\}, \{F. S.\} and Bonsangue, \{M. M. \} and S. Graf and \{de Roever\}, \{W. P.\}",

booktitle = "Formal Methods for Components and Objects. FMCO 2003",

note = "Second International Symposium, FMCO 2003 ; Conference date: 04-11-2003 Through 07-11-2003",

url = "https://www.lorentzcenter.nl/lc/web/2003/91/report.html",

}

Fiadeiro, JL & Lopes, A 2004, Community on the move: Architectures for distribution and mobility. in FS de Boer, MM Bonsangue, S Graf & WP de Roever (eds), Formal Methods for Components and Objects. FMCO 2003. vol. 3188, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer , pp. 177-196, Second International Symposium, FMCO 2003, Leiden, Netherlands, 4/11/03. https://doi.org/10.1007/978-3-540-30101-1_8

Community on the move: Architectures for distribution and mobility. / Fiadeiro, José Luiz; Lopes, Antónia.
Formal Methods for Components and Objects. FMCO 2003. ed. / F. S. de Boer; M. M. Bonsangue; S. Graf; W. P. de Roever. Vol. 3188 Springer , 2004. p. 177-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Community on the move

T2 - Second International Symposium, FMCO 2003

AU - Fiadeiro, José Luiz

AU - Lopes, Antónia

PY - 2004/12/1

Y1 - 2004/12/1

N2 - 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.

AB - 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.

KW - Mode Controller

KW - Output Location

KW - CommUnity Design

KW - Abstraction Principle

KW - Configuration Diagram

UR - https://www.scopus.com/pages/publications/33745764679

U2 - 10.1007/978-3-540-30101-1_8

DO - 10.1007/978-3-540-30101-1_8

M3 - Conference contribution

AN - SCOPUS:33745764679

SN - 9783540229421

VL - 3188

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 177

EP - 196

BT - Formal Methods for Components and Objects. FMCO 2003

A2 - de Boer, F. S.

A2 - Bonsangue, M. M.

A2 - Graf, S.

A2 - de Roever, W. P.

PB - Springer

Y2 - 4 November 2003 through 7 November 2003

ER -

Fiadeiro JL, Lopes A. Community on the move: Architectures for distribution and mobility. In de Boer FS, Bonsangue MM, Graf S, de Roever WP, editors, Formal Methods for Components and Objects. FMCO 2003. Vol. 3188. Springer . 2004. p. 177-196. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-30101-1_8

Community on the move: Architectures for distribution and mobility

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this