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 / M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter. - STAMPA. - LNCS 6957:(2012), pp. 165-183. (Intervento presentato al convegno Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010 tenutosi a Graz, Austria nel November 29 - December 1, 2010) [10.1007/978-3-642-25271-6_9].
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.