Revision as of 08:44, 18 June 2015

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.
This workshop is a private event and is based on invitation for logistic reasons. In fact, we are not hosted at the Eclipse unconference, we are located in the CEA Tech building in Toulouse.
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 discuss: “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: Synchronization of models is a key issue for the engineering of software dedicated to model editing such as Papyrus. The issue targets two essential facets of the software: 1) synchronization of models by providing bidirectional and incremental transformations, and 2) synchronization of graphical presentations (diagrams) and their associated models. In this workshop, we present a synthetic overview of the work we have done based on the intensive use of active operations for different model synchronization issues: i) synchronization of stereotyped UML models and DSML models (Façade’ project); ii) a mixed use of active operations and linear constraints solving for editing UML diagrams; iii) the original use of active operation to implement interactors in order to bind interactions and actions. The overview will be highlighted by demonstrations and some theoretical background.

  • 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 “Collaborative modeling for DSMLs in Papyrus with EMFCompare” - Maximilian KOEGEL

    Abstract:'Creating models is often a collaborative effort, therefore support for collaboration in Papyrus is crucial. EMF Compare is a framework to diff and merge EMF-based models. We present how EMF Compare was integrated into Papyrus to better support collaboration on Papyrus models, e.g. stored in a Git repository. Furthermore we will provide an outlook to the future development of this integration.'

• 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