Traducción del modelo genérico del modelo de negocio a Object-Z

Este trabajo muestra el modelo genérico del modelo de negocio [BDMN04], representado gráficamente en términos de UML a través de un diagrama de clases, producto del análisis de los artefactos del Proceso Unificado que componen el modelo de negocio y sus relaciones. Además, se definen un conjunto de...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Daniele, Marcela, Martellotto, Paola, Baum, Gabriel Alfredo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2005
Materias:	Ciencias Informáticas Modelo Genérico traducción SOFTWARE ENGINEERING Modelo de Negocio Object-Z
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/21126
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-21126
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 Modelo Genérico traducción SOFTWARE ENGINEERING Modelo de Negocio Object-Z
spellingShingle	Ciencias Informáticas Modelo Genérico traducción SOFTWARE ENGINEERING Modelo de Negocio Object-Z Daniele, Marcela Martellotto, Paola Baum, Gabriel Alfredo Traducción del modelo genérico del modelo de negocio a Object-Z
topic_facet	Ciencias Informáticas Modelo Genérico traducción SOFTWARE ENGINEERING Modelo de Negocio Object-Z
description	Este trabajo muestra el modelo genérico del modelo de negocio [BDMN04], representado gráficamente en términos de UML a través de un diagrama de clases, producto del análisis de los artefactos del Proceso Unificado que componen el modelo de negocio y sus relaciones. Además, se definen un conjunto de reglas que el modelo debe verificar. Esta demostrado que el modelado gráfico es muy útil para visualizar, especificar, construir y documentar los artefactos de un sistema, brindando un lenguaje común, fácil de entender y aplicar. Sin embargo, no posee una semántica precisa, y por lo tanto, se presentan ambigüedades que originan problemas de interpretaciones erróneas o diferentes. En este sentido, se traduce el modelo genérico del modelo de negocio con un Diagrama de Clases UML a un lenguaje de especificación formal. Esta definición, realizada en Object-Z, permite expresar sin ambigüedad modelos de negocio concretos en dominios particulares, y facilita el análisis de las propiedades del sistema, mostrando posibles inconsistencias, ambigüedades o incompletitudes.
format	Objeto de conferencia Objeto de conferencia
author	Daniele, Marcela Martellotto, Paola Baum, Gabriel Alfredo
author_facet	Daniele, Marcela Martellotto, Paola Baum, Gabriel Alfredo
author_sort	Daniele, Marcela
title	Traducción del modelo genérico del modelo de negocio a Object-Z
title_short	Traducción del modelo genérico del modelo de negocio a Object-Z
title_full	Traducción del modelo genérico del modelo de negocio a Object-Z
title_fullStr	Traducción del modelo genérico del modelo de negocio a Object-Z
title_full_unstemmed	Traducción del modelo genérico del modelo de negocio a Object-Z
title_sort	traducción del modelo genérico del modelo de negocio a object-z
publishDate	2005
url	http://sedici.unlp.edu.ar/handle/10915/21126
work_keys_str_mv	AT danielemarcela traducciondelmodelogenericodelmodelodenegocioaobjectz AT martellottopaola traducciondelmodelogenericodelmodelodenegocioaobjectz AT baumgabrielalfredo traducciondelmodelogenericodelmodelodenegocioaobjectz
bdutipo_str	Repositorios
_version_	1764820465484824577

Traducción del modelo genérico del modelo de negocio a Object-Z

Ejemplares similares