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 |