Bisimulation for component-based development

Guaranteeing that assembled components will behave as required is one of the main aspects in working with Component-Based Development. In this paper we present a formal approach for tackling this problem by applying the concept of bisimulation, originally presented in the study of concurrency theory...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Estévez, Elsa Clara, Fillottrani, Pablo Rubén
Formato: Articulo
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
component-based development
bisimulation
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9434
http://journal.info.unlp.edu.ar/wp-content/uploads/p61.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-9434
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
component-based development
bisimulation
spellingShingle Ciencias Informáticas
component-based development
bisimulation
Estévez, Elsa Clara
Fillottrani, Pablo Rubén
Bisimulation for component-based development
topic_facet Ciencias Informáticas
component-based development
bisimulation
description Guaranteeing that assembled components will behave as required is one of the main aspects in working with Component-Based Development. In this paper we present a formal approach for tackling this problem by applying the concept of bisimulation, originally presented in the study of concurrency theory. Bisimulation allows us to abstract details that are irrelevant from the behavioral point of view, such as data representations and implementation structures, providing a powerful formalism for proving software correctness properties. Thus, our approach facilitates to demonstrate the behavioral equivalence between the integrated system and the required specification. We introduce these concepts with the help of an example described in RAISE.
format Articulo
Articulo
author Estévez, Elsa Clara
Fillottrani, Pablo Rubén
author_facet Estévez, Elsa Clara
Fillottrani, Pablo Rubén
author_sort Estévez, Elsa Clara
title Bisimulation for component-based development
title_short Bisimulation for component-based development
title_full Bisimulation for component-based development
title_fullStr Bisimulation for component-based development
title_full_unstemmed Bisimulation for component-based development
title_sort bisimulation for component-based development
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/9434
http://journal.info.unlp.edu.ar/wp-content/uploads/p61.pdf
work_keys_str_mv AT estevezelsaclara bisimulationforcomponentbaseddevelopment
AT fillottranipabloruben bisimulationforcomponentbaseddevelopment
bdutipo_str Repositorios
_version_ 1764820491189616641

Ejemplares similares