Model-driven development with the jABC
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Processes and data integration in the networked healthcare
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |
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.