Eclipse Neon Democamp Budapest - VIATRA 1.3 release

127 views

Published on

Overview of VIATRA 1.3 features, and a collection of links for related tutorials, tools, applications and other material. Presented at the Eclipse Neon Democamp at Budapest.

Published in: Software
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
127
On SlideShare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Eclipse Neon Democamp Budapest - VIATRA 1.3 release

  1. 1. DR. ÁBEL HEGEDÜS SOFTWARE R&D ENGINEER, MODEL-DRIVEN ENGINEERING EXPERT VIATRA 1.3 RELEASE ECLIPSE NEON DEMOCAMP BUDAPEST
  2. 2. About me Software Engineer, PhD (2009, 2015) Model-driven Engineering Expert (IncQuery Labs) VIATRA co-lead https://hu.linkedin.com/in/abelhegedus
  3. 3. Models, models, models! Eclipse e4
  4. 4. Incremental query engine for EMF • Declarative language • Incremental, live queries • Highly scalable Advanced support for • On-the-fly validation • Custom views • Traceability • Derived features Model transformation framework • Event-based + reactive execution platform • Xtend based API • Scalable M2M & M2T High-level features • Complex event processing • Design space exploration • Incremental transform. VIATRA query and transformation framework Transformatio n Official Eclipse member 4 Project co-leads 14 Eclipse committers Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr Query
  5. 5. History
  6. 6. History Further details https://wiki.eclipse.org/VIATRA/History
  7. 7. New and noteworthy in VIATRA 1.3
  8. 8. New in VIATRA 1.3 CompatiblewithNeon, Xtext2.10 Newfunctionality • Transformationdebugger • Query-by-example • Transformationdevelopment perspective Long overdueimprovements • Newtypeinferrer(since 2012) • Newquerydevelopment UI (since 2013) • Lazyloading ofregistered queries Search basedquery evaluation Designspaceexploration • Improveoverall memoryandruntime characteristics • Migrationtocommon transformationAPI
  9. 9. Transformation debugger
  10. 10. Transformation debugger Stack trace for transformation rules
  11. 11. Transformation debugger Stack trace for transformation rules Model state view
  12. 12. Transformation debugger Stack trace for transformation rules Model state view Transformation state view
  13. 13. Query-by-example
  14. 14. Query-by-example Select model elements in editor Start exploration to generate query candidates Configure details and export query definition
  15. 15. Transformation development perspective
  16. 16. Transformation development perspective Explore all workspace and registered queries Evaluate selected queries on models during development Both views provide additional details in the Properties view
  17. 17. Under the hood improvements Type inferrer • New,future-proofrule-basedapproach Lazy loading of queryspecifications • Avoidexpensiveclassloading Search based query evaluation • Lotsofbugfixes • Identifiedperformancebottlenecks • Significantimprovementsprototypedfor1.4.0
  18. 18. Tutorials, applications, benchmarks, other platforms
  19. 19. Tutorial Complete,step-by-stepguide for VIATRA • Querydevelopment • Batchandincrementaltransformations • Advancedfeatures http://static.incquerylabs.com/projects/viatra/viatra-docs/ViatraDocs.html
  20. 20. EMDW Incrementalcode-generationforxUML-RT • ExecutablemodelinginUML • Complextransformationworkflow • BuiltonVIATRA Model compiler https://github.com/IncQueryLabs/EMDW-MC Out of the box compatibility with CDT Simulator http://modelexecution.eltesoft.hu/
  21. 21. Massif Matlab Simulink Integration Framework • Convert models o Simulink EMF o EMF Simulink • Bridge simulators with Eclipse modeling tools High-level features • Multiple import modes (shallow, deep, flatten) • Accessmodels via API • Traceability links https://github.com/IncQueryLabs/massif
  22. 22. MoDeS3 - Model-based Demonstrator for Smart and Safe Systems A technology demonstrator for education • Development methodologies for safety-criticalsystems • Internet-of-Thingstechnologystack Blog: http://modes3.tumblr.com/ Source GitHub repo: https://github.com/FTSRG/BME-MODES3
  23. 23. MoDeS3 - Model-based Demonstrator for Smart and Safe Systems 23
  24. 24. MoDeS3 - Model-based Demonstrator for Smart and Safe Systems A technology demonstrator for education • Development methodologies for safety-criticalsystems • Internet-of-Thingstechnologystack Built with VIATRA • Validation • Model transformation • Code generation Runs onVIATRA • Complexevent processing Blog: http://modes3.tumblr.com/ Source GitHub repo: https://github.com/FTSRG/BME-MODES3
  25. 25. CPS benchmark Performanceevaluationoftransformations • Model-to-model • Model-to-text(codegeneration) https://github.com/viatra/viatra-cps-benchmark Comparison of batch and incremental M2M transformations
  26. 26. Other platforms IncQuery-D • Distributed + Incremental graph query engine • Deployed over cloud, highly scalable (100M+) • Powered by Spark+Hadoop • RDF, Property graphs, relational databases IncA • Program analysis framework • Integrated with MPS, mbeddr C++ • Efficient local search overobject models • Generated from VIATRA query definitions • Soon to becontributed to VIATRA https://szabta89.github.io/projects/inca.html https://github.com/viatra/incqueryd https://github.com/doczir/EMFIncQuery-CPP
  27. 27. Summary VIATRA • Queryandtransformationframework o Complex event processing o Design space exploration o Addons and integrations • 1.3releaseready o Neon compatibility o Newfeatures o Over70 issues resolved • Manyrelatedtoolsandapplications @IncQueryLabs https://www.facebook.com/incquerylabs/ https://www.linkedin.com/company/incquery-labs-ltd- http://www.incquerylabs.com/ info@incquerylabs.com Tel:+36 706333973 http://www.eclipse.org/viatra/

×