Skip to main content
Jump to: navigation, search

1st Papyrus Workshop - DSML Technologies

Revision as of 04:03, 9 July 2015 by Benoit.maggi.gmail.com (Talk | contribs) (Day2 - 23 June 2015)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 - Presentation
      Abstract: Synchronization of models is a key issue for the engineering of software dedicated to model editing such as Papyrus. In this talk we cover synchronization of models by providing bidirectional and incremental transformations. We present a synthetic overview of the work we have done based on the intensive use of active operations for the following model synchronization issue: synchronization of stereotyped UML models and DSML models (Façade’ project). The overview will be highlighted by demonstrations and some theoretical background.
    • 10h55-11h40: "Diagram Definition implementation in Papyrus” - Maged ELAASAR - Presentation
      Abstract: Diagram Definition (DD) is an OMG specification that allows for rigorous definition of the concrete graphical syntax of MOF-based modelling languages. DD allows the specification of two aspects for a graphical language: (i) its diagram interchange (DI) syntax, and (ii) its diagram graphics (DG) syntax and how its maps to its abstract syntax. DD has been used on at least three standard languages (BPMN, UML and SysML) to define their diagram interchange syntaxes. This presentation introduces a reference implementation of the DD specification in the Mars release of Eclipse in the context of the Papyrus 1.1 UML tool. The implementation has also been used to rigorously define the interchange and graphical syntaxes of all UML diagrams. The presentation discusses the implementation architecture, the design choices, and the challenges. It also shows plenty of examples and outlines the next steps.
    • 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. - Presentation
      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
      Abstract:
    • 16h05-16h35: “Generation of diagram editors using Diagram Definition” - Alexis FOUCHÉ - Presentation
      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 - Presentation
      Abstract: Synchronization of models is a key issue for the engineering of software dedicated to model editing such as Papyrus. This talk covers synchronization of graphical presentations (diagrams) and their associated models. 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) a mixed use of active operations and linear constraints solving for editing UML diagrams; ii) the original use of active operations to implement interactors in order to bind interactions and actions. The overview will be highlighted by demonstrations and some theoretical background.
  • 17h10-17h30: Open discussions

Day2 - 23 June 2015

  • 9h00 Papyrus Fresh Outs part 3/3
    • 9h30-10h15 “Collaborative modeling for DSMLs in Papyrus with EMFCompare” - Maximilian KOEGEL - Presentation
      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.
    • 10h15-11h00 “SysML 1.4” - Benoit MAGGI - Presentation
      Abstract: Create a DSML with the new papyrus Framework for new version of the OMG SysML profil
    • 11h00-11h45 “ElementTypesConfigurations Framework” - Florian NOYRIT - Presentation
      Abstract: During this presentation, the motivations of this new framework are introduced. Then a description of the overall architecture and design rationales is given. A short demo of the current capabilities and usage is done to illustrate the current implementation. The impact of this framework on the implementation of Papyrus' diagrams and the foreseen usages and extensions are discussed.
  • 11h45: Further developments
    • 11h45-12h30: Papyrus 2.0 - Florian NOYRIT and Rémi SCHNEKENBURGER - Presentation
      Abstract: A summary of the current status of Papyrus support regarding DSML is presented together with foreseen developments on various aspects of DSML design and implementation in Papyrus. This presentation is given to trigger group discussions.
  • 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 discussions
    Discuss Papyrus next moves to have even better DSML support

Back to the top