OMG SPECIFICATION DEVELOPMENT USING PAPYRUS (AND OTHER ECLIPSE TOOLING)

CEA LIST and Papyrus Team

Workshop on Model-Driven specification authoring – Sept. 2015

OUTLINE . 1: FEEDBACKS FROM THE PSCS TF . 2: FOCUS ON A NEW PAPYRUS FEATURE: SUPPORT FOR OMG’S DIAGRAM DEFINITION (DD) STANDARD

REMINDER ON PAPYRUS

v.1.1.0 http://www.eclipse.org/papyrus

ABOUT THE CONFORMITY TO OMG STANDARDS, PAPYRUS 1.1.0

UML2.5 SysML1.2 (1.4 coming soon) MARTE1.1

ALL UML2 DIAGRAMS

ALL SYSML EDITORS, INCLUDING

TABLE-BASED EDITORS.

THE MAIN CONCERNS OF THE PAPYRUS TEAM

1.1.0

Usability

Robustness

Performance Customizability & configurability

Compliance with MDE-standards

M. Golubev Montages

A world-class international development team

B. Maggi CEA

P. Tessier CEA

R. Schnekenburger CEA

S. Gérard CEA

O. Gürca CEA

A. Radermacher CEA

A. Cucurru CEA

B. Marques CEA

M. Adam All4Tec

G. Pascual All4Tec

S. Boyko Montages

M. Golubev Montages

B. Selic Malina Software Corp.

E.Seidewitz MDS

C. Damus Independant

P.-A. Gussander Nigus

K. Hussey Commiterati

C. Rivet Zeligsoft

F. Jouault ESEO

O. Beaudoux ESEO

M. Elaasar Crossplatform Sw

E. Stepper es-computersys.

J.-M. Bruel IRIT

C. Dumoulin Independant

S. Redding Zeligsoft

J. Cadavid CEA

Ed. Willink Ed Willink T.

A. Tischenko Montages

J. Tatibouët CEA

M. E. Alferez Salinas CEA

Q. Le Menez CEA

A. Le Guennec Esterel Tech.

C. Janssens All4Tec

S. Dhouib CEA

Sébastien Gabel Esterel Tech.

B. Maggi CEA

C. Letavernier CEA

P. Langer EclipseSource

A. Henriksson Ericsson

F. Bordelau Ericsson

FEEDBACKS ON EXPERIMENTS MADE IN THE PRECISE SEMANTICS OF UML COMPOSITE STRUCTURES (PSCS) TF

FEEDBACKS FROM THE PSCS TF

PSCS Syntax and Semantics

(UML model and diagrams)

Gendoc template (Word or OpenOffice document, including markups and Acceleo statements)

OMG Spec

•  It works! The Initial submission to the PSCS RFP was produced with this flow •  But:

•  The template was too hard to maintain: •  Mostly a methodological problem (Proposals from the TIWG could solve this)

•  Problems with the management of diagrams: •  The new Papyrus support for DD can probably help (with clear separation of concern

between diagram generation and rendering)

STANDARD DIAGRAMS WITH DIAGRAM DEFINITION

Florian NOYRIT (florian.noyrit@cea.fr) Maged ELAASAR (melaasar@gmail.com)

•  Diagram Definition (DD) is an OMG specification that enables the formal specification of concrete graphical syntax of MOF-based languages •  Version 1.1 has released June 2015

•  DD provides two standard metamodels •  Diagram Interchange (DI): enables the definition of diagram

interchange syntax •  Diagram Graphics (DG): enables the definition of diagram graphical

syntax

•  DD provides an architecture that allows for the definition and mapping of a language’s concrete graphical syntax to its abstract syntax

WHAT IS DIAGRAM DEFINITION?

DIAGRAM DEFINITION ARCHITECTURE

•  An implementation for DD has been added in Papyrus 1.1 consisting of: •  An implementation of DD 1.0

•  Ecore-based API for DI metamodel (with changes to spec) •  Ecore-based API and editor for DG metamodel (with changes to spec) •  Model to text mapping from DG to SVG (potential contribution to spec)

•  An implementation of UML DD 2.5 •  Ecore-based API and editor for UML DI metamodel (with changes to spec) •  QVTO-based mapping from UML DI to DG metamodels (potential

contribution to spec) •  An implementation of a diagram exporter from Papyrus

•  QVTO-based mapping from Papyrus DI to UML DI metamodels

DIAGRAM DEFINITION IMPLEMENTATION

Export the various diagrams from the OMG specifications to standard interchangeable artifacts.

•  DD support in Papyrus:

•  Changes to DD •  Current implementation deviate slightly from the DD standard •  These changes should be proposed and merged in the coming

versions of DD.

DIAGRAMS OF INTEREST FOR OMG SPECIFICATIONS

Standard Diagram Definition Diagram

Papyrus Diagram

Standard XMI artifact:

CONCLUSION

•  Several technological bricks available •  Papyrus for model editing •  Gendoc for document generation •  OTI adapter (from the TIWG) for production of xmi artifacts (uml

models, no diagrams so far) •  Papyrus implementation of DD

•  Papyrus team is willing to collaborate with TIWG: •  No specific contributions defined so far… •  But we have concrete use cases to experiment:

•  PSCS 1.1 RTF (will be chartered soon) •  PSSM initial submission ? (needs to be discussed with the subm. team)

CONCLUSION

•  Rich text editor: •  Cf. Demo video (author: Shuai Li, CEA LIST)

•  Collaborative work: •  EMF Compare (model diff/merge) •  Egit (git client) •  CDO (distributed model repository) •  EMF Store (‘’)

OTHER INTERESTING FEATURES

Institut CEA LIST Département Intelligence Ambiante et Systèmes Interactifs Commissariat à l’énergie atomique et aux énergies alternatives CEA Saclay – PC 178 - Digiteo MOULON F-91191 Gif-sur-Yvette