Software Technologies: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers (Communications in Computer and Information Science (868))

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017. The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and maintenance; development methods and models; systems security; dynamic software updates; systems integration; business process modelling; intelligent problem solving; multi-agent systems; and solutions involving big data, the Internet of Things and business intelligence. Preface Organization Contents Software Engineering Assessing the User-Perceived Quality of Source Code Components Using Static Analysis Metrics 1 Introduction 2 Related Work 3 Defining Quality 3.1 Benchmark Dataset 3.2 Quality Score Formulation 4 System Design 4.1 System Overview 4.2 Data Preprocessing 4.3 Models Preprocessing 4.4 Models Validation 4.5 Models Construction 5 Evaluation 5.1 One-Class Classifier Evaluation 5.2 Quality Estimation Evaluation 5.3 Example Quality Estimation 5.4 Threats to Validity 6 Conclusions References A Technology for Optimizing the Process of Maintaining Software Up-to-Date 1 Introduction 2 Our Proposal 3 System Architecture and Design 3.1 CorpusDownloader 3.2 CorpusReader 3.3 CorpusReader TrainingData 3.4 CorpusTrain SigDetection 3.5 CorpusTrain VerDetection 3.6 SigContext 3.7 NER Version Number 3.8 NER SigComponents 3.9 NER SigDescription 3.10 WebMiner 3.11 OntoManager 4 Experimental Results 5 Related Solutions 6 Additional Applicability 7 Conclusions and Further Work References From Specification to Implementation of an Automotive Transport System Abstract 1 Introduction 2 Background 2.1 System Analysis 2.2 Related Work 2.3 Statecharts 2.4 R-TNCES 2.5 GR-TNCES 3 Specification Approach 4 Test Case: Skid Conveyer 4.1 Functional Requirements 4.1.1 Control 4.1.2 Additional Information 4.2 System Encoding 4.3 System Modeling 4.4 Simulation 5 Test Case: Implementation 5.1 Mechanical Design 5.2 Control System Design 5.3 Software Implementation 6 Discussion 7 Conclusion Acknowledgement References Towards a Goal-Oriented Framework for Partial Agile Adoption 1 Introduction 2 Related Work 3 A Framework for Partial Agile Adoption 3.1 Goal-Oriented Agile Methods Meta-model 3.2 Goal and Social Dependency Representation 3.3 Partial Agile Adoption Process 4 Validation 4.1 Scrum and XP 4.2 Tactical Level Application: Towards Practices Selection 4.3 Operational Level Application: Towards Practices Implementation 5 Conclusion References Using Semantic Web to Establish Traceability Links Between Heterogeneous Artifacts Abstract 1 Introduction 2 Literature Review 2.1 Traceability Definitions 2.2 Traceability Classifications 3 Taxonomy Requirements 4 Taxonomy Design 4.1 Design Decisions 5 Taxonomy Implementation 6 Taxonomy Validation 6.1 Validation Criteria 6.2 Requirements Validation 6.3 Case Study 7 Conclusion and Future Work References A Machine Learning Approach for Game Bot Detection Through Behavioural Features 1 Introduction 2 Related Work 3 Background 4 The Method 5 The Evaluation 5.1 Descriptive Statistics 5.2 Hypothesis Testing 5.3 Classification Analysis 6 Conclusions References Genrih, a Runtime State Analysis System for Deciding the Applicability of Dynamic Software Updates 1 Introduction 2 Background 3 A System for Predicting Runtime Phenomena 3.1 State Analysis Engine 3.2 Class Diff Tool 3.3 Changes to Phenomena to Runtime State Queries 3.4 World Stopper 3.5 A Prototype to Enhance JRebel 3.6 Enhancing Rubah 4 Experiment 5 Performance Evaluation 6 Discussion 7 Related Work 8 Conclusion References Software Systems and Applications Identifying Class Integration Test Order Using an Improved Genetic Algorithm-Based Approach 1 Introduction 2 Related Work 3 Methodology 3.1 Stubbing Relationships 3.2 Genetic Algorithms 3.3 The Proposed GA Model 4 Computational Experiments 4.1 Parameters Setting 4.2 Example 4.3 Case Studies 4.4 Results 5 Discussion 5.1 Analysis of Out Approach 5.2 Comparison to Related Work 6 Conclusions and Future Work References Application of Fuzzy Logic to Assess the Quality of BPMN Models 1 Introduction 2 Related Work 2.1 Quality Metrics 2.2 Business Process Evaluation 3 Determination of Quality Metrics Thresholds 3.1 Data Collection 3.2 Data Preparation 3.3 Data Mining 3.4 Validation 3.5 Discussions 4 Fuzzy Logic for Business Process Quality-Assessment 4.1 Fuzzification 4.2 Inference 4.3 Defuzzification 5 System Development: BP-FuzzQual 5.1 Architecture 5.2 Experiments 6 Conclusion References Solving Multiobjective Knapsack Problem Using Scalarizing Function Based Local Search 1 Introduction 2 Multiobjective Optimization Problems 3 MOMKP Formulation 4 Tchebycheff Functions 4.1 The Weighted Tchebycheff Function 4.2 The Augmented Weighted Tchebycheff Function 5 Our Proposed Approach Min-Max TLS: Min-Max Tchebycheff Based Local Search 5.1 Weight Vectors Generation 5.2 Initial Population Initialization 5.3 Perturbation 5.4 Update Reference Point 5.5 Neighborhood Structure 5.6 Acceptance Criterion and Replacement Function 6 Experimental Results 6.1 Experimental Setup 6.2 Performance Metrics 6.3 Comparison Results 6.4 Discussion 7 Conclusions and Perspectives References Monitoring and Control of Vehicles’ Carbon Emissions Abstract 1 Introduction 1.1 A Subsection Sample 2 Related Work 3 EcoLogic General Concept 4 EcoLogic Architecture and Implementation 4.1 EcoLogic Database 4.2 EcoLogic Hardware Module 4.3 Java EE Backend Application 4.4 Analytics Application 4.5 JavaScript Web UI Application 5 EcoLogic Usage Example 6 Conclusions and Future Work Acknowledgements References WOF: Towards Behavior Analysis and Representation of Emotions in Adaptive Systems 1 Introduction 2 Requirements 3 Fundamental Concepts of WOF 3.1 Concept of WO 3.2 Concept of WOS (WO System) 4 Design Models of WO and WOS 4.1 Design Model of WO 4.2 Design Model of WOS 4.3 Design Model of WO Data Analyzers 5 Statistical Analysis and WO Emotions 6 An Illustrating Example ``Home Automation'' 7 Discussion and Concluding Remarks References Classifying Big Data Analytic Approaches: A Generic Architecture 1 Introduction 2 Preliminaries 2.1 Big Data Programming Models 2.2 A Classification of Big Data Query Languages 3 Generic Architecture for Analytical Approaches 3.1 Architecture for Analytic Processing Classification 3.2 Criteria of Comparison 4 Describing Some Big Data Analytic Systems 4.1 NoSQL Based Architectures 4.2 Relational Parallel Databases Based Architectures 4.3 Graph Based Architectures 4.4 General Discussion 5 Related Work 6 A Decision Support System to Select Big Data Analytics: A Perspective 7 Conclusions References Towards a Digital Business Operating System Abstract 1 Introduction 2 Trends in Industry and Society 2.1 Shifting Nature of Product Innovation 2.2 From Products to Services 2.3 From Technology- to Customer-Driven Innovation 2.4 The Size of Software 2.5 Need for Speed 2.6 Playing Nice with Others 3 Towards a Digital Business Operating System (DiBOS) 3.1 Speed 3.2 Data 3.3 Ecosystems 3.4 Empowerment 4 Operationalizing DiBOS 4.1 Operations 4.2 Development 4.3 Innovation 5 Conclusion References Author Index