Finding good abstractions to model and express partial update, mobility and wrapping in object-oriented systems remains challenging. In this paper, we propose Cabs, a process calculus approach for component models that merges aspects of object-orientation and evolution. The key features of Cabs are: - a hierarchical structure of components; - the capacity to move, update, wrap components; - method interfaces for components; - and some isolation capacities to encode distribution and wrapping. Specifically, we introduce the syntax of Cabs and formulate its operational semantics. We show a number of examples of use of Cabs, with particular emphasis on common evolution patterns for components.

A Component Model for the ABS Language

LANESE, IVAN;BRAVETTI, MARIO;SANGIORGI, DAVIDE;ZAVATTARO, GIANLUIGI;
2012

Abstract

Finding good abstractions to model and express partial update, mobility and wrapping in object-oriented systems remains challenging. In this paper, we propose Cabs, a process calculus approach for component models that merges aspects of object-orientation and evolution. The key features of Cabs are: - a hierarchical structure of components; - the capacity to move, update, wrap components; - method interfaces for components; - and some isolation capacities to encode distribution and wrapping. Specifically, we introduce the syntax of Cabs and formulate its operational semantics. We show a number of examples of use of Cabs, with particular emphasis on common evolution patterns for components.
2012
Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
165
183
M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/120078
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact