@article{Djeddi_Zarour_Charrel_2021, title={Formal verification of the extension of iStar to support Big data projects}, volume={22}, url={https://journals.agh.edu.pl/csci/article/view/4035}, DOI={10.7494/csci.2021.22.3.4035}, abstractNote={Identifying all the right requirements is indispensable for the success of any<br />system. These requirements need to be engineered with precision in the early<br />phases. Principally, late corrections costs are estimated to be more than 200<br />times as much as corrections during requirements engineering (RE). Especially<br />Big data area, it becomes more and more crucial due to its importance and<br />characteristics. In fact, and after literature analyzing, we note that currents<br />RE methods do not support the elicitation of Big data projects requirements. In<br />this study, we propose the BiStar novel method as extension of iStar to under-<br />take some Big data characteristics such as (volume, variety ...etc). As a first<br />step, we identify some missing concepts that currents requirements engineering<br />methods do not support. Next, BiStar, an extension of iStar is developed to<br />take into account Big data specifics characteristics while dealing with require-<br />ments. In order to ensure the integrity property of BiStar, formal proofs were<br />made, we perform a bigraph based description on iStar and BiStar. Finally, an<br />application is conducted on iStar and BiStar for the same illustrative scenario.<br />The BiStar shows important results to be more suitable for eliciting Big data<br />projects requirements.}, number={3}, journal={Computer Science}, author={Djeddi, Chabane and Zarour, Nacer-eddine and Charrel, Pierre-Jean}, year={2021}, month={Sep.} }