Algebraic specifications and refinement for component-based development using RAISE
- Autores
- Estévez, Elsa Clara; Fillottrani, Pablo Rubén
- Año de publicación
- 2002
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class expressions in a formal specification language, and we present several refinement steps for component development, introducing in each one design decisions and implementation details. This evolution starts from the initial specification of a component as an abstract module, and finishes with the final deployment as fully implemented code. The usage of formal tools helps to assure the correctness of each step, and provides the ground to introduce complementarytechniques, such as bisimulations, for the process of component integration.
Facultad de Informática - Materia
-
Ciencias Informáticas
formal methods
component-based development
SOFTWARE ENGINEERING
Requirements/Specifications - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc/3.0/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/9443
Ver los metadatos del registro completo
id |
SEDICI_cdecba828b57ee26ecaf68efc4242be3 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/9443 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Algebraic specifications and refinement for component-based development using RAISEEstévez, Elsa ClaraFillottrani, Pablo RubénCiencias Informáticasformal methodscomponent-based developmentSOFTWARE ENGINEERINGRequirements/SpecificationsThere are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class expressions in a formal specification language, and we present several refinement steps for component development, introducing in each one design decisions and implementation details. This evolution starts from the initial specification of a component as an abstract module, and finishes with the final deployment as fully implemented code. The usage of formal tools helps to assure the correctness of each step, and provides the ground to introduce complementarytechniques, such as bisimulations, for the process of component integration.Facultad de Informática2002info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf28-33http://sedici.unlp.edu.ar/handle/10915/9443enginfo:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct02-5.pdfinfo:eu-repo/semantics/altIdentifier/issn/1666-6038info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc/3.0/Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:23:30Zoai:sedici.unlp.edu.ar:10915/9443Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:23:30.821SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Algebraic specifications and refinement for component-based development using RAISE |
title |
Algebraic specifications and refinement for component-based development using RAISE |
spellingShingle |
Algebraic specifications and refinement for component-based development using RAISE Estévez, Elsa Clara Ciencias Informáticas formal methods component-based development SOFTWARE ENGINEERING Requirements/Specifications |
title_short |
Algebraic specifications and refinement for component-based development using RAISE |
title_full |
Algebraic specifications and refinement for component-based development using RAISE |
title_fullStr |
Algebraic specifications and refinement for component-based development using RAISE |
title_full_unstemmed |
Algebraic specifications and refinement for component-based development using RAISE |
title_sort |
Algebraic specifications and refinement for component-based development using RAISE |
dc.creator.none.fl_str_mv |
Estévez, Elsa Clara Fillottrani, Pablo Rubén |
author |
Estévez, Elsa Clara |
author_facet |
Estévez, Elsa Clara Fillottrani, Pablo Rubén |
author_role |
author |
author2 |
Fillottrani, Pablo Rubén |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas formal methods component-based development SOFTWARE ENGINEERING Requirements/Specifications |
topic |
Ciencias Informáticas formal methods component-based development SOFTWARE ENGINEERING Requirements/Specifications |
dc.description.none.fl_txt_mv |
There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class expressions in a formal specification language, and we present several refinement steps for component development, introducing in each one design decisions and implementation details. This evolution starts from the initial specification of a component as an abstract module, and finishes with the final deployment as fully implemented code. The usage of formal tools helps to assure the correctness of each step, and provides the ground to introduce complementarytechniques, such as bisimulations, for the process of component integration. Facultad de Informática |
description |
There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class expressions in a formal specification language, and we present several refinement steps for component development, introducing in each one design decisions and implementation details. This evolution starts from the initial specification of a component as an abstract module, and finishes with the final deployment as fully implemented code. The usage of formal tools helps to assure the correctness of each step, and provides the ground to introduce complementarytechniques, such as bisimulations, for the process of component integration. |
publishDate |
2002 |
dc.date.none.fl_str_mv |
2002 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Articulo http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/9443 |
url |
http://sedici.unlp.edu.ar/handle/10915/9443 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct02-5.pdf info:eu-repo/semantics/altIdentifier/issn/1666-6038 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc/3.0/ Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc/3.0/ Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) |
dc.format.none.fl_str_mv |
application/pdf 28-33 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260060390031360 |
score |
13.13397 |