Buscar
Mostrando ítems 1-4 de 4
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 ...
Artículo
Fault Tolerance Framework using Model-Based Diagnosis: Towards Dependable Business Processes
(International Academy, Research, and Industry Association (IARIA), 2011)
Several reports indicate that one of the most important business priorities is the improvement of business and IT management. Management and automation of business processes have become essential tasks within IT ...
Artículo
Minimizing test-point allocation to improve diagnosability in business process models
(Elsevier, 2013)
Diagnosability analysis aims to determine whether observations available during the execution of a sys-tem are sufficient to precisely locate the source of a problem. Previous work deals with the diagnosabilityproblem in ...