| Revista: | Revista técnica de la Facultad de Ingeniería. Universidad del Zulia |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000447121 |
| ISSN: | 0254-0770 |
| Autores: | Mendoza Morales, Luis E1 Capel Tuñón, Manuel I2 Pérez, María A1 |
| Instituciones: | 1Universidad Simón Bolívar, Departamento de Procesos y Sistemas, Caracas, Distrito Federal. Venezuela 2Universidad de Granada, Departamento de Lenguajes y Sistemas Informáticos, Granada, Andalucía. España |
| Año: | 2013 |
| Volumen: | 36 |
| Número: | 1 |
| Paginación: | 70-79 |
| País: | Venezuela |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico |
| Resumen en español | En la actualidad, losProcesos de Negocio(PN) complejos son implementados porSistemas de Infor-mación Empresariales(SIE). Sin embargo, el desarrollo de los SIE se ve dificultado sino se garantiza la con-fiabilidad delModelo de Tareas(MT) de los PN. Este artículo describe elEnfoque Formal de VerificaciónComposicional(EFVC); una infraestructura para la especificación formal y verificación de PN, soportadopor técnicas deVerificación Automática(VA). Basado en una propuesta de semántica formal temporal paralaBusiness Process Model and Notation(BPMN) que permite obtener el MT de un proceso de negocio, elEFVC soporta la verificación del comportamiento del MT a partir de la verificación individual de sus parti-cipantes. La interpretación de los elementos notacionales de BPMN en el lenguaje formalCommunicatingSequential Processes + Time(CSP+T) nos permite incorporar herramientas de VA ampliamente utilizadaspara verificar el comportamiento de un MT. Se presenta un ejemplo de aplicación real en el área delManejode las Relaciones con el Cliente(conocido como CRM) para demostrar el uso práctico de EFVC |
| Resumen en inglés | Currently, complexBusiness Processes(BP) are implemented byEnterprise Information Systems(EIS). However, the development of EIS is complicated if there is no guarantee the reliability of theTaskModel(TM) of the PN. This article describes theFormal Compositional Verification Approach(FCVA), an in-frastructure for the formal specification and verification of BP, supported byModel Checking(MC) tech-niques. Based on a proposal for a temporal formal semantics for theBusiness Process Model and Notation(BPMN), which allows us to obtain the MT of a business process, the EFVC supports MT behavior verifica-tion from the individual verification of their participants. The interpretation of notational elements ofBPMN in theCommunicating Sequential Processes + Time(CSP+T) formal language allows us to incorpo-rate MC tools widely used to verify the behaviour of a TM. A real-life example in the field of theCustomerRelationship Management(CRM) business is presented to demonstrate the FCVA application in a practical way |
| Disciplinas: | Administración y contaduría |
| Palabras clave: | Organización, Administración de empresas, Información empresarial, Procesos de negocio, Verificación composicional |
| Keyword: | Business information, Business processes, Compositional verification, Enterprise management, Task management |
| Texto completo: | https://produccioncientificaluz.org/index.php/tecnica/article/view/6886/6875 |
