SATURDAY, 05-APRIL-2014

9:00   Opening
9:15   1st Invited talk
    Philippe Palanque:
    Model-Based Engineering of Resilient Interactive Systems
10:30   coffee
11:00   Fundamental Aspects
    Frederik Deckwerth and Gergely Varro:
    Generating Preconditions from Graph Constraints by Higher Order Graph Transformation
    Paolo Bottoni, Andrew Fish, Alexander Heußner and Francesco Parisi-Presicce:
    Modeling Spider Diagrams with Resources
12:30   lunch
2:15  
Applications for modeling with Petri nets
    Mudhafar Hussein, Reiko Heckel, Vincent Danos and Pawel Sobocinski:
    Modelling Adaptive Networks: The Case of the Petrified Voters
    Jan Stückrath and Benjamin Weyers:
    Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models
3:45   coffee
4:30   Applications and Tools
    Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke and Joel Greenyer:
    A Comparison of Incremental Triple Graph Grammar Tools
    Eduardo Zambon and Arend Rensink:
    Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices
18:00   End of day one
     
   

SUNDAY, 06-APRIL-2014

9:15   2nd Invited talk
    Dániel Varró:
    Distributed Incremental Model Queries
10:30   coffee
11:00   Visual Modeling and Simulation
    Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer and Matthias Tichy:
    ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
    Abdullah Alshanqiti and Reiko Heckel:
    Towards Dynamic Reverse Engineering Visual Contracts from Java
12:30   lunch
2:15   Verification Techniques
    Xiaoliang Wang, Yngve Lamo and Fabian Büttner:
    Verification of Graph-based Model Transformations Using Alloy
    Discussion
    Summary and Closing
3:45   coffee
4:30   End of day two

 

Abstracts of Invited Talks

Philippe Palanque (University Paul Sabatier, Toulouse, France):
Model-Based Engineering of Resilient Interactive Systems

Abstract
Specificities of interactive systems require dedicated methods,
notations, and tools to support their design, specification, validation and
development. The presentation will focus on these specificities and how the
deployment of these systems in critical contexts introduces additional
constraints such as certification. The invited talk will present possible
research directions and their benefits for combining several complementary
approaches to engineer interactive critical systems. It will describe how
the human operator, the interaction and the underlying system are 3
inter-related components that have to be taken into account on an equal
basis in order to build resilient interactive systems. In particular, we
will show how operators’ tasks models and interactive system formal models
can play a central role in such contributions and how it is possible to
leverage research work done in those usually unconnected domains. Examples
will be taken from interactive cockpits on large civil commercial aircrafts
(such as the A380), satellite ground segment application and Air Traffic
Control workstations.

Biography
Dr. Philippe Palanque is Professor in Computer Science at the
University Toulouse 3 – Paul Sabatier and is head of the Interactive
Critical Systems group at the Institut de Recherche en Informatique de
Toulouse (IRIT) in France. Since the late 80s he has been working on the
development and application of formal description techniques for interactive
system. He has worked on research projects to improve interactive Ground
Segment Systems at the Centre National d'Études Spatiales (CNES) for more
than 10 years and is also involved in the development of software
architectures and user interface modeling for interactive cockpits in large
civil aircraft (funded by Airbus). He is also involved in the research
network HALA! (Higher Automation Levels in Aviation) funded by SESAR
programme which targets at building the future European air traffic
management system. The main driver of Philippe’s research over the last 20
years has been to address in an even way Usability, Safety and Dependability
in order to build trustable safety critical interactive systems. As for
conferences he is a member of the program committee of conferences in these
domains such as SAFECOMP 2013 (32nd conference on Computer Safety,
Reliability and Security), DSN 2014 (44th conference on Dependable Systems
and Networks), EICS 2014 (21st annual conference on Engineering Interactive
Computing Systems) and is co-chair of CHI 2014 (32nd conference on Human
Factors in Computing Systems).

 

Dániel Varró (Budapest University of Technology and Economics, Hungary):
Distributed Incremental Model Queries

Abstract
In model-driven software engineering (MDE), model queries are core
technologies of many tool and transformation-specific challenges such as
design rule validation, model synchronization, view maintenance,
simulation and many more. As software models are rapidly increasing in
size and complexity, traditional MDE tools frequently face scalability
issues that decrease productivity of engineers and increase development
costs. Incremental graph queries offer a graph pattern based language for
capturing queries. Furthermore, the result set of a query is cached and
incrementally maintained upon model changes to provide instantaneous query
response time. In this talk, I first provide an brief overview on the
EMF-IncQuery framework (which is an official Eclipse subproject). Then I
discuss how to incorporate incremental queries over a distributed cloud
infrastructure (to scale up from a single-node tool to a cluster of nodes)
deployed over popular database back-ends (such as Cassandra. 4store,
Neo4J, etc). I present our first benchmarking experiments with IncQuery-D
to highlight that distributed incremental model queries can perform
significantly better than the native query technologies of the underlying
database back-end, especially, for complex queries.

 

Accepted Papers (alphabetic order - first author)

  • Abdullah Alshanqiti and Reiko Heckel: Towards Dynamic Reverse Engineering Visual Contracts from Java
  • Paolo Bottoni, Andrew Fish, Alexander Heußner and Francesco Parisi-Presicce: Modeling Spider Diagrams with Resources
  • Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer and Matthias Tichy: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
  • Frederik Deckwerth and Gergely Varro: Higher Order Graph Transformations in Static Verification Approaches
  • Mudhafar Hussein, Reiko Heckel, Vincent Danos and Pawel Sobocinski: Modelling Adaptive Networks: The Case of the Petrified Voters
  • Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke and Joel Greenyer: A Comparison of Incremental Triple Graph Grammar Tools
  • Jan Stückrath and Benjamin Weyers: Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models
  • Xiaoliang Wang, Yngve Lamo and Fabian Büttner: Verification of Graph-based Model Transformations Using Alloy
  • Eduardo Zambon and Arend Rensink: Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices