Formalizing Workflows Using the Event Calculus · Study