Formal verification of the extension of iStar to support Big data projects


  • Chabane Djeddi LIRE Laboratory, Constantine 2- Abdelhamid Mehri University, Algeria
  • Nacer-eddine Zarour LIRE Laboratory, Constantine 2- Abdelhamid Mehri University, Algeria
  • Pierre-Jean Charrel Toulouse 2 Jean Jaurès University, France



Big data, Requirements Engineering, iStar, iStar extension, formal checking


Identifying all the right requirements is indispensable for the success of any
system. These requirements need to be engineered with precision in the early
phases. Principally, late corrections costs are estimated to be more than 200
times as much as corrections during requirements engineering (RE). Especially
Big data area, it becomes more and more crucial due to its importance and
characteristics. In fact, and after literature analyzing, we note that currents
RE methods do not support the elicitation of Big data projects requirements. In
this study, we propose the BiStar novel method as extension of iStar to under-
take some Big data characteristics such as (volume, variety ...etc). As a first
step, we identify some missing concepts that currents requirements engineering
methods do not support. Next, BiStar, an extension of iStar is developed to
take into account Big data specifics characteristics while dealing with require-
ments. In order to ensure the integrity property of BiStar, formal proofs were
made, we perform a bigraph based description on iStar and BiStar. Finally, an
application is conducted on iStar and BiStar for the same illustrative scenario.
The BiStar shows important results to be more suitable for eliciting Big data
projects requirements.


Download data is not yet available.


Al-Najran N., Dahanayake A.: A requirements specification framework for big

data collection and capture. In: East European Conference on Advances in

Databases and Information Systems, pp. 12–19. Springer, 2015.

Ali R., Dalpiaz F., Giorgini P.: Requirements-driven deployment. In: Software

& Systems Modeling, vol. 13(1), pp. 433–456, 2014.

Anderson K.M.: Embrace the challenges: Software engineering in a big data

world. In: 2015 IEEE/ACM 1st International Workshop on Big Data Software

Engineering, pp. 19–25. IEEE, 2015.

Arruda D.: Requirements engineering in the context of big data applications. In:

ACM SIGSOFT Software Engineering Notes, vol. 43(1), pp. 1–6, 2018.

Arruda D., Madhavji N.H.: Towards a requirements engineering artefact model

in the context of big data software development projects. In: Proceedings of the

IEEE International Conference on Big Data, pp. 2232–2237. 2017.

Arruda D., Madhavji N.H.: State of Requirements Engineering Research in the

Context of Big Data Applications. In: International Working Conference on Re-

quirements Engineering: Foundation for Software Quality, pp. 307–323. Springer,

Attarha M., Modiri N.: Focusing on the importance and the role of requirement

engineering. In: The 4th International Conference on Interaction Sciences, pp.

–184. IEEE, 2011.

Bersani M.M., Marconi F., Rossi M., Erascu M.: A tool for verification of big-

data applications. In: Proceedings of the 2nd International Workshop on Quality-

Aware DevOps, pp. 44–45. 2016.

Chen H.M., Kazman R., Haziyev S., Hrytsay O.: Big data system development:

An embedded case study with a global outsourcing firm. In: 2015 IEEE/ACM

st International Workshop on Big Data Software Engineering, pp. 44–50. IEEE,

Chen M., Mao S., Liu Y.: Big data: A survey. In: Mobile networks and applica-

tions, vol. 19(2), pp. 171–209, 2014.

Chung L., do Prado Leite J.C.S.: On non-functional requirements in software

engineering. In: Conceptual modeling: Foundations and applications, pp. 363–

Springer, 2009.

Clancy T.: The Standish Group Report CHAOS. In: Project Smart, pp. 1–16,

Dalpiaz F., Franch X., Horkoff J.: istar 2.0 language guide. In: arXiv preprint

arXiv:1605.07767, 2016.

Djeddi C., Zarour N.E., Charrel P.J.: Extension of iStar for Big Data Projects.

In: ICAASE, pp. 9–16. 2018.

Eridaputra H., Hendradjaya B., Sunindyo W.D.: Modeling the requirements for

big data application using goal oriented approach. In: 2014 international confer-ence on data and software engineering (ICODSE), pp. 1–6. IEEE, 2014.

Goncalves E., Castro J., Araujo J., Heineck T.: A systematic literature review of

istar extensions. In: Journal of Systems and Software, vol. 137, pp. 1–33, 2018.

Guzman A., Martinez A., Agudelo F.V., Estrada-Esquivel H., Ortega J.P., Or-

tiz J.: A Methodology for Modeling Ambient Intelligence Applications using i*

Framework. In: iStar, pp. 61–66. 2016.

Jensen O.H., Milner R.: Bigraphs and mobile processes (revised). Tech. rep.,

University of Cambridge, Computer Laboratory, 2004.

Jutla D.N., Bodorik P., Ali S.: Engineering privacy for big data apps with the

unified modeling language. In: 2013 IEEE International Congress on Big Data,

pp. 38–45. IEEE, 2013.

Katal A., Wazid M., Goudar R.H.: Big data: issues, challenges, tools and good

practices. In: 2013 Sixth international conference on contemporary computing

(IC3), pp. 404–409. IEEE, 2013.

Keele S., et al.: Guidelines for performing systematic literature reviews in soft-

ware engineering. Tech. rep., Technical report, Ver. 2.3 EBSE Technical Report.

EBSE, 2007.

Lau L., Yang-Turner F., Karacapilidis N.: Requirements for big data analytics

supporting decision making: A sensemaking perspective. In: Mastering data-

intensive collaboration and decision making, pp. 49–70. Springer, 2014.

Lockerbie J., Maiden N.A.M., Engmann J., Randall D., Jones S., Bush D.: Ex-

ploring the impact of software requirements on system-wide goals: a method

using satisfaction arguments and i* goal modelling. In: Requirements Engineer-

ing, vol. 17(3), pp. 227–254, 2012.

Madden S.: From databases to big data. In: IEEE Internet Computing, vol. 16(3),

pp. 4–6, 2012.

Madhavji N.H., Miranskyy A., Kontogiannis K.: Big picture of big data software

engineering: with example research challenges. In: 2015 IEEE/ACM 1st Inter-

national Workshop on Big Data Software Engineering, pp. 11–14. IEEE, 2015.

Mazón J.N., Pardillo J., Trujillo J.: A model-driven goal-oriented requirement

engineering approach for data warehouses. In: International Conference on Con-

ceptual Modeling, pp. 255–264. Springer, 2007.

Morandini M., Penserini L., Perini A., Marchetto A.: Engineering requirements

for adaptive systems. In: Requirements Engineering, vol. 22(1), pp. 77–103, 2017.

Noorwali I., Arruda D., Madhavji N.H.: Understanding quality requirements

in the context of big data systems. In: Proceedings of the 2nd International

Workshop on BIG Data Software Engineering, pp. 76–79. 2016.

Nuseibeh B., Easterbrook S.: Requirements engineering: a roadmap. In: Pro-

ceedings of the Conference on the Future of Software Engineering, pp. 35–46.

Otero C.E., Peter A.: Research directions for engineering big data analytics soft-

ware. In: IEEE Intelligent Systems, vol. 30(1), pp. 13–19, 2014.

Ramingwong L.: A review of requirements engineering processes, problems

and models. In: International Journal of Engineering Science and Technology,

vol. 4(6), 2012.

Sachdeva V., Chung L.: Handling non-functional requirements for big data and

IOT projects in Scrum. In: 2017 7th International Conference on Cloud Com-

puting, Data Science & Engineering-Confluence, pp. 216–221. IEEE, 2017.

Sharma K., et al.: Quality issues with big data analytics. In: 2016 3rd Inter-

national Conference on Computing for Sustainable Global Development (INDIA-

Com), pp. 3589–3591. IEEE, 2016.

Supakkul S., Zhao L., Chung L.: GOMA: Supporting big data analytics with

a goal-oriented approach. In: 2016 IEEE International Congress on Big Data

(BigData Congress), pp. 149–156. IEEE, 2016.

Van Lamsweerde A.: Goal-oriented requirements engineering: A guided tour. In:

Proceedings fifth ieee international symposium on requirements engineering, pp.

–262. IEEE, 2001.

Werneck V.M.B., Oliveira A.d.P.A., do Prado Leite J.C.S.: Comparing GORE

Frameworks: i-star and KAOS. In: WER. 2009.

Yu E.: Modeling Strategic Relationships for Process Reengineering. In: Social

Modeling for Requirements Engineering, vol. 11(2011), pp. 66–87, 2011.

Zave P.: Classification of research efforts in requirements engineering. In: ACM

Computing Surveys (CSUR), vol. 29(4), pp. 315–321, 1997.

Zowghi D., Coulin C.: Requirements elicitation: A survey of techniques, ap-

proaches, and tools. In: Engineering and managing software requirements, pp.

–46. Springer, 2005.




How to Cite

Djeddi, C., Zarour, N.- eddine, & Charrel, P.-J. (2021). Formal verification of the extension of iStar to support Big data projects. Computer Science, 22(3).