| 1 |
30 min |
Monday 9 |
Session 1a |
12:00 - 13:15 |
Modeling Languages, Tools and Architectures |
Shannon |
Towards the Integration of Model-Driven Engineering, Software Product Line Engineering, and Software Configuration Management |
| 2 |
20 min |
Tuesday 10 |
Session 4 |
14:30 - 16:00 |
Modeling Languages, Tools and Architectures |
Shannon |
Aggregate Callback - A Design Pattern for Flexible and Robust Runtime Model Building |
| 4 |
30 min |
Monday 9 |
Session 2 |
14:30 - 16:30 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components |
| 5 |
Poster |
Monday 9 |
Poster Session 1 |
16:30 - 17:30 |
Applications and Software Development |
Foyer |
Towards Managing Data Variability in Multi Product Lines |
| 6 |
30 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Methodologies, Processes and Platforms |
Shannon |
Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain |
| 7 |
Poster |
Monday 9 |
Poster Session 1 |
16:30 - 17:30 |
Modeling Languages, Tools and Architectures |
Foyer |
A Novel Approach using Alloy in Domain-specific Language Engineering |
| 8 |
20 min |
Monday 9 |
Session 2a |
14:30 - 16:30 |
Modeling Languages, Tools and Architectures |
Shannon |
TowardsWorld Model-based Test Generation in Autonomous Systems |
| 10 |
20 min |
Wednesday 11 |
Session 5 |
09:15 - 10:45 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Model-Based Approach for Implementation of Software Configuration Management Process |
| 11 |
30 min |
Tuesday 10 |
Session 4 |
14:30 - 16:00 |
Methodologies, Processes and Platforms |
Le Prince Ringuet |
SysML Modeling for Embedded Systems Design Optimization - A Case Study |
| 12 |
20 min |
Monday 9 |
Session 1b |
12:00 - 13:15 |
Modeling Languages, Tools and Architectures |
Einstein |
Architecture Framework for Modeling the Deployment of Parallel Applications on Parallel Computing Platforms |
| 13 |
20 min |
Monday 9 |
Session 1 |
12:00 - 13:15 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Towards Feature-driven Goal Fulfillment Analysis - A Feasibility Study |
| 14 |
20 min |
Tuesday 10 |
Session 4 |
14:30 - 16:00 |
Modeling Languages, Tools and Architectures |
Shannon |
A MapReduce-based Approach for Finding Inexact Patterns in Large Graphs |
| 15 |
30 min |
Monday 9 |
Session 2 |
14:30 - 16:30 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Specification of Adaptable Model Migrations |
| 16 |
20 min |
Tuesday 10 |
Session 4 |
14:30 - 16:00 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Instantiation of Meta-models Constrained with OCL - A CSP Approach |
| 17 |
30 min |
Tuesday 10 |
Session 4 |
14:30 - 16:00 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Architectural View Driven Model Transformations for Supporting the Lifecycle of Parallel Applications |
| 18 |
20 min |
Monday 9 |
Session 1a |
12:00 - 13:15 |
Modeling Languages, Tools and Architectures |
Shannon |
Graphical Debugging of Distributed Applications - Using UML Object Diagrams to Visualize the State of Distributed Applications at Runtime |
| 21 |
30 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink |
| 22 |
Poster |
Monday 9 |
Poster Session 1 |
16:30 - 17:30 |
Methodologies, Processes and Platforms |
Foyer |
Tool Integration by Models, Not Only by Metamodels - Applying Modeling to Tool Integration |
| 23 |
Poster |
Monday 9 |
Poster Session 1 |
16:30 - 17:30 |
Modeling Languages, Tools and Architectures |
Foyer |
Combined Modelling and Programming Support for Composite States and Extensible State Machines |
| 25 |
20 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Applications and Software Development |
Le Prince Ringuet |
Using a Domain-specific Modeling Language for Analyzing Harmonizing and Interfering Public and Private Sector Goals - A Scenario in the Context of Open Data for Weather Forecasting |
| 26 |
20 min |
Monday 9 |
Session 1b |
12:00 - 13:15 |
Modeling Languages, Tools and Architectures |
Einstein |
Automated Model-based Testing Based on an Agnostic-platform Modeling Language |
| 27 |
30 min |
Monday 9 |
Session 2a |
14:30 - 16:30 |
Modeling Languages, Tools and Architectures |
Shannon |
Model Query Translator - A Model-level Query Approach for Large-scale Models |
| 28 |
20 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Methodologies, Processes and Platforms |
Le Prince Ringuet |
Knowledge Modeling in the Health Care Domain to Support Software Development & Maintenance |
| 29 |
30 min |
Wednesday 11 |
Session 5 |
09:15 - 10:45 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages |
| 30 |
Poster |
Monday 9 |
Poster Session 1 |
16:30 - 17:30 |
Modeling Languages, Tools and Architectures |
Foyer |
Automated DSL Construction Based on Software Product Lines |
| 31 |
Poster |
Monday 9 |
Poster Session 1 |
16:30 - 17:30 |
Modeling Languages, Tools and Architectures |
Foyer |
Integrating Existing Proprietary System Models into a Model-driven Test Process for an Industrial Automation Scenario |
| 33 |
30 min |
Monday 9 |
Session 1 |
12:00 - 13:15 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
A Formalisation of Analysis-based Model Migration |
| 34 |
30 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Shannon |
Ubtl - UML Testing Profile based Testing Language |
| 35 |
20 min |
Wednesday 11 |
Session 5 |
09:15 - 10:45 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
A Unified Formulation of Behavioral Semantics for SysML Models |
| 37 |
20 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Shannon |
DCCSS - A Meta-model for Dynamic Clinical Checklist Support Systems |
| 39 |
20 min |
Wednesday 11 |
Session 6 |
14:45 - 16:15 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
A Survey of Object-Relational Transformation Patterns for High-performance UML-based Applications |
| 40 |
30 min |
Monday 9 |
Session 2 |
14:30 - 16:30 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Towards Non-intrusive Composition of Executable Models |
| 41 |
20 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Applications and Software Development |
Le Prince Ringuet |
Towards Product Lining Model-driven Development Code Generators |
| 42 |
Poster |
Wednesday 11 |
Poster Session 2 |
16:15 - 17:15 |
Methodologies, Processes and Platforms |
Foyer |
Discovering Models of Parallel Workflow Processes from Incomplete Event Logs |
| 43 |
20 min |
Monday 9 |
Session 2a |
14:30 - 16:30 |
Modeling Languages, Tools and Architectures |
Shannon |
Polymer - A Model-driven Approach for Simpler, Safer, and Evolutive Multi-objective Optimization Development |
| 44 |
20 min |
Tuesday 10 |
Session 4 |
14:30 - 16:00 |
Modeling Languages, Tools and Architectures |
Shannon |
Automated State-based Online Testing Real-time Embedded Software with RTEdge |
| 45 |
Poster |
Wednesday 11 |
Poster Session 2 |
16:15 - 17:15 |
Methodologies, Processes and Platforms |
Foyer |
Contextual Representations for Enterprise Model Application |
| 46 |
30 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Applications and Software Development |
Le Prince Ringuet |
Model-Driven Engineering of a Railway Interlocking System |
| 47 |
20 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Methodologies, Processes and Platforms |
Shannon |
A Modular Method for Global System Behaviour Specification |
| 48 |
Poster |
Wednesday 11 |
Poster Session 2 |
16:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Foyer |
Technology Independent Honeynet Description Language |
| 49 |
20 min |
Wednesday 11 |
Session 6 |
14:45 - 16:15 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Disciplined Approach for Transformation CIM to PIM in MDA |
| 51 |
20 min |
Wednesday 11 |
Session 6 |
14:45 - 16:15 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Towards Traceability Modeling for the Engineering of Heterogeneous Systems |
| 53 |
20 min |
Wednesday 11 |
Session 6 |
14:45 - 16:15 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
LCL - A Graphical Meta-Language for Specification of Language Constraints |
| 55 |
30 min |
Monday 9 |
Session 1b |
12:00 - 13:15 |
Modeling Languages, Tools and Architectures |
Einstein |
Extending UML Templates towards Computability |
| 57 |
Poster |
Wednesday 11 |
Poster Session 2 |
16:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Foyer |
Using a Projectional Editor to Implement Interactive Model Navigation and View Control |
| 58 |
30 min |
Wednesday 11 |
Session 5 |
09:15 - 10:45 |
Modeling Languages, Tools and Architectures |
Shannon |
Software Architecture Design by Stepwise Model Transformations : a Comparative Case Study |
| 59 |
20 min |
Wednesday 11 |
Session 5 |
09:15 - 10:45 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
A Combined Graph-based Approach for Systems Design And Verification |
| 61 |
Poster |
Wednesday 11 |
Poster Session 2 |
16:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Foyer |
Metamodelling with Formal Semantics with Application to Access Control Specification |
| 63 |
20 min |
Monday 9 |
Session 1a |
12:00 - 13:15 |
Modeling Languages, Tools and Architectures |
Shannon |
The Effect of Concurrent Programming Idioms on Verification - A Position Paper |
| 64 |
Poster |
Wednesday 11 |
Poster Session 2 |
16:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Foyer |
Traceability and Interfacing Between Requirements Engineering and UML Domains using the Standardized ReqIF Format |
| 65 |
Poster |
Monday 9 |
Poster Session 1 |
16:30 - 17:30 |
Modeling Languages, Tools and Architectures |
Foyer |
Support of Scenario Creation by Generating Event Lists from Conceptual Models |
| 66 |
20 min |
Wednesday 11 |
Session 5 |
09:15 - 10:45 |
Methodologies, Processes and Platforms |
Shannon |
Using Software Categories for the Development of Generative Software |
| 68 |
20 min |
Monday 9 |
Session 2a |
14:30 - 16:30 |
Modeling Languages, Tools and Architectures |
Shannon |
On Languages for Conceptual Data Modeling in Multi-disciplinary Space Systems Engineering |
| 69 |
20 min |
Wednesday 11 |
Session 5 |
09:15 - 10:45 |
Applications and Software Development |
Shannon |
Variability Management Supporting
the Model-driven Design of User Interfaces |
| 70 |
20 min |
Monday 9 |
Session 2 |
14:30 - 16:30 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Towards the State of the Art of Extending Enterprise Modeling Languages |
| 71 |
20 min |
Tuesday 10 |
Session 3 |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Shannon |
Behind the Scenes of the BPMN Extension Mechanism - Principles, Problems and Options for Improvement |
| 72 |
Poster |
Wednesday 11 |
Poster Session 2 |
16:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Foyer |
A Toolchain for Model-based Design and Testing of Access Control
Systems |
| 75 |
20 min |
Monday 9 |
Session 2a |
14:30 - 16:30 |
Modeling Languages, Tools and Architectures |
Shannon |
A Mechanism for Data Interchange Between Embedded Software Sub-systems Developed using Heterogenous Modeling Domains |
| 76 |
20 min |
Monday 9 |
Session 1 |
12:00 - 13:15 |
Modeling Languages, Tools and Architectures |
Le Prince Ringuet |
Model-driven Development for User-centricWell-being Support - From Dynamic Well-being Domain Models to Context-aware Applications |