SDL 2015: Model-Driven Engineering for Smart Cities

Name: SDL 2015: Model-Driven Engineering for Smart Cities | 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
Brand: Springer
Price: 50.28 EUR
Availability: OnlineOnly

17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings

Joachim Fischer Markus Scheidgen Ina Schieferdecker Rick Reed(Herausgeber*in)

Springer (Verlag)

Erschienen am 6. Oktober 2015

XIV, 285 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-24912-4 (ISBN)

50,28 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Preface
SDL Forum Society
Organization
Contents
Smart Cities and Distributed Systems
Insertion Modeling and Symbolic Verification of Large Systems
1 Introduction
2 The Elements of Insertion Modeling
3 Local Description Units
4 Predicate Transformer
5 Generic Trace Generator (GTG)
6 Conclusions
References
A Model-Based Framework for SLA Management and Dynamic Reconfiguration
1 Introduction
2 Modeling for SLA Compliance Management
2.1 SLA Metamodel
2.2 SLA Compliance Metamodel
3 Dynamic Reconfiguration
4 Related Work
5 Conclusion and Future Work
References
SDL - The IoT Language
1 Introduction
2 SDL and the IoT
2.1 National Plant Phenomics Centre
2.2 Walls Have Ears
2.3 Field Robotics
2.4 Smart Living
3 Three Challenges
3.1 Making a Smart Thing Is Easy - Ensuring It Behaves Reliably in the Wild Is Not
3.2 New IoT Platforms
3.3 Deployment Issues
4 What Is Needed to Make SDL the Language of Choice for IoT Systems?
5 Conclusion
References
Event Pattern Mining for Smart Environments
1 Introduction
2 Related Work
3 Background
4 Event Pattern Mining
5 Conclusion
References
Specification and Description Language
Simulating Distributed Systems with SDL and Hardware-in-the-Loop
1 Introduction
2 The Simulator Framework FERAL
2.1 Outline
2.2 Simulation of SDL Models
2.3 Developing Distributed Systems with Virtual Prototyping
3 Case Study -- the Inverted Pendulum
3.1 Scenario Description
3.2 Results
4 Related Work
5 Conclusions
References
Name Resolution of SDL Revisited: Drawbacks and Possible Enhancements
1 Introduction
2 Related Work
3 Formalisms of the Specification and Description Language
3.1 Formal Syntax Specification
3.2 Algorithms for Name Resolution at Concrete Syntax Level
4 Problems of the Resolution by Context Algorithm
4.1 Problems of the Specified Algorithm
4.2 Problems of the Formal Specification
5 Proposed Solution
5.1 Elimination of the Combinatorial Explosion Problem
5.2 Rework of the Formal Specification
6 Conclusion
References
An Experiment to Introduce Interrupts in SDL
1 Introduction
2 Hardware Modelling Requirements
3 SDL
4 A Pragmatic Approach
5 Expected Results
6 Conclusion
References
Domain Specific Languages
LanguageLab - A Meta-modelling Environment
1 Introduction
2 State of the Art in Language Specification
2.1 Introducing the LanguageLab Workbench
3 LanguageLab Design and Implementation
3.1 Language Modularity and Instantiation
3.2 LanguageLab User Interface
3.3 Module System
3.4 Implementation
4 LanguageLab in Use
4.1 Creating a Module
4.2 Executing a Module
4.3 Creating a New Language with LanguageLab
5 Discussion
6 Summary
References
Consistency of Task Trees Generated from Website Usage Traces
1 Introduction
2 Task Trees and Trace-Based Task Tree Generation
3 Comparison of Tasks
4 Case Study
4.1 Recorded User Actions
4.2 Generation and Comparison of Task Trees
4.3 Comparison Results
5 Discussion
6 Related Work
7 Conclusion and Outlook
References
On the Semantic Transparency of Visual Notations: Experiments with UML
1 Introduction
2 Background and Related Research
2.1 Physics of Notations
3 Experiments on UML Semantic Transparency
3.1 Symbolization Experiment
3.2 Stereotyping Analysis
3.3 Prototyping Experiment
3.4 Semantic Transparency Experiment
3.5 Identify Best of Breed Symbols
3.6 Threats to Validity
4 Discussion and Conclusions
References
Goal Modeling
On the Reuse of Goal Models
1 Introduction
2 Background on Goal Modeling
3 Reuse Scenarios for Goal Models
4 Relative Contributions in the Context of Reuse
4.1 Reusable Goal Models Without Constraints
4.2 Reusable Goal Models with Constraints
4.3 Reusable Goal Models Combined with Feature Models
5 Proof-of-Concept Implementation
6 Related Work
7 Conclusions and Future Work
References
Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL
1 Introduction
2 Background
2.1 Related Work on Textual and Graphical Languages
2.2 Related Work on Enabling Technologies
2.3 Goal-Oriented Requirement Language (GRL)
2.4 jUCMNav Tool
3 Challenges Faced When Adding a Textual Syntax
3.1 Choice of Keywords
3.2 Structure Consistency
3.3 Alignment of Metamodels
3.4 Technology Selection
3.5 Handling Restrictions and Rules
3.6 Synchronizing Textual and Graphical Models
4 Case Study: TGRL
4.1 TGRL Concrete Syntax
4.2 TGRL Editor and Transformation to jUCMNav
5 Discussion
6 Conclusions and Future Work
References
Use-Case Modeling
Generating Software Documentation in Use Case Maps from Filtered Execution Traces
1 Introduction
2 Mapping and Metrics
2.1 Mapping Traces to Use Case Maps
2.2 Static Data Metrics
2.3 Dynamic Data Metrics
3 Utilityhood Algorithms
4 Automated Approach
5 Illustrative Example
6 Discussion and Evaluation
6.1 Additional Experiments
6.2 Threats to Validity
7 Conclusion and Future Work
References
Towards the Generation of Tests in the Test Description Language from Use Case Map Models
1 Introduction
2 UCM Scenarios
3 Generation of Test Purposes in TDL
4 Discussion and Future Work
5 Conclusion
References
Describing Early Security Requirements Using Use Case Maps
1 Introduction
2 Security Requirements
3 Security Modeling in Use Case Maps
3.1 UCM Attack Detection Modeling
3.2 UCM Attack Resistance, Reaction, and Recovery Modeling
4 UCM Security-Enabled Metamodel
5 Illustrative Example: Modification of Consultants' Pay Rates
6 Discussion
7 Conclusions and Future Work
References
Model-Based Testing
Generating Configurations for System Testing with Common Variability Language
1 Introduction
2 Common Variability Language
2.1 VSpec
2.2 Resolution
3 Motivating Example
4 Proposed Method
4.1 Subsystem Feature Analysis
4.2 Structure Analysis
4.3 System Feature Analysis
4.4 Test Case Formalization
4.5 Relational Analysis
4.6 Configuration Generation
5 Tool: CT-CVL
6 Discussion
6.1 RQ1: Can the Method Generate a Small Set of Configurations that Cover All Test Cases?
6.2 RQ2: Can the Method Elicit and Formalize the Tacit Knowledge Needed for Combining Subsystems?
6.3 RQ3: Is the Execution Time for the Generation Sufficiently Low?
6.4 Threats to Validity
7 Related Research
8 Conclusion
References
Model-Based Product Line Testing: Sampling Configurations for Optimal Fault Detection
1 Introduction
2 Product Line Testing
2.1 Model-Based Product Line Engineering
2.2 Reusable Test Cases
3 Sampling Configurations from Reusable Test Cases
3.1 General Sampling
3.2 Optimized Sampling
4 Example and Evaluation
4.1 Example and Setup
4.2 Test Assessment for Product Line Tests
4.3 Results
4.4 Discussion
5 Related Work
6 Conclusion
References
Testing Business Processes Using TTCN-3
1 Introduction
1.1 Hospital's `Cancer Patient Assessment' Business Process Case Study
1.2 The Challenges of Testing Business Processes
1.3 Limitations of Traditional Business Processes Testing Approaches
2 TTCN-3 Model
2.1 Separation of Concerns
2.2 Handling Parallel Test Components Dependency
2.3 Maximizing the Benefits of Parallel Test Components Execution
2.4 Handling Delayed Responses from the SUT
3 Conclusion
References
Generating Performance Test Model from Conformance Test Logs
1 Introduction
1.1 Related Work
1.2 Our Contribution
2 Preliminaries
2.1 Finite State Machines
2.2 GSP
3 Unsupervised FSM Reconstruction
3.1 Initial Considerations
3.2 Specialization of GSP
3.3 State Candidate Identification
3.4 Reconstruction of Transitions
4 Experiments on Random FSMs
5 Experiment on IMS Telephony Application Server
5.1 Frequency Versus Relevance
5.2 Efficiency of the Method
5.3 State Machine Decomposition
6 Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken