A component model for the ABS language

  • Authors:

  • Michaël Lienhardt;Ivan Lanese;Mario Bravetti;Davide Sangiorgi;Gianluigi Zavattaro;Yannick Welsch;Jan Schäfer;Arnd Poetzsch-Heffter

  • Affiliations:

  • Focus Team, University of Bologna, Italy;Focus Team, University of Bologna, Italy;Focus Team, University of Bologna, Italy;Focus Team, University of Bologna, Italy;Focus Team, University of Bologna, Italy;Software Technology Group, University of Kaiserslautern, Germany;Software Technology Group, University of Kaiserslautern, Germany;Software Technology Group, University of Kaiserslautern, Germany

  • Venue:
  • FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Finding good abstractions to model and express partial update , mobility and wrapping in object-oriented systems remains challenging. In this paper, we propose Comp, a process calculus approach for component models that merges aspects of object-orientation and evolution . The key features of Comp 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 Comp and formulate its operational semantics. We show a number of examples of use of Comp, with particular emphasis on common evolution patterns for components.