- idUS
- Investigación
- Ingeniería y Arquitectura
- Lenguajes y Sistemas Informáticos
- Listar Lenguajes y Sistemas Informáticos por autor
Listar Lenguajes y Sistemas Informáticos por autor "Eshuis, Rik"
Mostrando ítems 1-2 de 2
-
Artículo
Diagnosing correctness of semantic workflow models
Borrego Núñez, Diana; Eshuis, Rik; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2013)To model operational business processes in an accurate way, workflow models need to reference both the control flow and ...
-
Artículo
Verifying the manipulation of data objects according to business process and data models
Pérez Álvarez, José Miguel; Gómez López, María Teresa; Eshuis, Rik; Montali, Marco; Martínez Gasca, Rafael (Springer, 2020)Business processes read and write data objects, usually stored in databases. Although data models and activity-oriented ...