Systems Modelling and Management : First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings

This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools. Preface 6 Objectives and Scope 6 Submissions and Reviewing Process 7 Conference Proceedings 7 Outlook 7 Acknowledgements 8 Organization 9 Contents 11 Verification and Validation 13 Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems 14 1 Introduction and Motivation 14 2 Related Work on Test Case Selection and Scheduling 16 2.1 Test Case Selection and Prioritisation – The Utility Value 16 2.2 Scheduling Strategies in Computer Science or Mathematics 17 2.3 Basic Terms and Definitions 18 3 Optimize Test Case Scheduling for APS 19 3.1 Consideration of Setup Time for Test Case Scheduling 19 3.2 Utility-Based and Permutation-Based Test Case Scheduling 19 3.3 Application of Dynamic Programming to Test Scheduling Without Setup Times - Test Case Selection 20 3.4 Adapting Dynamic Programming for Scheduling with Setup Times 21 4 Evaluation of Dynamic Programming Approach for Test Case Scheduling Considering Setup Times 24 4.1 Introduction of Evaluation Example Test Set 24 4.2 Implementation and Application of Scheduling Algorithms 25 4.3 Discussion of Evaluation Results 25 5 Conclusion and Future Work 29 References 29 A Model-Driven Mutation Framework for Validation of Test Case Migration 32 1 Introduction 32 2 Solution Architecture 34 3 Process 35 4 Implementation 36 5 Case Study 37 6 Related Work 38 7 Conclusion and Future Work 39 References 40 Towards Consistency Checking Between a System Model and Its Implementation 41 1 Introduction 41 2 MBSE in the Industrial Setting Under Study 42 2.1 Overview of the System Model 42 2.2 Motivation for Consistency Checking 43 2.3 Challenges 44 3 Approach 45 3.1 Automatically Discovering Traceability Links. 45 4 Related Work 47 5 Conclusion and Future Work 48 References 49 Applications 51 Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges 52 1 Introduction 52 2 Digital Twins and MDE 54 2.1 Digital Twins and Their Relationship to MDE 54 2.2 Examples of Digital Twins 55 2.3 Digital Twin Challenges 56 3 MDE Contributions to Digital Twin Challenges 57 3.1 MDE Contribution to the Management of Heterogeneous Models 57 3.2 MDE Contribution to the Bi-directional Synchronization Between Digital Twins and Actual Systems 58 3.3 MDE Contribution to the Collaborative Development of Digital Twins 58 4 Open Research Challenges 59 5 Conclusion 61 References 61 Reusable Data Visualization Patterns for Clinical Practice 64 1 Introduction 64 2 Methods 67 3 Case Study: A Mental Health Clinic for Guided Internet-Delivered CBT 67 4 Model Based Approach for Reusable Visual Components 73 5 Related Work 77 6 Conclusion and Future Work 79 References 79 A Model Based Slicing Technique for Process Mining Healthcare Information 82 1 Introduction 82 2 Characteristics of and Challenges in Careflow Analysis 84 3 Model Based Pre-processing Step for Process Mining 85 3.1 Role of Ontologies in Process Mining 86 3.2 Dimensional Modeling for Contextual Analysis of Careflow 86 4 Structural Property 88 5 Conclusion 89 References 90 Validity Frame Driven Computational Design Synthesis for Complex Cyber-Physical Systems 91 1 Introduction 91 2 Literature Review 92 3 Validity Frame Supported Computational Design Synthesis 93 3.1 Data Gathering 93 3.2 CDS 94 3.3 Simulator Generation 95 4 Case Study 96 4.1 Description 96 4.2 Design Space Exploration 97 5 Conclusions and Future Work 98 References 99 Industrial Plant Topology Models to Facilitate Automation Engineering 100 1 Introduction 100 2 Plant Topology Models 102 2.1 Definition 102 2.2 Use Cases and Related Work 103 2.3 Concrete Topology Models 105 2.4 Obtaining Topology Models 106 3 CAYENNE Method and Models 107 4 Case Studies 110 4.1 Case 1: FESTO MPS PA Compact-Workstation 110 4.2 Case 2: Commercial Chemical Plant 112 5 Future Challenges 114 6 Conclusions 115 References 116 Methods, Techniques and Tools 118 On the Replicability of Experimental Tool Evaluations in Model-Based Development 119 1 Introduction 119 2 Research Methodology 121 2.1 Search Process and Research Paper Selection 121 2.2 Refinement of Research Questions and Data Extraction 124 3 Results 126 3.1 Are the Experimental Results of Evaluating Tools Supporting Model-Based Development with MATLAB/Simulink Replicable in Principle? (RQ1) 126 3.2 From Where Do Researchers Acquire MATLAB/Simulink Models for the Sake of Experimentation? (RQ2) 129 4 Threats to Validity 131 5 Discussion 131 6 Related Work 133 7 Conclusion and Future Work 134 References 135 Exploring Validity Frames in Practice 139 1 Introduction 139 2 Validity Frames 141 2.1 Example Component 141 2.2 Objective 143 2.3 Properties 145 2.4 Influencing Factors 145 2.5 Experiments 146 2.6 Validation Procedure 146 2.7 Validity Conditions 147 2.8 Capturing Validity 147 3 Design-Space Exploration Using Validity Frames 149 3.1 Requirements 149 3.2 Initial Design 150 3.3 The Resistor Frame 151 3.4 Modified Design 151 4 Related Work 153 5 Conclusion and Future Work 154 References 155 Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management 157 1 Introduction 157 2 Methodology 159 2.1 Models Selection 159 2.2 Text Extraction 160 2.3 Measures for Accuracy 160 3 Results 160 3.1 R1: How Accurate Are Off-the-shelf OCR Services for Extracting Text from Graphical Models? 160 3.2 RQ2: What Are the Common Errors Made by OCR Services on Models from Different Domains? 163 4 Threats to Validity 166 5 Discussion and Future Work 166 6 Related Work 167 7 Conclusion 167 References 168 Simplified View Generation in a Deep View-Based Modeling Environment 171 1 Introduction 171 2 Foundations 173 2.1 Projective, View-Based Modeling 173 2.2 Deep Modeling 174 2.3 Deep Orthographic Software Modeling 174 2.4 Deep ATL 176 2.5 Deep OCL 177 3 View Projection Transformations 177 4 View Projection Filters 179 4.1 Filter Expressions 179 4.2 View Definition Example 180 5 Bicycle Challenge Example 181 6 Discussion 184 7 Related Work 185 8 Conclusion 185 References 186 GrapeL: Combining Graph Pattern Matching and Complex Event Processing 188 1 Introduction 188 2 Preliminaries 190 2.1 Motivating Example: Flight Monitoring System 190 2.2 Graph Pattern Matching 190 2.3 Complex Event Processing 192 3 GrapeEngine 193 4 Specification Through GrapeL 196 5 Evaluation 200 6 Related Work 202 7 Conclusion 203 References 203 Author Index 205 Front Matter ....Pages i-xii Front Matter ....Pages 1-1 Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems (Kathrin Land, Birgit Vogel-Heuser, Suhyun Cha)....Pages 3-20 A Model-Driven Mutation Framework for Validation of Test Case Migration (Ivan Jovanovikj, Nils Weidmann, Enes Yigitbas, Anthony Anjorin, Stefan Sauer, Gregor Engels)....Pages 21-29 Towards Consistency Checking Between a System Model and Its Implementation (Robbert Jongeling, Johan Fredriksson, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson)....Pages 30-39 Front Matter ....Pages 41-41 Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges (Francis Bordeleau, Benoit Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer)....Pages 43-54 Reusable Data Visualization Patterns for Clinical Practice (Fazle Rabbi, Jo Dugstad Wake, Tine Nordgreen)....Pages 55-72 A Model Based Slicing Technique for Process Mining Healthcare Information (Fazle Rabbi, Yngve Lamo, Wendy MacCaull)....Pages 73-81 Validity Frame Driven Computational Design Synthesis for Complex Cyber-Physical Systems (Bert Van Acker, Yon Vanommeslaeghe, Paul De Meulenaere, Joachim Denil)....Pages 82-90 Industrial Plant Topology Models to Facilitate Automation Engineering (Heiko Koziolek, Julius Rückert, Andreas Berlet)....Pages 91-108 Front Matter ....Pages 109-109 On the Replicability of Experimental Tool Evaluations in Model-Based Development (Alexander Boll, Timo Kehrer)....Pages 111-130 Exploring Validity Frames in Practice (Simon Van Mierlo, Bentley James Oakes, Bert Van Acker, Raheleh Eslampanah, Joachim Denil, Hans Vangheluwe)....Pages 131-148 Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management (Weslley Torres, Mark G. J. van den Brand, Alexander Serebrenik)....Pages 149-162 Simplified View Generation in a Deep View-Based Modeling Environment (Arne Lange, Colin Atkinson, Christian Tunjic)....Pages 163-179 GrapeL: Combining Graph Pattern Matching and Complex Event Processing (Sebastian Ehmes, Lars Fritsche, Konrad Altenhofen)....Pages 180-196 Back Matter ....Pages 197-197