A Model of Evolvable Components

Fabrizio Montesi, Davide Sangiorgi [2010].
In proceedings of TGC 2010, pp. 153-171.


We present a model of components following the process calculus approach. The main problem was isolating primitives that capture the relevant concepts of component-based systems. The key features of the calculus are: a hierarchical structure of components; a prominent role to input/output interfaces; the possibility of stopping and capturing components; a mechanism of channel interactions, orthogonal to the activity of components, which may produce tunneling effects that bypass the component hierarchy.

We present the calculus, explain the syntax, formulate its operational semantics and a basic type system. We show a number of examples of use of the calculus, with particular emphasis to common evolvability patterns for components.

Additional notes
Cite (BibTeX)
Click to expand
  author       = {Fabrizio Montesi and
                  Davide Sangiorgi},
  editor       = {Martin Wirsing and
                  Martin Hofmann and
                  Axel Rauschmayer},
  title        = {A Model of Evolvable Components},
  booktitle    = {Trustworthly Global Computing - 5th International Symposium, {TGC}
                  2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6084},
  pages        = {153--171},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15640-3\_11},
  doi          = {10.1007/978-3-642-15640-3\_11},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/MontesiS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}

A PDF is available (possibly a preprint):

Download PDF