1st Papyrus Workshop - DSML Technologies

Providing a modeling environment to address the various engineering concerns of systems and software engineers is a key goal for Papyrus. However, instead of developing a Papyrus variant for every specific domain, we provide all the facilities that let methodologists and experts configure Papyrus for their domain. We are continuously improving Papyrus’ architecture and are integrating new customization capabilities and technologies in every release to better support Domain Specific Modeling Languages.

This Papyrus Workshop is an opportunity for the various contributors of Papyrus to meet and discuss together Papyrus future for DSML. In addition to the introduction of some of Papyrus' last features for DSML, and the presentation and discussion of upcoming technologies, this Papyrus Workshop will be an opportunity to disucss: “What are Papyrus next moves to have even better DSML support?” This question covers:

• The formalization of new requirements for the DSML support,
• The introduction of new concepts missing in Papyrus to better define or implement DSMLs,
• The development of core technologies required to capture DSMLs and implement the tooling support,
• The implementation of new/better methodologies to drive the definition and implementation of DSML in Papyrus,
• The improvement of the tooling support that eases and accelerate the definition and implementation work of the DSML designers and developers,
• ... basically anything that will help Papyrus progress on DSML support.

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É and/or Florian NOYRIT

    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

  Discuss Papyrus next moves to have even better DSML support

• 12h30-13h30: Lunch break
• 13h30-15h00: Group discussions

  Discuss Papyrus next moves to have even better DSML support

• 15h00-15h15: Coffee break
• 15h15-17h00: Group Action Plan Descriptions and Wrap Up