Modelización y verificación automática de un proceso software

En este artículo se presenta la modelización y verificación de los aspectos dinámicos y temporales de un proceso software convencional. La modelización de los aspectos dinámicos se representa mediante un metamodelo de diagramas de actividades de UML y la modelización de los aspectos temporales con u...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Sosa, Mabel, Ledesma, María I., Acuña, Silvia T.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2005
Materias:
Ciencias Informáticas
Software process models (e.g., CMM, ISO, PSP)
Temporal logic
Model checking
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23079
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23079
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Software process models (e.g., CMM, ISO, PSP)
Temporal logic
Model checking
spellingShingle Ciencias Informáticas
Software process models (e.g., CMM, ISO, PSP)
Temporal logic
Model checking
Sosa, Mabel
Ledesma, María I.
Acuña, Silvia T.
Modelización y verificación automática de un proceso software
topic_facet Ciencias Informáticas
Software process models (e.g., CMM, ISO, PSP)
Temporal logic
Model checking
description En este artículo se presenta la modelización y verificación de los aspectos dinámicos y temporales de un proceso software convencional. La modelización de los aspectos dinámicos se representa mediante un metamodelo de diagramas de actividades de UML y la modelización de los aspectos temporales con un modelo de Red de Petri. Posteriormente se comprueban las propiedades funcionales y temporales con el lenguaje de lógica temporal CTL (Computational Tree Logic). Tanto para la modelización como para la verificación se utiliza AToM3, una herramienta que posibilita el metamodelado mediante la utilización de multiformalismos, y la verificación automática mediante técnicas de comprobación o model checking. En este trabajo ha sido posible analizar el comportamiento del proceso para determinar la coherencia y consistencia de las especificaciones efectuadas como resultado de los requerimientos del diseño, permitiendo detectar los posibles fallos del modelo y efectuar las correcciones correspondientes. Así mismo se destaca la importancia de contar con herramientas de metamodelación, multiformalismos y verificación integrados, como soportes fundamentales de apoyo a los métodos convencionales de análisis y diseño del proceso software.
format Objeto de conferencia
Objeto de conferencia
author Sosa, Mabel
Ledesma, María I.
Acuña, Silvia T.
author_facet Sosa, Mabel
Ledesma, María I.
Acuña, Silvia T.
author_sort Sosa, Mabel
title Modelización y verificación automática de un proceso software
title_short Modelización y verificación automática de un proceso software
title_full Modelización y verificación automática de un proceso software
title_fullStr Modelización y verificación automática de un proceso software
title_full_unstemmed Modelización y verificación automática de un proceso software
title_sort modelización y verificación automática de un proceso software
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/23079
work_keys_str_mv AT sosamabel modelizacionyverificacionautomaticadeunprocesosoftware
AT ledesmamariai modelizacionyverificacionautomaticadeunprocesosoftware
AT acunasilviat modelizacionyverificacionautomaticadeunprocesosoftware
bdutipo_str Repositorios
_version_ 1764820468101021697

Ejemplares similares