- idUS
- Investigación
- Ingeniería y Arquitectura
- Lenguajes y Sistemas Informáticos
- Artículos (Lenguajes y Sistemas Informáticos)
- Browsing Artículos (Lenguajes y Sistemas Informáticos) by Author
Browsing Artículos (Lenguajes y Sistemas Informáticos) by Author "Eshuis, Rik"
Now showing items 1-2 of 2
-
Article
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 ...
-
Article
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 ...