Research Group Systems
Location: CLT 701
Date/Time: 4th April 2011, 14:00
While workflows have attracted a great deal of attention as application middleware, mainly because of their intuitive representation of potentially complex processes and tasks in both business and scientific settings, their formal verification has been largely untackled until the last few years, when several models have been developed. These range from Petri Nets, via various flavours of process algebras to functional languages, each with their own associated model checking and reasoning techniques. In this talk, I will offer an overview of some of these approaches, and discuss the associated challenges in selecting the right model for a workflow language. Also, I will look into the applicability of workflows to computerized representation of clinical guidelines - an ongoing effort in medical informatics that aims to achieve verifiable medical software tools, such as clinical decision support systems. The experiences from the workflow field may significantly contribute here, and I will discuss the shared challenges.
Published: 25th March 2011