Interactive Design of Time-Aware Busine...

In recent years, the design of time-aware business processes

has seen advancements mostly in the theory. Various modeling constructs

and techniques to verify the temporal qualities of business processes have

been formalized. However, operational support for process designers still

lags behind, with only a few tools offering limited time-related function-

alities available. Here, we contribute towards closing this gap and propose

a modeling tool based on the Camunda modeler. Our tool features an in-

teractive interface that aids the design of time-aware process models with

guarantees of temporal correctness in terms of dynamic controllability.