A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0.

Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed

Browse the full ICSoft paper archive.