[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3210459.3210463acmotherconferencesArticle/Chapter ViewAbstractPublication PageseaseConference Proceedingsconference-collections
research-article

On Different Search Methods for Systematic Literature Reviews and Maps: Experiences from a Literature Search on Validation and Verification of Emergent Behavior

Published: 28 June 2018 Publication History

Abstract

[Background] Systematic literature reviews and maps have become well-established research methods in software engineering research. Of the three commonly suggested and used search methods: manual search, database search, or snowball search; systematic literature reviews and maps typically employ one or a combination of two or three of those as their search strategy. As systematic literature reviews and maps raise a claim to result in a representative set of relevant papers for a certain area of investigation, it is of importance to understand the impact the search strategy has on achieving this goal. [Aim] This paper contributes a study to compare all three search methods. This study aims at providing evidence as to what advantages and disadvantages of these three search methods are. [Method] We conducted three systematic literature reviews on the same topic, which affects multiple software engineering related disciplines, using different search methods, while keeping other parameters like inclusion and exclusion criteria consistent among all three reviews. [Results] Our results show a similar effectiveness for snowball and database search and the highest efficiency for database searches. However, our literature reviews led to three barely overlapping sets of papers, which in turn led to distinct impressions of the same field. [Conclusion] Our results show that the use of a single search method can lead to a set of included papers, which misrepresents the research field under investigation. Hence, particularly when conducting literature reviews that affect different software engineering sub-disciplines and related disciplines, researchers should not just rely on the single most effective and/or efficient search method.

References

[1]
Amyot, D., Logrippo, L., Buhr, R.J.A. and Gray, T. 1999. Use case maps for the capture and validation of distributed systems requirements. 4th IEEE International Symposium on Requirements Engineering, RE'99 (Limerick, Ireland, 1999), 44--53.
[2]
Apel, S., Speidel, H., Wendler, P., Von Rhein, A. and Beyer, D. 2011. Detection of feature interactions using feature-aware verification. 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 (Lawrence, KS, 2011), 372--375.
[3]
Badampudi, D., Wohlin, C. and Petersen, K. 2015. Experiences from Using Snowballing and Database Searches in Systematic Literature Studies. Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering (New York, NY, USA, 2015), 17:1--17:10.
[4]
Bar-Yam, Y. 2004. A mathematical theory of strong emergence using multiscale variety. Complexity. 9, 6 (2004), 15--24.
[5]
Broy, M. and Schmidt, A. 2014. Challenges in Engineering Cyber-Physical Systems. Computer. 47, 2 (Feb. 2014), 70--72.
[6]
Chen, T., Forejt, V., Kwiatkowska, M., Parker, D. and Simaitis, A. 2013. PRISM-games: A Model Checker for Stochastic Multi-Player Games. Tools and Algorithms for the Construction and Analysis of Systems (Mar. 2013), 185--191.
[7]
Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A. and Raskin, J.-F. 2010. Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering - Volume 1 (New York, NY, USA, 2010), 335--344.
[8]
Fard, F.H. and Far, B.H. 2013. Detection and verification of a new type of emergent behavior in multiagent systems. INES 2013 - IEEE 17th International Conference on Intelligent Engineering Systems, Proceedings (2013), 125--130.
[9]
Fard, F.H. and Far, B.H. 2013. Visualizing the Network of Software Agents for Verification of Multiagent Systems. Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (New York, NY, USA, 2013), 1280--1281.
[10]
Felizardo, K.R., Mendes, E., Kalinowski, M., Souza, É.F. and Vijaykumar, N.L. 2016. Using Forward Snowballing to Update Systematic Reviews in Software Engineering. Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (New York, NY, USA, 2016), 53:1--53:6.
[11]
Filieri, A., Hoffmann, H. and Maggio, M. 2015. Automated multi-objective control for self-adaptive software design. 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 (2015), 13--24.
[12]
Gore, R. and Reynolds, P.F. 2008. Applying causal inference to understand emergent behavior. Proceedings - Winter Simulation Conference (2008), 712--721.
[13]
Graciano Neto, V.V. 2016. Validating emergent behaviors in systems-of-systems through model transformations. 2016 ACM Student Research Competition at MODELS 2016, ACM SRC at MODELS 2016 (2016).
[14]
Greenhalgh, T. and Peacock, R. 2005. Effectiveness and efficiency of search methods in systematic reviews of complex evidence: audit of primary sources. BMJ. 331, 7524 (Nov. 2005), 1064--1065.
[15]
Hendijani Fard, F. 2013. Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings (2013), 746--749.
[16]
Horsley, T., Dingwall, O., Tetzlaff, J.M. and Sampson, M. 2009. Checking reference lists to find additional studies for systematic reviews. Cochrane Database of Systematic Reviews. The Cochrane Collaboration, ed. John Wiley & Sons, Ltd.
[17]
Jalali, S. and Wohlin, C. 2012. Systematic Literature Studies: Database Searches vs. Backward Snowballing. Proceedings of the ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (New York, NY, USA, 2012), 29--38.
[18]
Kitchenham, B. and Brereton, P. 2013. A systematic review of systematic review process research in software engineering. Information and Software Technology. 55, 12 (Dec. 2013), 2049--2075.
[19]
Kitchenham, B., Brereton, P., Li, Z., Budgen, D. and Burn, A. 2011. Repeatability of systematic literature reviews. 15th Annual Conference on Evaluation Assessment in Software Engineering (EASE 2011) (Apr. 2011), 46--55.
[20]
Kitchenham, B., Brereton, P., Turner, M., Niazi, M., Linkman, S., Pretorius, R. and Budgen, D. 2009. The impact of limited search procedures for systematic literature reviews; A participant-observer case study. 2009 3rd International Symposium on Empirical Software Engineering and Measurement (Oct. 2009), 336--345.
[21]
Kitchenham, B.A., Brereton, P., Turner, M., Niazi, M.K., Linkman, S., Pretorius, R. and Budgen, D. 2010. Refining the systematic literature review process---two participant-observer case studies. Empirical Software Engineering. 15, 6 (Dec. 2010), 618--653.
[22]
Kitchenham, B.A., Budgen, D. and Brereton, P. 2016. Evidence-based software engineering and systematic reviews. Chapman & Hall.
[23]
Kitchenham, B.A. and Charters, S. 2007. Guidelines for performing systematic literature reviews in software engineering. School of Computer Science and Mathematics, Keele University.
[24]
Kobayashi, K., Kurano, T., Kuremoto, T. and Obayashi, M. 2012. Cooperative Behavior Acquisition in Multi-agent Reinforcement Learning System Using Attention Degree. Neural Information Processing (Nov. 2012), 537--544.
[25]
Kobayashi, K., Ueda, R. and Arai, T. 2008. Cooperative behavior of multiple robots by chain of monolithic policies for two robots. 10th International Conference on Intelligent Autonomous Systems, IAS 2008 (2008), 202--210.
[26]
Kouvaros, P. and Lomuscio, A. 2015. Verifying emergent properties of swarms. 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (2015), 1083--1089.
[27]
Kuhrmann, M., Fernández, D.M. and Daneva, M. 2017. On the Pragmatic Design of Literature Studies in Software Engineering: An Experience-based Guideline. Empirical Softw. Engg. 22, 6 (Dec. 2017), 2852--2891.
[28]
Lomuscio, A., Qu, H. and Raimondi, F. 2009. MCMAS: A Model Checker for the Verification of Multi-Agent Systems. Computer Aided Verification (Jun. 2009), 682--688.
[29]
Lorenzoli, D., Mariani, L. and Pezzè, M. 2008. Automatic Generation of Software Behavioral Models. Proceedings of the 30th International Conference on Software Engineering (New York, NY, USA, 2008), 501--510.
[30]
MacDonell, S., Shepperd, M., Kitchenham, B. and Mendes, E. 2010. How Reliable Are Systematic Reviews in Empirical Software Engineering? IEEE Transactions on Software Engineering. 36, 5 (Sep. 2010), 676--687.
[31]
Mitchell, B. 2008. Characterizing communication channel deadlocks in sequence diagrams. IEEE Transactions on Software Engineering. 34, 3 (2008), 305--320.
[32]
Moshirpour, M., Mousavi, A. and Far, B.H. 2010. A technique and a tool to detect emergent behavior of distributed systems using scenario-based specifications. Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI (2010), 153--159.
[33]
Petersen, K., Vakkalanka, S. and Kuzniarz, L. 2015. Guidelines for conducting systematic mapping studies in software engineering: An update. Information and Software Technology. 64, (Aug. 2015), 1--18.
[34]
Plath, M. and Ryan, M. 2001. Feature integration using a feature construct. Science of Computer Programming. 41, 1 (Sep. 2001), 53--84.
[35]
Raimondi, F. and Lomuscio, A. 2007. Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. Journal of Applied Logic. 5, 2 (2007), 235--251.
[36]
Raimondi, F. and Lomuscio, A. 2004. Verification of multiagent systems via ordered binary decision diagrams: An algorithm and its implementation. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 (New York, NY, 2004), 630--637.
[37]
Ren, G., Deng, P. and Yang, C. 2017. A 3-layer method for analysis of cooperative behaviors of physical devices in cyber-physical systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2017), 741--754.
[38]
Ren, G., Hua, Q., Deng, P., Yang, C. and Zhang, J. 2017. A Multi-Perspective Method for Analysis of Cooperative Behaviors among Industrial Devices of Smart Factory. IEEE Access. 5, (2017), 10882--10891.
[39]
Skoglund, M. and Runeson, P. 2009. Reference-based Search Strategies in Systematic Reviews. Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering (Swindon, UK, 2009), 31--40.
[40]
Stone, P. and Veloso, M. 1999. Task decomposition, dynamic role assignment, and low-bandwidth communication for real-time strategic teamwork. Artificial Intelligence. 110, 2 (1999), 241--273.
[41]
Szabo, C. and Teo, Y.M. 2013. Post-mortem Analysis of Emergent Behavior in Complex Simulation Models. Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (New York, NY, USA, 2013), 241--252.
[42]
Uchitel, S., Brunet, G. and Chechik, M. 2007. Behaviour model synthesis from properties and scenarios. 29th International Conference on Software Engineering, ICSE 2007 (Minneapolis, MN, 2007), 34--43.
[43]
Wieringa, R., Maiden, N., Mead, N. and Rolland, C. 2005. Requirements engineering paper classification and evaluation criteria: A proposal and a discussion. Requirements Engineering. 11, 1 (Nov. 2005), 102--107.
[44]
Winfield, A.F.T., Sa, J., Gago, M.-C.F., Dixon, C. and Fisher, M. 2005. On formal specification of emergent behaviours in swarm robotic systems. International Journal of Advanced Robotic Systems. 2, 4 (2005), 363--370.
[45]
Wohlin, C. 2014. Guidelines for Snowballing in Systematic Literature Studies and a Replication in Software Engineering. Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering (New York, NY, USA, 2014), 38:1--38:10.
[46]
Wohlin, C., Runeson, P., da Mota Silveira Neto, P.A., Engström, E., do Carmo Machado, I. and de Almeida, E.S. 2013. On the reliability of mapping studies in software engineering. Journal of Systems and Software. 86, 10 (Oct. 2013), 2594--2610.
[47]
Wooldridge, M., Fisher, M., Huget, M.-P. and Parsons, S. 2002. Model checking multi-agent systems with MABLE. Proceedings of the International Conference on Autonomous Agents (2002), 952--959.
[48]
Zhang, H., Babar, M.A. and Tell, P. 2011. Identifying relevant studies in software engineering. Information and Software Technology. 53, 6 (Jun. 2011), 625--637.

Cited By

View all
  • (2023)A Systematic Literature Review on Service Composition for People with Disabilities: Taxonomies, Solutions, and Open Research ChallengesComputational Intelligence and Neuroscience10.1155/2023/59345482023(1-40)Online publication date: 8-Mar-2023
  • (2023)The state of lead scoring models and their impact on sales performanceInformation Technology and Management10.1007/s10799-023-00388-w25:1(69-98)Online publication date: 1-Feb-2023
  • (2022)Sustainable Transportation for Events: A Systematic ReviewSustainability10.3390/su14231581514:23(15815)Online publication date: 28-Nov-2022
  • Show More Cited By

Index Terms

  1. On Different Search Methods for Systematic Literature Reviews and Maps: Experiences from a Literature Search on Validation and Verification of Emergent Behavior

      Recommendations

      Comments

      Please enable JavaScript to view thecomments powered by Disqus.

      Information & Contributors

      Information

      Published In

      cover image ACM Other conferences
      EASE '18: Proceedings of the 22nd International Conference on Evaluation and Assessment in Software Engineering 2018
      June 2018
      223 pages
      ISBN:9781450364034
      DOI:10.1145/3210459
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

      In-Cooperation

      • The University of Canterbury

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 28 June 2018

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. Systematic literature review
      2. experience report
      3. search method

      Qualifiers

      • Research-article
      • Research
      • Refereed limited

      Conference

      EASE'18

      Acceptance Rates

      Overall Acceptance Rate 71 of 232 submissions, 31%

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)67
      • Downloads (Last 6 weeks)9
      Reflects downloads up to 04 Jan 2025

      Other Metrics

      Citations

      Cited By

      View all
      • (2023)A Systematic Literature Review on Service Composition for People with Disabilities: Taxonomies, Solutions, and Open Research ChallengesComputational Intelligence and Neuroscience10.1155/2023/59345482023(1-40)Online publication date: 8-Mar-2023
      • (2023)The state of lead scoring models and their impact on sales performanceInformation Technology and Management10.1007/s10799-023-00388-w25:1(69-98)Online publication date: 1-Feb-2023
      • (2022)Sustainable Transportation for Events: A Systematic ReviewSustainability10.3390/su14231581514:23(15815)Online publication date: 28-Nov-2022
      • (2022)A systematic literature review of requirements engineering educationRequirements Engineering10.1007/s00766-022-00381-928:2(145-175)Online publication date: 19-May-2022
      • (2021)Teaching model-based requirements engineering to industry professionalsProceedings of the 43rd International Conference on Software Engineering: Joint Track on Software Engineering Education and Training10.1109/ICSE-SEET52601.2021.00013(40-49)Online publication date: 25-May-2021
      • (2021)What is a process model composed of?Software and Systems Modeling (SoSyM)10.1007/s10270-020-00847-w20:4(1215-1243)Online publication date: 1-Aug-2021
      • (2020)Cryptocurrencies Emerging Threats and Defensive Mechanisms: A Systematic Literature ReviewIEEE Access10.1109/ACCESS.2020.30348168(200021-200037)Online publication date: 2020
      • (2020)Towards an evidence-based theoretical framework on factors influencing the software development productivityEmpirical Software Engineering10.1007/s10664-020-09844-525:5(3501-3543)Online publication date: 1-Sep-2020

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media