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.

1. DR. ÁBEL HEGEDÜS
SOFTWARE R&D ENGINEER,
MODEL-DRIVEN ENGINEERING EXPERT
VIATRA 1.3 RELEASE
ECLIPSE NEON DEMOCAMP BUDAPEST

2. About me
Software Engineer, PhD (2009, 2015)
Model-driven Engineering Expert (IncQuery Labs)
VIATRA co-lead
https://hu.linkedin.com/in/abelhegedus

3. Models, models, models!
Eclipse e4

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. History

6. History
Further details
https://wiki.eclipse.org/VIATRA/History

7. New and noteworthy in VIATRA
1.3

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. Transformation debugger

10. Transformation debugger
Stack trace for
transformation
rules

11. Transformation debugger
Stack trace for
transformation
rules
Model state view

12. Transformation debugger
Stack trace for
transformation
rules
Model state view
Transformation
state view

13. Query-by-example

14. Query-by-example
Select model
elements in
editor
Start exploration
to generate
query candidates
Configure details
and export query
definition

15. Transformation development
perspective

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. 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. Tutorials, applications,
benchmarks, other platforms

19. Tutorial
Complete,step-by-stepguide for VIATRA
• Querydevelopment
• Batchandincrementaltransformations
• Advancedfeatures
http://static.incquerylabs.com/projects/viatra/viatra-docs/ViatraDocs.html

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. 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. 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. MoDeS3 - Model-based Demonstrator
for Smart and Safe Systems
23

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. 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. 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. 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/