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

Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed

2024

Abstract

Big data techniques are increasingly applied in critical applications (such as health, marketing nuclear research field, aeronautics field), so it is desirable that a systematic method is developed to ensure the correctness of these applications. As an aid to designers and developers, we propose a model-driven approach for the specification and formal verification of MapReduce workflow applications using a semi-formal language which is BPMN2 to represent MapReduce workflow and the Event B method for analysis. Our approach starts with the graphical modelling of the MapReduce application as a chain of MapReduce design patterns using an adapted BPMN2 notation. Then the model is transformed into an equivalent Event B project, composed by a set of contexts and machines linked by refinement, that can be enriched with a variety of desirable properties. The approach has been automated using a set of mapping rules implemented in a first prototype tool. We illustrate our approach with a case study “Fireware” and we verify data quality properties such as data non-conflict and data completeness.

Paper Citation

in Harvard Style

Bessifi M., Ben Younes A. and Ben Ayed L. (2024). A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0. In Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT; ISBN 978-989-758-706-1, SciTePress, pages 504-510. DOI: 10.5220/0012861300003753

in Bibtex Style

@conference{icsoft24,
author={Mayssa Bessifi and Ahlem Ben Younes and Leila Ben Ayed},
title={A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0},
booktitle={Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT},
year={2024},
pages={504-510},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012861300003753},
isbn={978-989-758-706-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT
TI - A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0
SN - 978-989-758-706-1
AU - Bessifi M.
AU - Ben Younes A.
AU - Ben Ayed L.
PY - 2024
SP - 504
EP - 510
DO - 10.5220/0012861300003753
PB - SciTePress