La máquina de hacer software
En este trabajo se presenta una herramienta para realizar el relevamiento, el análisis y la validación de los requerimientos de negocio de un software en desarrollo. Está basada en la plataforma presentada en un trabajo anterior [1], la cual permite acortar y facilitar las tareas de construcción del...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Documento de conferencia submittedVersion |
| Lenguaje: | Español |
| Publicado: |
Universidad Católica de Salta. Facultad de Ingeniería (Salta)
2016
|
| Materias: | |
| Acceso en línea: | https://bibliotecas.ucasal.edu.ar/opac_css/index.php?lvl=cmspage&pageid=24&id_notice=61610 |
| Aporte de: |
| id |
I49-R155-61610 |
|---|---|
| record_format |
dspace |
| spelling |
I49-R155-616102024-12-03T19:39:00Z https://bibliotecas.ucasal.edu.ar/opac_css/index.php?lvl=cmspage&pageid=24&id_notice=61610 61610 20170613u u u0frey0103 ba spa La máquina de hacer software Universidad Católica de Salta. Facultad de Ingeniería (Salta) 2016-12-30 info:ar-repo/semantics/documento de conferencia info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/submittedVersion application/pdf 1001514 Salta (province) En este trabajo se presenta una herramienta para realizar el relevamiento, el análisis y la validación de los requerimientos de negocio de un software en desarrollo. Está basada en la plataforma presentada en un trabajo anterior [1], la cual permite acortar y facilitar las tareas de construcción del modelo de objetos que representa el negocio sobre el cual actuará la aplicación en desarrollo, en adelante nombrado como Modelo de Dominio. El objetivo de esta plataforma es acelerar el aprendizaje del negocio, achicando así el riesgo más importante de un proyecto de desarrollo de software. Fue pensada para que un analista genere la entrada escribiendo texto estructurado guiado por un editor que realiza sugerencias y coloreado del texto, según el estándar SBVR (Semantics of Business Vocabulary and Business Rules). La misma procesa el texto de entrada, lo valida contra el estándar y genera modelos de clases, patrones y dinámica de validación de las reglas en forma automática. La salida provista es la visualización de los modelos, constituyendo esta funcionalidad un medio poderoso de análisis. Un validador lógico implementado en Prolog valida el Modelo de Dominio generado y la utilización de un SAT Solver (Boolean Satisfiability Problem Solver) permite validar la consistencia del conjunto de reglas de negocio asociadas. En este trabajo se presenta una herramienta implementada utilizando programación funcional que integra todas las partes de la plataforma y facilita su uso por parte de un usuario con un mínimo conocimiento de programación por medio de un DSL (Domain Specific Language) construido para tal fin. Fil: Pantaleo, Guillermo. Universidad Católica de Salta. Facultad de Ingeniería; Argentina. Pantaleo, Guillermo Congreso Nacional de Ingeniería en Informática / Sistemas de información (4° : 2016 nov. 17-18 : Salta) Software Programación de computadoras Informática info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Atribución/Reconocimiento-NoComercial-CompartirIgual 4.0 Internacional (CC BY-NC-SA 4.0) Researchers Students |
| institution |
Universidad Católica de Salta |
| institution_str |
I-49 |
| repository_str |
R-155 |
| collection |
Repositorio Digital - Universidad Católica de Salta (UCASal) |
| language |
Español |
| orig_language_str_mv |
spa |
| topic |
Software Programación de computadoras Informática |
| spellingShingle |
Software Programación de computadoras Informática Pantaleo, Guillermo La máquina de hacer software |
| topic_facet |
Software Programación de computadoras Informática |
| description |
En este trabajo se presenta una herramienta para realizar el relevamiento, el análisis y la validación de los requerimientos de negocio de un software en desarrollo. Está basada en la plataforma presentada en un trabajo anterior [1], la cual permite acortar y facilitar las tareas de construcción del modelo de objetos que representa el negocio sobre el cual actuará la aplicación en desarrollo, en adelante nombrado como Modelo de Dominio. El objetivo de esta plataforma es acelerar el aprendizaje del negocio, achicando así el riesgo más importante de un proyecto de desarrollo de software. Fue pensada para que un analista genere la entrada escribiendo texto estructurado guiado por un editor que realiza sugerencias y coloreado del texto, según el estándar SBVR (Semantics of Business Vocabulary and Business Rules). La misma procesa el texto de entrada, lo valida contra el estándar y genera modelos de clases, patrones y dinámica de validación de las reglas en forma automática. La salida provista es la visualización de los modelos, constituyendo esta funcionalidad un medio poderoso de análisis. Un validador lógico implementado en Prolog valida el Modelo de Dominio generado y la utilización de un SAT Solver (Boolean Satisfiability Problem Solver) permite validar la consistencia del conjunto de reglas de negocio asociadas. En este trabajo se presenta una herramienta implementada utilizando programación funcional que integra todas las partes de la plataforma y facilita su uso por parte de un usuario con un mínimo conocimiento de programación por medio de un DSL (Domain Specific Language) construido para tal fin. |
| author2 |
Congreso Nacional de Ingeniería en Informática / Sistemas de información (4° : 2016 nov. 17-18 : Salta) |
| author_facet |
Congreso Nacional de Ingeniería en Informática / Sistemas de información (4° : 2016 nov. 17-18 : Salta) Pantaleo, Guillermo |
| format |
Documento de conferencia Documento de conferencia submittedVersion |
| author |
Pantaleo, Guillermo |
| author_sort |
Pantaleo, Guillermo |
| title |
La máquina de hacer software |
| title_short |
La máquina de hacer software |
| title_full |
La máquina de hacer software |
| title_fullStr |
La máquina de hacer software |
| title_full_unstemmed |
La máquina de hacer software |
| title_sort |
la máquina de hacer software |
| publisher |
Universidad Católica de Salta. Facultad de Ingeniería (Salta) |
| publishDate |
2016 |
| url |
https://bibliotecas.ucasal.edu.ar/opac_css/index.php?lvl=cmspage&pageid=24&id_notice=61610 |
| work_keys_str_mv |
AT pantaleoguillermo lamaquinadehacersoftware |
| _version_ |
1823985335749574656 |