Verificación automática de procesos de negocio con un enfoque composicional.
En la actualidad, los Procesos de Negocio (PN) complejos son implementados por Sistemas de Información Empresariales (SIE). Sin embargo, el desarrollo de los SIE se ve dificultado sino se garantiza la confiabilidad del Modelo de Tareas (MT) de los PN. Este artículo describe el Enfoque Formal de Ver...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad del Zulia
2013-06-01
|
| Series: | Revista Técnica de la Facultad de Ingeniería |
| Subjects: | |
| Online Access: | https://www.produccioncientificaluz.org/index.php/tecnica/article/view/6886 |
| _version_ | 1811188590090125312 |
|---|---|
| author | Luis Mendoza Morales Manuel Capel Tuñón María Pérez |
| author_facet | Luis Mendoza Morales Manuel Capel Tuñón María Pérez |
| author_sort | Luis Mendoza Morales |
| collection | DOAJ |
| description | En la actualidad, los Procesos de Negocio (PN) complejos son implementados por Sistemas de Información Empresariales (SIE). Sin embargo, el desarrollo de los SIE se ve dificultado sino se garantiza la confiabilidad del Modelo de Tareas (MT) de los PN. Este artículo describe el Enfoque Formal de Verificación Composicional (EFVC); una infraestructura para la especificación formal y verificación de PN, soportado por técnicas de Verificación Automática (VA). Basado en una propuesta de semántica formal temporal para la Business Process Model and Notation (BPMN) que permite obtener el MT de un proceso de negocio, el EFVC soporta la verificación del comportamiento del MT a partir de la verificación individual de sus participantes. La interpretación de los elementos notacionales de BPMN en el lenguaje formal Communicating Sequential Processes + Time (CSP+T) nos permite incorporar herramientas de VA ampliamente utilizadas para verificar el comportamiento de un MT. Se presenta un ejemplo de aplicación real en el área del Manejo de las Relaciones con el Cliente (conocido como CRM) para demostrar el uso práctico de EFVC.
|
| first_indexed | 2024-04-11T14:22:11Z |
| format | Article |
| id | doaj.art-89810b6b30b740dabfcb0954f5edefdd |
| institution | Directory Open Access Journal |
| issn | 0254-0770 2477-9377 |
| language | English |
| last_indexed | 2024-04-11T14:22:11Z |
| publishDate | 2013-06-01 |
| publisher | Universidad del Zulia |
| record_format | Article |
| series | Revista Técnica de la Facultad de Ingeniería |
| spelling | doaj.art-89810b6b30b740dabfcb0954f5edefdd2022-12-22T04:19:02ZengUniversidad del ZuliaRevista Técnica de la Facultad de Ingeniería0254-07702477-93772013-06-01361Verificación automática de procesos de negocio con un enfoque composicional.Luis Mendoza Morales0Manuel Capel Tuñón1María Pérez2Universidad Simón Bolívar-VenezuelaUniversidad de Granada-EspañaUniversidad Simón Bolívar-Venezuela En la actualidad, los Procesos de Negocio (PN) complejos son implementados por Sistemas de Información Empresariales (SIE). Sin embargo, el desarrollo de los SIE se ve dificultado sino se garantiza la confiabilidad del Modelo de Tareas (MT) de los PN. Este artículo describe el Enfoque Formal de Verificación Composicional (EFVC); una infraestructura para la especificación formal y verificación de PN, soportado por técnicas de Verificación Automática (VA). Basado en una propuesta de semántica formal temporal para la Business Process Model and Notation (BPMN) que permite obtener el MT de un proceso de negocio, el EFVC soporta la verificación del comportamiento del MT a partir de la verificación individual de sus participantes. La interpretación de los elementos notacionales de BPMN en el lenguaje formal Communicating Sequential Processes + Time (CSP+T) nos permite incorporar herramientas de VA ampliamente utilizadas para verificar el comportamiento de un MT. Se presenta un ejemplo de aplicación real en el área del Manejo de las Relaciones con el Cliente (conocido como CRM) para demostrar el uso práctico de EFVC. https://www.produccioncientificaluz.org/index.php/tecnica/article/view/6886procesos de negociomodelo de tareasverificación automáticaverificación composicionalespecificación formal |
| spellingShingle | Luis Mendoza Morales Manuel Capel Tuñón María Pérez Verificación automática de procesos de negocio con un enfoque composicional. Revista Técnica de la Facultad de Ingeniería procesos de negocio modelo de tareas verificación automática verificación composicional especificación formal |
| title | Verificación automática de procesos de negocio con un enfoque composicional. |
| title_full | Verificación automática de procesos de negocio con un enfoque composicional. |
| title_fullStr | Verificación automática de procesos de negocio con un enfoque composicional. |
| title_full_unstemmed | Verificación automática de procesos de negocio con un enfoque composicional. |
| title_short | Verificación automática de procesos de negocio con un enfoque composicional. |
| title_sort | verificacion automatica de procesos de negocio con un enfoque composicional |
| topic | procesos de negocio modelo de tareas verificación automática verificación composicional especificación formal |
| url | https://www.produccioncientificaluz.org/index.php/tecnica/article/view/6886 |
| work_keys_str_mv | AT luismendozamorales verificacionautomaticadeprocesosdenegocioconunenfoquecomposicional AT manuelcapeltunon verificacionautomaticadeprocesosdenegocioconunenfoquecomposicional AT mariaperez verificacionautomaticadeprocesosdenegocioconunenfoquecomposicional |