Eclipse Labs              for Improving             DSL Development              AtlanMod Team               (Hugo Bruneli...
AtlandMod: an Expert Research Team           in MDE/Modeling  A common team between INRIA, Ecole                 Applicat...
Developing DSLs…29/06/2012     © AtlanMod - atlanmod-contact@mines-nantes.fr   3
Developing DSLs… Domain-Specific Language  – Abstract syntax: metamodel  – Concrete syntax(es): textual or graphical  – S...
Eclipse Labs prototypes…29/06/2012         © AtlanMod - atlanmod-contact@mines-nantes.fr   5
Collaboro: Enabling the collaborative                definition of DSLs Goal  Make the DSL development process more  coll...
Collaboro: Enabling the collaborative               definition of DSLs Collaboration in DSL development… 29/06/2012      ...
Collaboro: Enabling the collaborative             definition of DSLs Click here for accessing the demo…
EMFtoCSP: automatically verifying               EMF/UML/OCL models Goal  Verification of EMF static models and UML Class ...
EMFtoCSP: automatically verifying              EMF/UML/OCL models Automated verification of metamodel… EMF Models        ...
EMFtoCSP: automatically verifying         EMF/UML/OCL models Click here for accessing the demo…
Virtual EMF: transparently composing,         weaving or linking models Goal  Scalable and transparent generation of mode...
Virtual EMF: transparently composing,        weaving or linking models Transparent linking between different  models…    ...
Virtual EMF: transparently composing,        weaving or linking models Click here for accessing the demo…
Thanks for your attention! Useful links   – Collaboro           http://code.google.com/a/eclipselabs.org/p/collaboro/   ...
Upcoming SlideShare
Loading in...5
×

Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes

1,402
-1

Published on

Published in: Technology, Sports
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
1,402
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
9
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide
  • Non-invasive model composition and synchronisation “ a virtual model is a model whose (virtual) model elements are proxies to elements contained in other models”
  • Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes

    1. 1. Eclipse Labs for Improving DSL Development AtlanMod Team (Hugo Bruneliere) Eclipse DemoCamp Juno Nantes (France) – Thursday 28th of June 201229/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 1
    2. 2. AtlandMod: an Expert Research Team in MDE/Modeling  A common team between INRIA, Ecole Application Driven Research des Mines de Nantes Virtuous triangle (EMN) & LINA Expertise on Model Labs (scientific experts) Driven Engineering (MDE) Focus on “Modeling OMG Technologies for Eclipse Open source Software Production, Etc. Evolution, and SMEs Big Companies Operation” (technology providers) (end-users)29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 2
    3. 3. Developing DSLs…29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 3
    4. 4. Developing DSLs… Domain-Specific Language – Abstract syntax: metamodel – Concrete syntax(es): textual or graphical – Semantics: e.g. via model transformations Development of the DSL core (possible scenario) 1. Collaborative work to define the main concepts 2. Automated verification to validate some properties 3. View definition/building to validate the language 29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 4
    5. 5. Eclipse Labs prototypes…29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 5
    6. 6. Collaboro: Enabling the collaborative definition of DSLs Goal Make the DSL development process more collaborative, meaning that anyone can help How to do it We define Collaboro, a DSL to represent proposals, solutions and comments during the development process Implementation Eclipse plugin providing the infrastructure needed to enable the collaboration 29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 6
    7. 7. Collaboro: Enabling the collaborative definition of DSLs Collaboration in DSL development… 29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 7
    8. 8. Collaboro: Enabling the collaborative definition of DSLs Click here for accessing the demo…
    9. 9. EMFtoCSP: automatically verifying EMF/UML/OCL models Goal Verification of EMF static models and UML Class Diagrams to increase model reliability and soundness of MDE development processes. How to do it Checking whether the input model satisfies a given set of desirable correctness properties Implementation Prototype integrated in Eclipse 29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 9
    10. 10. EMFtoCSP: automatically verifying EMF/UML/OCL models Automated verification of metamodel… EMF Models Valid UML Class Diagram Models Instantiation EMFtoCSP Sample VALID Check + •Weak Satisfiability •Strong Satisfiability •Lack of Constraints Redundancies •Lack of Constraints Subsumtions NO VALID 29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 10
    11. 11. EMFtoCSP: automatically verifying EMF/UML/OCL models Click here for accessing the demo…
    12. 12. Virtual EMF: transparently composing, weaving or linking models Goal Scalable and transparent generation of model views to enable unified visualization and editing of multiple (complex) models How to do it Representing views as a virtual model that reuses and propagates changes to base model elements Implementation Background Eclipse plugin to enable virtual model usage within standard EMF tools 29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 12
    13. 13. Virtual EMF: transparently composing, weaving or linking models Transparent linking between different models… Model Model Transformations Editors Virtual Model VMab read/ Virtual read/ write EMF write Contributing Corresp. Contributing Model Ma Model Model Mb 29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 13
    14. 14. Virtual EMF: transparently composing, weaving or linking models Click here for accessing the demo…
    15. 15. Thanks for your attention! Useful links – Collaboro  http://code.google.com/a/eclipselabs.org/p/collaboro/ – EMFtoCSP  http://code.google.com/a/eclipselabs.org/p/emftocsp/ – Virtual EMF  http://code.google.com/a/eclipselabs.org/p/virtual-emf/ AtlanMod contacts – Javier Canovas - javier.canovas@inria.fr (Collaboro) – Carlos Gonzalez - carlos.gonzalez@inria.fr (EMFtoCSP) – Hugo Bruneliere - hugo.bruneliere@inria.fr (Virtual EMF) 29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 15
    1. A particular slide catching your eye?

      Clipping is a handy way to collect important slides you want to go back to later.

    ×