Program


Videos of all talks are available here. See the program below for links to individual videos of the talks.


Friday, May 30, 2014

Room: Lecture Hall 3 (HS-3), Label C on the campus map.


09:00 - 09:15 Welcome (Video) Juergen Dingel and Holger Giese
Session 1: Languages & meta models
09:15 - 09:45 T1 "Standardizing a variability language"
(Slides, Video)
Oystein Haugen
(SINTEF and University of Oslo)
abstract
& bio
09:45 - 10:00 Discussion
10:00 - 10:30 T2 "Maturing to metamodels"
(Slides, Video)
Richard Paige
(University of York, UK)
abstract
& bio
10:30 - 10:45 Discussion
10:45 - 11:15 Break
Session 2: Evolution & collaboration
11:15 - 11:45 T3 "(On the infeasibility of) Model/Code Co-Refactoring"
(Slides, Slides with animations, Video)
Friedrich Steimann
(Fernuniversitaet Hagen)
abstract
& bio
11:45 - 12:00 Discussion
12:00 - 12:30 T4 "Collaborative and standardized MDE"
(Slides, Video)
Tom Ritter
(Fraunhofer FOKUS)
abstract
& bio
12:30 - 12:45 Discussion
12:45 - 13:45 Lunch
Session 3: Pragmatics & tooling (1)
13:45 - 14:15 T5 "Taming Graphical Modeling: On Pragmatics-Aware MDE"
(Slides, Video)
Reinhard von Hanxleden
(Kiel University)
abstract
& bio
14:15 - 14:30 Discussion
14:30 - 15:30 Break
Session 4: Pragmatics & tooling (2)
15:30 - 16:00 T6 "News from USE"
(Slides, Video)
Martin Gogolla
(University of Bremen)
abstract
& bio
16:00 - 16:15 Discussion
16:15 - 16:45 Wrap-up and Closing
T7 "Model-based Development & Software Certification"
Unfortunately, canceled.
Michaela Huhn
(Clausthal University of Technology)
abstract
& bio

Abstracts & speaker bios


T1 Standardizing a variability language
Abstract: The Common Variability Language (CVL) is the name of a language which has been undergoing standardization within OMG, but now it has stalled. This talk will tell about CVL and the values of standardization in the area of product lines. The talk will also present some challenges and reasons why the standardization has stalled after having gone through all the technical committees of OMG.
Oystein Haugen (SINTEF and University of Oslo)
Short bio: Oystein Haugen is Senior Researcher at SINTEF and adjunct Associate Professor at the University of Oslo. He has worked since the late eighties in standardizing modeling languages SDL, MSC, UML, SoaML, UML Testing Profile and now CVL. He was General Chair of MODELS 2010 in Oslo.
T2 Maturing to Metamodels
Abstract: Have you experienced the "EMF-eyes-glazing over" phenomena? Have you tried to introduce MDE to organisations from first principles, starting with models, moving to metamodels, then code generation, then more? Have you experienced push-back, failure, pain and suffering? We have, and we report on three techniques we have developed to try help organisations mature towards use of metamodels and MDE by building on the modelling they already do.
Richard Paige (Department of Computer Science, University of York, UK)
Short bio: Professor of Enterprise Systems, Director of the Engineering Doctorate Centre in Large-Scale Complex IT Systems, and principal investigator on four European projects. I am interested in large-scale applications of modelling, model transformations, novel applications of MDE, helping organisations adopt modelling, and combining optimisation-based techniques with modelling.
T3 (On the infeasibility of) Model/Code Co-Refactoring
Abstract: Based on the idea of constraint-based program refactoring, a constraint-based approach to model/code co-refactoring is presented. The approach exploits the transformation trace obtained during code generation, which is used to link properties of model and generated code together. While the approach can be shown to solve some relevant problems of model/code co-refactoring, it suffers from the general problems of model/code co-evolution.
Friedrich Steimann (Fernuniversitaet Hagen)
Short bio: Full Professor for Programming Systems at Fernuni since 2004, Habilitation at Universitaet Hannover in 2000, PhD from Technical University of Vienna in 1995, Diplom in Informatik from Universitaet Karlsruhe in 1991.
T4 Collaborative and standardized MDE
Abstract: Working with MDE while creating large and complex systems typically involves a number of potentially geographically separated development teams and a number of various different tools. These two aspects are two important dimensions of complexity, which should be considered when planning large system engineering projects. The importance of these aspects has become increasingly eminent and recent approaches try to handle these issues. Among them are OSLC (Open Services for Lifecycle Collaboration) and ModelBus®. Those approaches address the platform aspect of system engineering on complementary level of abstraction and are a step forward with respect to integration and interoperability challenges. These approaches sets de facto standards in systems engineering, which is important to increase efficiency and to cope with the complexity diminsions. Based on these considerations big European initiatives like the ARTMIS Joint Undertaking project CRYSTAL started to work on a Reference Technology Platform with the goal to improve interoperability. The talk will present challenges and solutions in large-scale system engineering efforts and focusses on the aspect of collaboration and standardisation.
Tom Ritter (Frauhofer FOKUS)
Short bio: Dr. Tom Ritter graduated with a Masters degree in Computer Science from the Technical University of Berlin and did his PhD in 2011 at Humboldt University Berlin in modeling quality of service of component oriented systems. Since 1998 he worked at Fraunhofer Institute FOKUS in the area of tool development and distributed systems. Since 2006 he was heading the Model-Driven Engineering group at FOKUS and from 2010 he was the Deputy Head of the competence center SQC (formerly MOTION). As of December 2013 he is Head of the Competence Center "System Quality Center" (SQC). His major interest is the model-driven software engineering, the development of software tools, software development processes, tool integration infrastructure and the consideration of non-functional properties and QoS at design and execution time. Tom is one of the Co-Authors of a CORBA Component based Middleware Platform (Qedo). Since 2004 Tom participated to the design of the tool integration infrastructure ModelBus and he is heading the ModelBus development team. Tom is involved in different standardization activities at the Object Management Group, he is coauthor on books about components and services and contributes continuously to workshops and conferences.
T5 Taming Graphical Modeling: On Pragmatics-Aware MDE
Abstract: Visual models, such as Statecharts or Simulink diagrams, help to understand complex systems. However, with the user interaction paradigms established today, activities such as creating, maintaining or browsing visual models can be very tedious. Valuable engineering time is wasted with archaic activities such as manual placement and routing of nodes and edges. In this talk, I will present an approach to enhance productivity by focusing on the *pragmatics* of model-based design. A key enabler for pragmatics-aware modeling is the automatic drawing, or layout, of visual models. Automatic layout allows to separate a model from its view, and to automatically synthesize customized views for a model. Building on automatic layout, concepts such as structure-based editing and focus-and-context visualizations during simulation help to further inrease productivity. These concepts have been implemented in the open-source KIELER Eclipse Rich Client modeling environment.
Reinhard von Hanxleden (Kiel University)
Short bio: Reinhard von Hanxleden conducted his studies of Computer Science and Physics at Kiel University and the Pennsylvania State University (M.Sc., 1989), followed by dissertation work at Rice University (Ph.D., conferred 1995). He then joined DailerChrysler R&D, until 2000 in Berlin, subsequently - with Airbus - in Toulouse and Hamburg. Since April 2001 he is the head of the Real-Time / Embedded Systems group at the Department of Computer Science of the Christian-Albrechts-Universität zu Kiel. He was a visiting researcher at the EECS Department at UC Berkeley in 2007 and at the University of Auckland in 2013/14. His research interests include systems modeling with a focus on modeling pragmatics and designer productivity, synchronous languages, deterministic concurrency, code synthesis, and time-predictable systems.
T6 News from USE
Abstract: The UML and OCL tool USE (UML-based Specification Environment) is a model validation and verification tool. It has been extended in the last two years by some new features: Statecharts in form of UML protocol machines, a model validator based on Kodkod, a Simple Ocl-based Imperative programming Language (SOIL), communication diagrams, qualified associations, derived attributes and associations, and attribute initializations. The talk will explain how to employ old and new features of USE for model validation and verification.
Martin Gogolla (University of Bremen)
Short bio: Martin Gogolla is professor for Computer Science at University of Bremen, Germany and is the head of the Research Group Database Systems. His research interests include software development with object-oriented approaches, formal methods in system design, semantics of languages, and formal specification. Martin Gogolla is actively participating in the MODELS conference and is involved in the organisation of the OCL workhops and the ICMT and TAP conferences. In his group, foundational work on the semantics of and the tooling for UML, OCL and general modeling languages has been carried out. The group developes the OCL and UML tool USE (UML-based Specification Environment) since about 15 years. The tool is internationally and nationally widely accepted and employed for research and teaching and in software production.
T7 Model-based Development & Software Certification
Abstract: Software is a key factor driving the innovation of many technical products and infrastructures for everyday use. Dependable software requires rigorous quality assurance in particular to achieve an adequate level of dependability. In many domains, dependable systems and the software therein have to be formally approved with respect to safety and certified, before being put in operation.
The formal foundations and the systematics a model-driven approach relies on, conform to the requirements for rigorous development stated in the safety standards. We go one step further and show how to combine formal modeling, safety analysis and formal verification in order to systematically provide evidence for the safety argumentation. Thereby the artifacts and activities in the model based design process and the safety process are tightly interlinked.
Michaela Huhn (Clausthal University of Technology, Department of Informatics)
Short bio: Michaela Huhn studied computer science at the University of Erlangen-Nuernberg. She did her PhD on process algebras and temporal logic at the University of Hildesheim. At Karlruhe Institute of Technology she started to work on model checking as a Postdoc. Since 2000 she has been working on formal methods to be used in the development of safety-critical systems. Her current interests are model-based techniques in the design and verification of dependable systems and safety assurance.