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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.