Steps on the road to component evolvability

Authors:
Mario Bravetti;Cinzia Di Giusto;Jorge A. Pérez;Gianluigi Zavattaro
Affiliations:
Laboratory FOCUS, Università di Bologna / INRIA, Italy;INRIA Grenoble - Rhône-Alpes, France;CITI - Department of Computer Science, FCT New University of Lisbon, Portugal;Laboratory FOCUS, Università di Bologna / INRIA, Italy
Venue:
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Year:
2010

Citing 8
Cited 1

A calculus of mobile processes, I

Information and Computation
Algorithmic analysis of programs with well quasi-ordered domains

Information and Computation - Special issue: LICS 1996—Part 1
Well-structured transition systems everywhere!

Theoretical Computer Science
Communication and Concurrency

Communication and Concurrency
On the Expressiveness of Forwarding in Higher-Order Communication

ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
On the expressiveness and decidability of higher-order process calculi

Information and Computation
Adaptable processes

FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
The kell calculus: a family of higher-order distributed process calculi

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing

Adaptable processes

FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have recently developed a calculus for dynamically evolvable aggregations of components. The calculus extends CCS with primitives for describing components and their evolvability capabilities. Central to these novel primitives is a restricted form of higher-order communication of processes involved in update operations. The origins of our calculus for components can indeed be traced back to our own previous work on expressiveness and decidability results for core higher-order process calculi. Here we overview these previous works, and discuss the motivations and design decisions that led us from higher-order process calculi to calculi for component evolvability.