Bisimulation abstraction for selecting software components in RAISE

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. RAIS...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Estévez, Elsa Clara, Janowski, Tomasz
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1999
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
Software
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22262
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22262
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
SOFTWARE ENGINEERING
Software
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
Software
Estévez, Elsa Clara
Janowski, Tomasz
Bisimulation abstraction for selecting software components in RAISE
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
Software
description 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.
format Objeto de conferencia
Objeto de conferencia
author Estévez, Elsa Clara
Janowski, Tomasz
author_facet Estévez, Elsa Clara
Janowski, Tomasz
author_sort Estévez, Elsa Clara
title Bisimulation abstraction for selecting software components in RAISE
title_short Bisimulation abstraction for selecting software components in RAISE
title_full Bisimulation abstraction for selecting software components in RAISE
title_fullStr Bisimulation abstraction for selecting software components in RAISE
title_full_unstemmed Bisimulation abstraction for selecting software components in RAISE
title_sort bisimulation abstraction for selecting software components in raise
publishDate 1999
url http://sedici.unlp.edu.ar/handle/10915/22262
work_keys_str_mv AT estevezelsaclara bisimulationabstractionforselectingsoftwarecomponentsinraise
AT janowskitomasz bisimulationabstractionforselectingsoftwarecomponentsinraise
bdutipo_str Repositorios
_version_ 1764820465479581699

Ejemplares similares