Your SlideShare is downloading. ×
0
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Nantes
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

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

1,269

Published on

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

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

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
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”
  • Transcript

    • 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. 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. Developing DSLs…29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 3
    • 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. Eclipse Labs prototypes…29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 5
    • 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. Collaboro: Enabling the collaborative definition of DSLs Collaboration in DSL development… 29/06/2012 © AtlanMod - atlanmod-contact@mines-nantes.fr 7
    • 8. Collaboro: Enabling the collaborative definition of DSLs Click here for accessing the demo…
    • 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. 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. EMFtoCSP: automatically verifying EMF/UML/OCL models Click here for accessing the demo…
    • 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. 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. Virtual EMF: transparently composing, weaving or linking models Click here for accessing the demo…
    • 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

    ×