Buscar
Mostrando ítems 1-2 de 2
Artículo
Automating correctness verification of artifact-centric business process models
(Elsevier, 2015)
Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the last few years. This way, business processes are described from the point of view of the artifacts ...
Artículo
Diagnosing correctness of semantic workflow models
(Elsevier, 2013)
To model operational business processes in an accurate way, workflow models need to reference both the control flow and dataflow perspectives. Checking the correctness of such workflow models and giving precise feedback ...