1st Papyrus Workshop - DSML Technologies

Agenda

Day1 - 22 June 2015

• 10h00-10h05: Welcome address
• 10h05-12h30: Papyrus Fresh Outs part 1/3
  • 10h05-10h50: “Bidirectional incremental transformations with Active Operation Framework – Application to Facades” - Olivier BEAUDOUX and/or Frédéric JOUAULT

    Abstract:

  • 10h55-11h40: "Diagram Definition implementation in Papyrus” - Maged ELASAAR

    Abstract:

  • 11h45-12h30: “Demo of Papyrus’s advances for DSML in Mars” - Camille LETAVERNIER

    Abstract:

• 12h30-13h30: Lunch break
• 13h30: Papyrus Fresh Outs part 2/3
  • 13h30-14h00: “Improving software diagrams efficiency with Layers” - Cedric DUMOULIN

    Abstract:

  • 14h00-14h30: “Expansion: reusable diagrammatic notation definitions” - Patrick TESSIER

    Abstract:

• 14h30: Lessons Learned
  • 14h30 – 15h15: "Building a DSL for supporting computational design synthesis of cyberphysical systems. What does it take?” - Klaas GADEYNE et al.

    Abstract: Computational design synthesis is the process of using computer power to generate and evaluate system architectures in order to better support the designer in the design of complex cyberphysical systems. One important requirement for computational design synthesis tools is the ability to formally model the knowledge in the heads of the designers. The authors have several years of experience of trying to create a DSL for modeling this designer knowledge using a DSL based on the SysML modeling language in Papyrus. This presentation will illustrate the basic concepts of such a DSL by means of the example of hybrid driveline synthesis, and focus on what is currently missing in Papyrus to better support the creation of such a modeling language. Missing features cover the areas of abstract syntax (easier creating of profiles starting from a meta-model), concrete syntax (Requirements for semantic layout and better dealing with model-libraries, using different shapes based on complex stereotype properties, ...), and in the area of new features for the host language (UML/SysML and OCL).

• 15h15-15h30: Coffee break
• 15h30: Prospective works
  • 15h30-16h00: “How to identify and exploit notation variations in diagrams that reflect extra-semantic information. “ - Yosser EL AHMAR and Xavier LE PALLEC

    Abstract:

  • 16h05-16h35: “Generation of diagram editors using Diagram Definition” - Alexis FOUCHÉ

    Abstract: To which extend Diagram Definition can be used to formally define the concrete syntax of a diagrammatic modeling language? We present an approach that uses DD specifications to systematically generate modeling language tool support that guarantees compliance to standard notation. We assess the feasibility of the approach on a subset of the UML class diagram implemented within the open-source Papyrus tool.

  • 16h40-17h10: “Define DSL notation using declarative geometric constraints” - Olivier BEAUDOUX and/or Frédéric JOUAULT

    Abstract:

• 17h10-17h30: Open discussions

Day2 - 23 June 2015

• 9h00 Papyrus Fresh Outs part 3/3
  • 9h00-9h30 “Last developments on EMF-compare for collaborative modeling with DSMLs” - Maximilian KOEGEL

    Abstract:

• 9h30: Further developments
  • 9h30-10h00: Papyrus 2.0 - Rémi SCHNEKENBURGER

    Abstract:

• 10h00-12h30: Group discussions
• 12h30-13h30: Lunch break
• 13h30-15h00: Group discussions
• 15h00-15h15: Coffee break
• 15h15-17h00: Group Action Plan Descriptions and Wrap Up