Algebraic Modelling of Educational Workflows

Workflows are ubiquitous in educational ERP and process management. The question we address in this paper is how to specify and design verifiable workflows for educational processes. To specify workflows, we borrow a simple algebraic notation from computer science. We illustrate the use of this notation through a series of typical workflow examples. We show how an algebraic specification is more expressive than a graphical specification. We then show how these algebraic specifications may be represented in the Scribble specification language, which has in built tools for verification.