Especificaciones formales tempranas del comportamiento de sistemas de software

Autores
Asteasuain, Fernando; Dubinsky, Manuel; Díaz, Federico José; Lagostena, Juan
Año de publicación
2017
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
El objetivo general del presente proyecto es facilitar la especificación formal del comportamiento de artefactos de software. La especificación formal del comportamiento esperado de artefactos de software ha sido identificada como uno de los mayores obstáculos para el desarrollo de software basado en modelos, y para la transferencia de técnicas de validación y verificación formal como model checking. La comunidad en Ingeniería de Software cree que una posible solución debe poder combinar varios condimentos: deben permitir la descripción parcial del comportamiento, la facilidad para especificar sistemas abiertos, se deben usar sintaxis simples y conocidas, deben basarse en notaciones con suficiente poder expresivo y deben soportar heterogeneidad (combinando declaratividad para estar cerca de la especificación de los requerimientos y notaciones operacionales basadas en autómatas oformalismos similares). El objetivo específico de esta investigación es el desarrollo de un nuevo lenguaje declarativo con el suficiente poder expresivo para especificar el comportamiento de sistemas abiertos, y la capacidad para operacionalizar las especificaciones. En el mismo se combinará la posibilidad de describir comportamiento parcial, permitiendo el modelado incremental, junto con la posibilidad de especificar el comportamiento de artefactos describiendo su interacción con un ambiente o contexto externo, habilitando las especificaciones de sistemas abiertos.
Eje: Ingeniería de Software.
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
lenguaje declarativo
modelado de comportamiento
especificación de comportamiento
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/61997
Acceder
id SEDICI_d1559b66b6421aaab8688111de204bcf
oai_identifier_str oai:sedici.unlp.edu.ar:10915/61997
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Especificaciones formales tempranas del comportamiento de sistemas de softwareAsteasuain, FernandoDubinsky, ManuelDíaz, Federico JoséLagostena, JuanCiencias Informáticaslenguaje declarativomodelado de comportamientoespecificación de comportamientoEl objetivo general del presente proyecto es facilitar la especificación formal del comportamiento de artefactos de software. La especificación formal del comportamiento esperado de artefactos de software ha sido identificada como uno de los mayores obstáculos para el desarrollo de software basado en modelos, y para la transferencia de técnicas de validación y verificación formal como model checking. La comunidad en Ingeniería de Software cree que una posible solución debe poder combinar varios condimentos: deben permitir la descripción parcial del comportamiento, la facilidad para especificar sistemas abiertos, se deben usar sintaxis simples y conocidas, deben basarse en notaciones con suficiente poder expresivo y deben soportar heterogeneidad (combinando declaratividad para estar cerca de la especificación de los requerimientos y notaciones operacionales basadas en autómatas oformalismos similares). El objetivo específico de esta investigación es el desarrollo de un nuevo lenguaje declarativo con el suficiente poder expresivo para especificar el comportamiento de sistemas abiertos, y la capacidad para operacionalizar las especificaciones. En el mismo se combinará la posibilidad de describir comportamiento parcial, permitiendo el modelado incremental, junto con la posibilidad de especificar el comportamiento de artefactos describiendo su interacción con un ambiente o contexto externo, habilitando las especificaciones de sistemas abiertos.Eje: Ingeniería de Software.Red de Universidades con Carreras en Informática (RedUNCI)2017-04info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf494-498http://sedici.unlp.edu.ar/handle/10915/61997spainfo:eu-repo/semantics/altIdentifier/isbn/978-987-42-5143-5info:eu-repo/semantics/reference/hdl/10915/61343info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-22T16:49:19Zoai:sedici.unlp.edu.ar:10915/61997Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-22 16:49:20.093SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Especificaciones formales tempranas del comportamiento de sistemas de software
title Especificaciones formales tempranas del comportamiento de sistemas de software
spellingShingle Especificaciones formales tempranas del comportamiento de sistemas de software
Asteasuain, Fernando
Ciencias Informáticas
lenguaje declarativo
modelado de comportamiento
especificación de comportamiento
title_short Especificaciones formales tempranas del comportamiento de sistemas de software
title_full Especificaciones formales tempranas del comportamiento de sistemas de software
title_fullStr Especificaciones formales tempranas del comportamiento de sistemas de software
title_full_unstemmed Especificaciones formales tempranas del comportamiento de sistemas de software
title_sort Especificaciones formales tempranas del comportamiento de sistemas de software
dc.creator.none.fl_str_mv Asteasuain, Fernando
Dubinsky, Manuel
Díaz, Federico José
Lagostena, Juan
author Asteasuain, Fernando
author_facet Asteasuain, Fernando
Dubinsky, Manuel
Díaz, Federico José
Lagostena, Juan
author_role author
author2 Dubinsky, Manuel
Díaz, Federico José
Lagostena, Juan
author2_role author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
lenguaje declarativo
modelado de comportamiento
especificación de comportamiento
topic Ciencias Informáticas
lenguaje declarativo
modelado de comportamiento
especificación de comportamiento
dc.description.none.fl_txt_mv El objetivo general del presente proyecto es facilitar la especificación formal del comportamiento de artefactos de software. La especificación formal del comportamiento esperado de artefactos de software ha sido identificada como uno de los mayores obstáculos para el desarrollo de software basado en modelos, y para la transferencia de técnicas de validación y verificación formal como model checking. La comunidad en Ingeniería de Software cree que una posible solución debe poder combinar varios condimentos: deben permitir la descripción parcial del comportamiento, la facilidad para especificar sistemas abiertos, se deben usar sintaxis simples y conocidas, deben basarse en notaciones con suficiente poder expresivo y deben soportar heterogeneidad (combinando declaratividad para estar cerca de la especificación de los requerimientos y notaciones operacionales basadas en autómatas oformalismos similares). El objetivo específico de esta investigación es el desarrollo de un nuevo lenguaje declarativo con el suficiente poder expresivo para especificar el comportamiento de sistemas abiertos, y la capacidad para operacionalizar las especificaciones. En el mismo se combinará la posibilidad de describir comportamiento parcial, permitiendo el modelado incremental, junto con la posibilidad de especificar el comportamiento de artefactos describiendo su interacción con un ambiente o contexto externo, habilitando las especificaciones de sistemas abiertos.
Eje: Ingeniería de Software.
Red de Universidades con Carreras en Informática (RedUNCI)
description El objetivo general del presente proyecto es facilitar la especificación formal del comportamiento de artefactos de software. La especificación formal del comportamiento esperado de artefactos de software ha sido identificada como uno de los mayores obstáculos para el desarrollo de software basado en modelos, y para la transferencia de técnicas de validación y verificación formal como model checking. La comunidad en Ingeniería de Software cree que una posible solución debe poder combinar varios condimentos: deben permitir la descripción parcial del comportamiento, la facilidad para especificar sistemas abiertos, se deben usar sintaxis simples y conocidas, deben basarse en notaciones con suficiente poder expresivo y deben soportar heterogeneidad (combinando declaratividad para estar cerca de la especificación de los requerimientos y notaciones operacionales basadas en autómatas oformalismos similares). El objetivo específico de esta investigación es el desarrollo de un nuevo lenguaje declarativo con el suficiente poder expresivo para especificar el comportamiento de sistemas abiertos, y la capacidad para operacionalizar las especificaciones. En el mismo se combinará la posibilidad de describir comportamiento parcial, permitiendo el modelado incremental, junto con la posibilidad de especificar el comportamiento de artefactos describiendo su interacción con un ambiente o contexto externo, habilitando las especificaciones de sistemas abiertos.
publishDate 2017
dc.date.none.fl_str_mv 2017-04
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/61997
url http://sedici.unlp.edu.ar/handle/10915/61997
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-987-42-5143-5
info:eu-repo/semantics/reference/hdl/10915/61343
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
494-498
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_ 1846783037781573632
score 12.982451

Publicaciones similares