TY - GEN
T1 - Simple modeling of executable role-based workflows
T2 - 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
AU - Margaria, Tiziana
AU - Boßelmann, Steve
AU - Kujath, Bertold
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
KW - business process management
KW - healthcare clinical processes workflow management
KW - model-driven software development
KW - process modeling
KW - rapid prototyping
KW - simplicity
UR - http://www.scopus.com/inward/record.url?scp=84868277621&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-34032-1_8
DO - 10.1007/978-3-642-34032-1_8
M3 - Conference contribution
AN - SCOPUS:84868277621
SN - 9783642340314
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 70
EP - 72
BT - Leveraging Applications of Formal Methods, Verification and Validation
Y2 - 15 October 2012 through 18 October 2012
ER -