A Component Model for the ABS Language

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.