Formal verification of the extension of iStar to support Big data projects
DOI:
https://doi.org/10.7494/csci.2021.22.3.4035Keywords:
Big data, Requirements Engineering, iStar, iStar extension, formal checkingAbstract
Identifying all the right requirements is indispensable for the success of anysystem. 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.
Downloads
References
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.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2021 Computer Science
This work is licensed under a Creative Commons Attribution 4.0 International License.
