Bisimulation abstraction for selecting software components in RAISE

Abstract

Sorne questions and problems arise when working with ComponentBased Design. One of these is the abstraction needed to decide suitability of a component for the designo Bisimulation is a relation between the states of two systems expressing that we cannot distinguish between them by observation. RAISE is a formal approach to industrial software engineering based on higher-order logic. In this paper we present how to apply bisimulations to compare RAISE modules. We present concepts of strong and weak bisimulations and we present examples. We conclud discussing how bisimulation supports the concept of self-contained, persistent components in RAISE, similar to object in distributed object computing.