Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Volume 7610 of the series Lecture Notes in Computer Science pp 70-72

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

  • Tiziana MargariaAffiliated withInstitut für Informatik, Universität Potsdam
  • , Steve BoßelmannAffiliated withInstitut für Informatik, Universität Potsdam
  • , Bertold KujathAffiliated withInstitut für Informatik, Universität Potsdam

* Final gross prices may vary according to local VAT.

Get Access


Process modeling has developed to an established technique facilitating and supporting the documentation, analysis and automation of workflows. As in common practice workflow modeling requires immediate contribution of participants that lack broad knowledge of formal models as well as software engineering skills, simplicity of the selected modeling approach throughout each step of the design phase is a key factor for the success of a workflow management project. We present an approach that combines simplicity in the modeling phase with the feasibility of immediate evaluation via execution to rapidly develop systems supporting role-based workflows. Finally, we discuss practicability and benefits of this approach based on an exemplary case study of processes in the healthcare domain.


process modeling healthcare clinical processes workflow management business process management model-driven software development simplicity rapid prototyping