SDL 2015: Model-Driven Engineering for Smart Cities: 17th International SDL Forum, Berlin, Germany, October 12–14, 2015, Proceedings

Front Matter....Pages -
Front Matter....Pages 1-1
Insertion Modeling and Symbolic Verification of Large Systems....Pages 3-18
A Model-Based Framework for SLA Management and Dynamic Reconfiguration....Pages 19-26
SDL - The IoT Language....Pages 27-41
Event Pattern Mining for Smart Environments....Pages 42-45
Front Matter....Pages 47-47
Simulating Distributed Systems with SDL and Hardware-in-the-Loop....Pages 49-64
Name Resolution of SDL Revisited: Drawbacks and Possible Enhancements....Pages 65-80
An Experiment to Introduce Interrupts in SDL....Pages 81-88
Front Matter....Pages 89-89
LanguageLab - A Meta-modelling Environment....Pages 91-105
Consistency of Task Trees Generated from Website Usage Traces....Pages 106-121
On the Semantic Transparency of Visual Notations: Experiments with UML....Pages 122-137
Front Matter....Pages 139-139
On the Reuse of Goal Models....Pages 141-158
Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL....Pages 159-174
Front Matter....Pages 175-175
Generating Software Documentation in Use Case Maps from Filtered Execution Traces....Pages 177-192
Towards the Generation of Tests in the Test Description Language from Use Case Map Models....Pages 193-201
Describing Early Security Requirements Using Use Case Maps....Pages 202-217
Front Matter....Pages 219-219
Generating Configurations for System Testing with Common Variability Language....Pages 221-237
Model-Based Product Line Testing: Sampling Configurations for Optimal Fault Detection....Pages 238-251
Testing Business Processes Using TTCN-3....Pages 252-267
Generating Performance Test Model from Conformance Test Logs....Pages 268-284
Back Matter....Pages -