Engineering Software Systems: Research and Praxis PDF
Preview Engineering Software Systems: Research and Praxis
Advances in Intelligent Systems and Computing 830 Piotr Kosiuczenko · Zbigniew Zieliński Editors Engineering Software Systems: Research and Praxis Advances in Intelligent Systems and Computing Volume 830 Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland e-mail: [email protected] The series “Advances in Intelligent Systems and Computing” contains publications on theory, applications, and design methods of Intelligent Systems and Intelligent Computing. Virtually all disciplines such as engineering, natural sciences, computer and information science, ICT, economics, business,e-commerce,environment,healthcare,lifesciencearecovered.Thelistoftopicsspansallthe areasofmodernintelligentsystemsandcomputingsuchas:computationalintelligence,softcomputing includingneuralnetworks,fuzzysystems,evolutionarycomputingand thefusionoftheseparadigms, social intelligence, ambient intelligence, computational neuroscience, artificial life, virtual worlds and society, cognitive science and systems, Perception and Vision, DNA and immune based systems, self-organizing and adaptive systems, e-Learning and teaching, human-centered and human-centric computing, recommender systems, intelligent control, robotics and mechatronics including human-machine teaming, knowledge-based paradigms, learning paradigms, machine ethics, intelligent data analysis, knowledge management, intelligent agents, intelligent decision making and support, intelligentnetworksecurity,trustmanagement,interactiveentertainment,Webintelligenceandmultimedia. Thepublicationswithin“AdvancesinIntelligentSystemsandComputing”areprimarilyproceedings ofimportantconferences,symposiaandcongresses.Theycoversignificantrecentdevelopmentsinthe field,bothofafoundationalandapplicablecharacter.Animportantcharacteristicfeatureoftheseriesis theshortpublicationtimeandworld-widedistribution.Thispermitsarapidandbroaddisseminationof researchresults. AdvisoryBoard Chairman NikhilR.Pal,IndianStatisticalInstitute,Kolkata,India e-mail:[email protected] Members RafaelBelloPerez,UniversidadCentral“MartaAbreu”deLasVillas,SantaClara,Cuba e-mail:[email protected] EmilioS.Corchado,UniversityofSalamanca,Salamanca,Spain e-mail:[email protected] HaniHagras,UniversityofEssex,Colchester,UK e-mail:[email protected] LászlóT.Kóczy,SzéchenyiIstvánUniversity,Győr,Hungary e-mail:[email protected] VladikKreinovich,UniversityofTexasatElPaso,ElPaso,USA e-mail:[email protected] Chin-TengLin,NationalChiaoTungUniversity,Hsinchu,Taiwan e-mail:[email protected] JieLu,UniversityofTechnology,Sydney,Australia e-mail:[email protected] PatriciaMelin,TijuanaInstituteofTechnology,Tijuana,Mexico e-mail:[email protected] NadiaNedjah,StateUniversityofRiodeJaneiro,RiodeJaneiro,Brazil e-mail:[email protected] NgocThanhNguyen,WroclawUniversityofTechnology,Wroclaw,Poland e-mail:[email protected] JunWang,TheChineseUniversityofHongKong,Shatin,HongKong e-mail:[email protected] Moreinformationaboutthisseriesathttp://www.springer.com/series/11156 ń Piotr Kosiuczenko Zbigniew Zieli ski (cid:129) Editors Engineering Software Systems: Research and Praxis 123 Editors Piotr Kosiuczenko Zbigniew Zieliński Institute of Information Systems Institute of Teleinformatics andAutomation Military University ofTechnology Military University ofTechnology inWarsaw inWarsaw Warsaw,Poland Warsaw,Poland ISSN 2194-5357 ISSN 2194-5365 (electronic) Advances in Intelligent Systems andComputing ISBN978-3-319-99616-5 ISBN978-3-319-99617-2 (eBook) https://doi.org/10.1007/978-3-319-99617-2 LibraryofCongressControlNumber:2018952055 ©SpringerNatureSwitzerlandAG2019 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpart of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission orinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilar methodologynowknownorhereafterdeveloped. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfrom therelevantprotectivelawsandregulationsandthereforefreeforgeneraluse. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authorsortheeditorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinor for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictionalclaimsinpublishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface Inthelasttwodecades,softwarebecameubiquitousandthesoftwaresystemsmore and more complex. This necessitates the development of more adequate software processmodels,more effective softwareengineering methodsand tools supporting software development. This book reports on some new approaches and concepts aimed at problems faced in the software development. It covers a range of topics such as systematic methods, graphical and formal models, requirements specification and validation, security, performance analysis, maintenance, real-time aspects, quality measure- ment. It is divided into four main parts: requirement engineering, software mod- ellingandconstruction,systemmonitoringandperformanceandempiricalsoftware engineering. Thefirstpartofthisbookdevotedtorequirementsiscomposedofthreechapters. The first chapter reports on a survey conducted in Polish IT industry and aimed at identifying most widespread challenges related to requirements. It treats the fre- quency of occurrence of a priori known problems inspecified contextssuch asthe use of agile methods and smaller/larger development teams. The second chapter analysesrequirementengineeringintermsofmonetaryvalueandintermsrelatedto therequirementsengineering.Itinvestigatesthecurrentstateofvalue-basedREand the challenges that effect organizations in integrating value-based approach in the RE process. The third chapter analyses practical aspects of the use-case logic patterns approach in industrial projects. An ad hoc approach and a systematic pattern based one are compared showing an improvement in clarity, repeatability and correctness, regardless of a tool environment used. The second part discusses issues related to software specification, design and construction. The first chapter is devoted to the problem of query definition in languages like UML and OCL. The definition prohibits any change to the system state by a query which isnot a realistic. It is shown how to define queries in more generaltermsallowingrestricted statechanges.Inthenext chapter,anapproachto multi-level security systems verification based onBell-La Padula and Biba models is presented. It is based on models’ integration, evaluation and simulation. Properties of security policies are expressed in OCL, and a corresponding v vi Preface verification method is outlined. The third chapter focuses on the domain models, their proper contents, the minimization of modelling effort and the maximization ofthepotentialbenefits.Theseissuesareaddressedbyaunifieddomainmodel,and its usefulness for the application in real projects is studied. The agile approach to software development provided an alternative for the heavyweight traditional methods. The fourth chapter addresses its drawbacks and outlines a new hybrid method improving the shortcomings of the agile and heavy methods. In the third part, we discuss issues related to performance evaluation, real-time computation, system monitoring and maintenance. The first chapter thematizes the performance analysis of complex web applications: single page applications based on virtual DOM and reactive user interfaces. The chapter describes results of performance evaluation for two alternative architectures. The results may support the choice of an appropriate architecture already at the software design phase. The next chapter is devoted to a method allowing one to compute in real-time strings similar to a given pattern based on the Levenshtein metric with the help of the Wagner–Fischeralgorithm.Thealgorithmismassivelyparallelizedwiththeuseof CUDAtechnology.Thethirdchapterofthispartdescribesasmartapplicationfora city traffic monitoring based on 5G network, RFID transponders and cloud infrastructureandservicesforsupervisorycontrol.Inthelastchapterofthispart,its authorspresentchallengesassociatedwiththemonitoringandthemaintenanceofa largetelecomsystem.Thesystemconsistsofmultiplenewandlegacyservices;itis constantlychanging,andtherefore,ithastobeadaptedtochangingbusinessneeds. Selected challenges and potential directions for future research are listed. The last part of this book consists of two chapters. The first one aims at pre- senting a methodology for the similarity determination of complex software sys- tems. The methodology includes a software systems’ similarity metrics and a procedure for its determination, as well as methods and tools for measuring the similarity. An experience-based overview of software projects’ quality assessment criteria is presented in the second chapter of this part. The goal is an effective management of a portfolio of software projects and their ranking with respect to various quality criteria. This section includes an experience-based assessment of softwareprojects’qualityandofrelevancyofmethodsusedforthecomparisonand the aggregation. The book editors would like to express their sincere gratitude to all authors of submissions and to the reviewers for their valuable assessments necessary in the paper selection process and in the chapter improvement. June 2018 Piotr Kosiuczenko Zbigniew Zieliński Contents Requirement Engineering What Is Troubling IT Analysts? A Survey Report from Poland on Requirements-Related Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Aleksander Jarzębowicz and Wojciech Ślesiński Value-Based Requirements Engineering: Challenges and Opportunities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 Krzysztof Wnuk and Pavan Mudduluru Applying Use Case Logic Patterns in Practice: Lessons Learnt . . . . . . . 34 Albert Ambroziewicz and Michał Śmiałek Software Modelling and Construction On the Functional Specification of Queries in OCL . . . . . . . . . . . . . . . . 53 Piotr Kosiuczenko Multi-level Security System Verification Based on the Model. . . . . . . . . 69 Andrzej Stasiak and Zbigniew Zieliński Towards Definition of a Unified Domain Meta-model . . . . . . . . . . . . . . 86 Bogumiła Hnatkowska and Anita Walkowiak-Gall Hybrid Agile Method for Management of Software Creation. . . . . . . . . 101 Agata Smoczyńska, Michał Pawlak, and Aneta Poniszewska-Marańda System Monitoring and Performance The Performance Analysis of Web Applications Based on Virtual DOM and Reactive User Interfaces. . . . . . . . . . . . . . . . . . . . 119 Dariusz Chęć and Ziemowit Nowak vii viii Contents Real-Time Comparable Phrases Searching Via the Levenshtein Distance with the Use of CUDA Technology . . . . . . . . . . . . . . . . . . . . . 135 Witold Żorski and Bartosz Drogosiewicz SmartCityTrafficMonitoringSystemBasedon5GCellularNetwork, RFID and Machine Learning. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 Bartosz Pawłowicz, Mateusz Salach, and Bartosz Trybus Monitoring and Maintenance of Telecommunication Systems: Challenges and Research Perspectives . . . . . . . . . . . . . . . . . . . . . . . . . . 166 Lakmal Silva, Michael Unterkalmsteiner, and Krzysztof Wnuk Empirical Software Engineering Software Metrics for Similarity Determination of Complex Software Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 Andrzej Stasiak, Jan Chudzikiewicz, and Zbigniew Zieliński How Good Is My Project? Experiences from Projecting Software Quality Using a Reference Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192 Jakub Chojnacki, Cezary Mazurek, Bartosz Walter, and Marcin Wolski Author Index.. .... .... .... ..... .... .... .... .... .... ..... .... 209 Requirement Engineering
The list of books you might like
