Busque entre los 155900 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-10-26T18:23:51Z | |
dc.date.available | 2012-10-26T18:23:51Z | |
dc.date.issued | 2005-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/23079 | |
dc.description.abstract | 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. | es |
dc.language | es | es |
dc.subject | Software process models (e.g., CMM, ISO, PSP) | es |
dc.subject | Temporal logic | es |
dc.subject | Model checking | es |
dc.title | Modelización y verificación automática de un proceso software | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Sosa, Mabel | es |
sedici.creator.person | Ledesma, María I. | es |
sedici.creator.person | Acuña, Silvia T. | es |
sedici.description.note | II Workshop de Ingeniería de Software y Bases de Datos (WISBD) | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2005-10 | |
sedici.relation.event | XI Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |