Process time patterns: A formal foundation

A Lanz, M Reichert, B Weber - Information Systems, 2016 - Elsevier
Companies increasingly adopt process-aware information systems (PAISs) to model,
execute, monitor, and evolve their business processes. Though the handling of temporal …

Representing business processes through a temporal data-centric workflow modeling language: An application to the management of clinical pathways

C Combi, M Gambini, S Migliorini… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
Workflow technology has emerged as one of the leading technologies in modeling,
redesigning, and executing business processes in several different application domains …

Workflow time management revisited

J Eder, E Panagos, M Rabinovich - Seminal contributions to information …, 2013 - Springer
Time is an important aspect of business process management. Here we revisit the following
contributions of early workflow time management approaches: representation of temporal …

Dynamic controllability via timed game automata

A Cimatti, L Hunsberger, A Micheli, R Posenato… - Acta Informatica, 2016 - Springer
Temporal networks are data structures for representing and reasoning about temporal
constraints on activities. Many kinds of temporal networks have been defined in the …

Sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation

A Cimatti, L Hunsberger, A Micheli… - 2014 21st …, 2014 - ieeexplore.ieee.org
Temporal networks are data structures for representing and reasoning about temporal
constraints on activities. Many kinds of temporal networks have been defined in the …

[HTML][HTML] Business process model and notation and openEHR task planning for clinical pathway standards in infections: critical analysis

N Iglesias, JM Juarez, M Campos - Journal of Medical Internet Research, 2022 - jmir.org
Background Clinical pathways (CPs) are usually expressed by means of workflow
formalisms, providing health care personnel with an easy-to-understand, high-level …

[图书][B] Business process management

A Kumar - 2018 - taylorfrancis.com
This book introduces students to business process management, an approach that aims to
align the organization's business processes with the demands of the marketplace …

BPMN-based representation and comparison of clinical pathways for catheter-related bloodstream infections

F Zerbato, B Oliboni, C Combi… - 2015 International …, 2015 - ieeexplore.ieee.org
Healthcare processes require continuous support in order to face the increasing demand for
optimal quality of care and to provide a sound basis for integrating different sources of …

Controllability of time-aware processes at run time

A Lanz, R Posenato, C Combi, M Reichert - On the Move to Meaningful …, 2013 - Springer
Companies increasingly adopt process-aware information systems (PAISs) to analyze,
coordinate, and monitor their business processes. Although the proper handling of temporal …

Controlled violation of temporal process constraints–models, algorithms and results

A Kumar, RR Barton - Information Systems, 2017 - Elsevier
While there has been much work on modeling and analysis of temporal constraints in
workflows in the context of many real-world applications, there has not been much work on …