OMG SPECIFICATION DEVELOPMENT USING PAPYRUS (AND OTHER ECLIPSE TOOLING)

Transcription

1 OMG SPECIFICATION DEVELOPMENT USING PAPYRUS (AND OTHER ECLIPSE TOOLING) LIST and Papyrus Team Workshop on Model-Driven specification authoring Sept. 2015

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

3 REMINDER ON PAPYRUS

4 v

5 ABOUT THE CONFORMITY TO OMG STANDARDS, PAPYRUS ALL UML2 DIAGRAMS ALL SYSML EDITORS, INCLUDING TABLE-BASED EDITORS. UML2.5 SysML1.2 (1.4 coming soon) MARTE1.1

6 THE MAIN CONCERNS OF THE PAPYRUS TEAM Usability Compliance with MDEstandards Robustness Customizability & configurability Performance

7 A world-class international development team A. Henriksson Ericsson B. Maggi G. Pascual All4Tec C. Rivet Zeligsoft S. Dhouib M. Golubev Montages K. Hussey Commiterati P. Langer A. Le Guennec EclipseSource Esterel Tech. F. Bordelau Ericsson C. Janssens All4Tec P. Tessier J.-M. Bruel IRIT Ed. Willink Ed Willink T. F. Jouault ESEO J. Tatibouët R. Schnekenburger B. Maggi C. Damus Independant S. Gérard S. Redding Zeligsoft A. Tischenko E. Stepper Montages es-computersys. B. Marques E.Seidewitz MDS A. Radermacher P.-A. Gussander Nigus O. Gürca C. Dumoulin Independant C. Letavernier Sébastien Gabel Esterel Tech. M. Golubev Montages S. Boyko Montages M. Adam All4Tec M. Elaasar Crossplatform Sw Q. Le Menez O. Beaudoux ESEO A. Cucurru J. Cadavid B. Selic M. E. Alferez Salinas Malina Software Corp.

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

9 FEEDBACKS FROM THE PSCS TF Gendoc template (Word or OpenOffice document, including markups and Acceleo statements) PSCS Syntax and Semantics (UML model and diagrams) 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)

10 STANDARD DIAGRAMS WITH DIAGRAM DEFINITION Florian NOYRIT Maged ELAASAR

11 WHAT IS DIAGRAM DEFINITION? Diagram Definition (DD) is an OMG specification that enables the formal specification of concrete graphical syntax of MOFbased 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

12 DIAGRAM DEFINITION ARCHITECTURE

13 DIAGRAM DEFINITION IMPLEMENTATION 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 Export the various diagrams from the OMG specifications to standard interchangeable artifacts.

14 DIAGRAMS OF INTEREST FOR OMG SPECIFICATIONS 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.

15 Papyrus Diagram Standard XMI artifact: Standard Diagram Definition Diagram

16 CONCLUSION

17 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)

18 OTHER INTERESTING FEATURES Rich text editor: Cf. Demo video (author: Shuai Li, LIST) Collaborative work: EMF Compare (model diff/merge) Egit (git client) CDO (distributed model repository) EMF Store ( )

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