Risk-aware business process management using multi-view modeling: method and tool · Study