SlideShare a Scribd company logo

Incremental model compiler for executable UML

•Download as PPTX, PDF•
•
Ákos Horváth
Ákos Horváth

The document describes an incremental model compiler for executable UML models called xUML-RT. The compiler allows for faster turnaround times through incremental code generation. It utilizes the VIATRA framework to synchronize UML models with xUML-RT and generate C++ code. The compiler supports platform-level optimizations, reusability across platforms, and integration with modeling tools like Papyrus.

Software
1 of 20
INCREMENTAL MODEL COMPILER FOR EXECUTABLE UML ÁKOS HORVÁTH, PHD MANAGING DIRECTOR
Executable Modeling – the birth of xUML-RT We are proud user of executable modeling! At an undisclosed Nordic telecommunication company Which standard are you using? UML-RT of course! xtUML of course! ?? We are proud user of UML executable modeling! ??
Executable UML Modeling approaches UML-RT • UML for Real Time • Capsule o For defining structure and behaviour • Capsule + Class + hierarchical state machines • Own state machine execution semantics • Supported by Papyrus- RT xtUML • Successor of Shlaer– Mellor method • Domain + Class + simple State machines • Special generalization semantics • Own state machine execution semantics • Supported by BridgePoint and (Papyrus-xtUML)
Executable UML Modeling approaches UML-RT • UML for Real Time • Capsule o For defining structure and behaviour • Capsule + Class + hierarchical state machines • Own state machine execution semantics • Supported by Papyrus- RT xtUML • Successor of Shlaer– Mellor method • Domain + Class + simple State machines • Special generalization semantics • Own state machine execution semantics • Supported by BridgePoint and (Papyrus-xtUML)
Executable Modeling – the birth of xUML-RT We are proud user of executable modeling! At an undisclosed Nordic telecommunication company I did not know that we’re using similar standards! We are proud user of executable modeling! Lets try to create a novel language that combines the two approaches! We are proud user of executable modeling! Lets call it xUML-RT!
Executable Modeling – the birth of xUML-RT We are proud user of executable modeling! At an undisclosed Nordic telecommunication company I did not know that you we’re using similar standards! We are proud user of executable modeling! Lets try to create a novel language that combines the two approaches We are proud user of executable modeling! Lets call it xUML-RT!
xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT End-to-end • Traceability support on model level • Incremental code generation Faster turn-around time (modify, generate, build) • For large systems 8h+ • Initial measurement  one order of magnitude faster for code generation Workflow based execution using (MWE2) Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF] End-to-end • Traceability support on model level • Incremental code generation Faster turn-around time (modify, generate, build) • For large systems 8h+ • Initial measurement  one order of magnitude faster for code generation Workflow based execution using (MWE2)
xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT Front-end agnostic model storage and processing On-the fly synchronization between EMF-UML and xUML-RT using VIATRA • Transaction aware synchronization points • Advanced EMF-UML support o Incremental evaluation of UML derived features o Querying UML profiles o https://wiki.eclipse.org/VIATRA/Integration/UMLSupport Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT Front-end agnostic model storage and processing On-the fly synchronization between EMF-UML and xUML-RT using VIATRA • Transaction aware synchronization points • Advanced EMF-UML support o Incremental evaluation of UML derived features o Querying UML profiles o https://wiki.eclipse.org/VIATRA/Integration/UMLSupport Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Platform level optimizations • External library configuration • Template definition on model level o Platform specific data structures and libraries Reusability • Same xUML-RT model with multiple Platform instances • Easy extension due to MWE2 Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Platform level optimizations • External library configuration • Template definition on model level o Platform specific data structures and libraries Reusability • Same xUML-RT model with multiple Platform instances • Easy extension due to MWE2 Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF] C++ source code • Support for query execution • Optimized container usage • Unity build Platform configuration • Execution environment • Interfaces with hand-coded components
xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF] C++ source code • Support for query execution • Optimized container usage • Unity build Platform configuration • Execution environment • Interfaces with hand-coded components
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. Based on the 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
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. Based on the VIATRA query and transformation framework Transformatio n Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr Query Official Eclipse member 4 Project co-leads 14 Eclipse committers
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. Based on the VIATRA query and transformation framework Transformatio n Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr Query Official Eclipse member 4 Project co-leads 14 Eclipse committers
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. Based on the VIATRA query and transformation framework Transformatio n Query Official Eclipse member 4 Project co-leads 14 Eclipse committers Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr
Conclusions Initial version is out • Model compiler https://github.com/IncQueryLabs/EMDW-MC o Out of the box compatibility with CDT • Simulator http://modelexecution.eltesoft.hu/ Model Compiler frontend integrated into Papyrus Built on VIATRA Your contributions (feedback, forum posts, ideas, bugzillas, patches) are very welcome!
http://www.eclipse.org/viatra/ http://www.incquerylabs.com/ info@incquerylabs.com Tel: +36 70 633 3973 Email: akos.horvath@incquerylabs.com @IncQueryLabs https://www.facebook.com/incquerylabs / https://www.linkedin.com/company/incquery-labs- ltd- https://github.com/IncQueryLabs/EMDW- MC

Recommended

V for visualization: VIATRA finally goes graphical thanks to Sirius!
V for visualization: VIATRA finally goes graphical thanks to Sirius!V for visualization: VIATRA finally goes graphical thanks to Sirius!
V for visualization: VIATRA finally goes graphical thanks to Sirius!
Ákos Horváth
 
Incremental Queries and Transformations for Engineering Critical Systems
Incremental Queries and Transformations for Engineering Critical SystemsIncremental Queries and Transformations for Engineering Critical Systems
Incremental Queries and Transformations for Engineering Critical Systems
Ákos Horváth
 
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...
Ákos Horváth
 
Eclipse Neon Democamp Budapest - VIATRA 1.3 release
Eclipse Neon Democamp Budapest - VIATRA 1.3 releaseEclipse Neon Democamp Budapest - VIATRA 1.3 release
Eclipse Neon Democamp Budapest - VIATRA 1.3 release
Ábel Hegedüs
 
Model visualization made easy: Incremental query-driven views in modeling tools
Model visualization made easy: Incremental query-driven views in modeling toolsModel visualization made easy: Incremental query-driven views in modeling tools
Model visualization made easy: Incremental query-driven views in modeling tools
Ákos Horváth
 
Papyrus @ Eclipse Summit Europe 2010
Papyrus @ Eclipse Summit Europe 2010Papyrus @ Eclipse Summit Europe 2010
Papyrus @ Eclipse Summit Europe 2010
CEA - Commissariat à l'énergie atomique et aux énergies alternatives
 
IncQuery gets Sirius: faster and better diagrams
IncQuery gets Sirius: faster and better diagramsIncQuery gets Sirius: faster and better diagrams
IncQuery gets Sirius: faster and better diagrams
Ákos Horváth
 
Spark Summit East 2016 - MLeap Presentation
Spark Summit East 2016 - MLeap PresentationSpark Summit East 2016 - MLeap Presentation
Spark Summit East 2016 - MLeap Presentation
Mikhail Semeniuk
 

Recommended

V for visualization: VIATRA finally goes graphical thanks to Sirius!
V for visualization: VIATRA finally goes graphical thanks to Sirius!V for visualization: VIATRA finally goes graphical thanks to Sirius!
V for visualization: VIATRA finally goes graphical thanks to Sirius!
Ákos Horváth
 
Incremental Queries and Transformations for Engineering Critical Systems
Incremental Queries and Transformations for Engineering Critical SystemsIncremental Queries and Transformations for Engineering Critical Systems
Incremental Queries and Transformations for Engineering Critical Systems
Ákos Horváth
 
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...
Ákos Horváth
 
Eclipse Neon Democamp Budapest - VIATRA 1.3 release
Eclipse Neon Democamp Budapest - VIATRA 1.3 releaseEclipse Neon Democamp Budapest - VIATRA 1.3 release
Eclipse Neon Democamp Budapest - VIATRA 1.3 release
Ábel Hegedüs
 
Model visualization made easy: Incremental query-driven views in modeling tools
Model visualization made easy: Incremental query-driven views in modeling toolsModel visualization made easy: Incremental query-driven views in modeling tools
Model visualization made easy: Incremental query-driven views in modeling tools
Ákos Horváth
 
Papyrus @ Eclipse Summit Europe 2010
Papyrus @ Eclipse Summit Europe 2010Papyrus @ Eclipse Summit Europe 2010
Papyrus @ Eclipse Summit Europe 2010
CEA - Commissariat à l'énergie atomique et aux énergies alternatives
 
IncQuery gets Sirius: faster and better diagrams
IncQuery gets Sirius: faster and better diagramsIncQuery gets Sirius: faster and better diagrams
IncQuery gets Sirius: faster and better diagrams
Ákos Horváth
 
Spark Summit East 2016 - MLeap Presentation
Spark Summit East 2016 - MLeap PresentationSpark Summit East 2016 - MLeap Presentation
Spark Summit East 2016 - MLeap Presentation
Mikhail Semeniuk
 
Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!
Obeo
 
ONNX - The Lingua Franca of Deep Learning
ONNX - The Lingua Franca of Deep LearningONNX - The Lingua Franca of Deep Learning
ONNX - The Lingua Franca of Deep Learning
Hagay Lupesko
 
Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...
Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...
Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...
Sam Putnam [Deep Learning]
 
Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...
Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...
Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...
PAPIs.io
 
Building machine learning applications locally with Spark — Joel Pinho Lucas ...
Building machine learning applications locally with Spark — Joel Pinho Lucas ...Building machine learning applications locally with Spark — Joel Pinho Lucas ...
Building machine learning applications locally with Spark — Joel Pinho Lucas ...
PAPIs.io
 
Machine Learning Pipelines
Machine Learning PipelinesMachine Learning Pipelines
Machine Learning Pipelines
jeykottalam
 
Whole Platform LWC11 Submission
Whole Platform LWC11 SubmissionWhole Platform LWC11 Submission
Whole Platform LWC11 Submission
Riccardo Solmi
 
End to end Machine Learning using Kubeflow - Build, Train, Deploy and Manage
End to end Machine Learning using Kubeflow - Build, Train, Deploy and ManageEnd to end Machine Learning using Kubeflow - Build, Train, Deploy and Manage
End to end Machine Learning using Kubeflow - Build, Train, Deploy and Manage
Animesh Singh
 
Containerized architectures for deep learning
Containerized architectures for deep learningContainerized architectures for deep learning
Containerized architectures for deep learning
Antje Barth
 
Extracting information from images using deep learning and transfer learning ...
Extracting information from images using deep learning and transfer learning ...Extracting information from images using deep learning and transfer learning ...
Extracting information from images using deep learning and transfer learning ...
PAPIs.io
 
Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)
Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)
Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)
Spark Summit
 
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
SiriusCon 2017 - Get your stakeholders into modeling using graphical editorsSiriusCon 2017 - Get your stakeholders into modeling using graphical editors
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
Obeo
 
Kubeflow Distributed Training and HPO
Kubeflow Distributed Training and HPOKubeflow Distributed Training and HPO
Kubeflow Distributed Training and HPO
Animesh Singh
 
The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...
The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...
The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...
Databricks
 
Kubeflow at Spotify (For the Kubeflow Summit)
Kubeflow at Spotify (For the Kubeflow Summit)Kubeflow at Spotify (For the Kubeflow Summit)
Kubeflow at Spotify (For the Kubeflow Summit)
Josh Baer
 
Scaling Machine Learning To Billions Of Parameters
Scaling Machine Learning To Billions Of ParametersScaling Machine Learning To Billions Of Parameters
Scaling Machine Learning To Billions Of Parameters
Jen Aman
 
Balancing Automation and Explanation in Machine Learning
Balancing Automation and Explanation in Machine LearningBalancing Automation and Explanation in Machine Learning
Balancing Automation and Explanation in Machine Learning
Databricks
 
Machine Learning Exchange (MLX)
Machine Learning Exchange (MLX)Machine Learning Exchange (MLX)
Machine Learning Exchange (MLX)
Animesh Singh
 
[ Capella Day 2019 ] Providing early timing analysis of the system design
[ Capella Day 2019 ] Providing early timing analysis of the system design[ Capella Day 2019 ] Providing early timing analysis of the system design
[ Capella Day 2019 ] Providing early timing analysis of the system design
Obeo
 
Real-Time Voice Actuation
Real-Time Voice ActuationReal-Time Voice Actuation
Real-Time Voice ActuationPragya Agrawal
 
Papyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on EclipsePapyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on Eclipse
Charles Rivet
 
Papyrus-RT - Executable modeling on eclipse
Papyrus-RT - Executable modeling on eclipsePapyrus-RT - Executable modeling on eclipse
Papyrus-RT - Executable modeling on eclipse
Charles Rivet
 

More Related Content

What's hot

Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!
Obeo
 
ONNX - The Lingua Franca of Deep Learning
ONNX - The Lingua Franca of Deep LearningONNX - The Lingua Franca of Deep Learning
ONNX - The Lingua Franca of Deep Learning
Hagay Lupesko
 
Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...
Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...
Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...
Sam Putnam [Deep Learning]
 
Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...
Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...
Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...
PAPIs.io
 
Building machine learning applications locally with Spark — Joel Pinho Lucas ...
Building machine learning applications locally with Spark — Joel Pinho Lucas ...Building machine learning applications locally with Spark — Joel Pinho Lucas ...
Building machine learning applications locally with Spark — Joel Pinho Lucas ...
PAPIs.io
 
Machine Learning Pipelines
Machine Learning PipelinesMachine Learning Pipelines
Machine Learning Pipelines
jeykottalam
 
Whole Platform LWC11 Submission
Whole Platform LWC11 SubmissionWhole Platform LWC11 Submission
Whole Platform LWC11 Submission
Riccardo Solmi
 
End to end Machine Learning using Kubeflow - Build, Train, Deploy and Manage
End to end Machine Learning using Kubeflow - Build, Train, Deploy and ManageEnd to end Machine Learning using Kubeflow - Build, Train, Deploy and Manage
End to end Machine Learning using Kubeflow - Build, Train, Deploy and Manage
Animesh Singh
 
Containerized architectures for deep learning
Containerized architectures for deep learningContainerized architectures for deep learning
Containerized architectures for deep learning
Antje Barth
 
Extracting information from images using deep learning and transfer learning ...
Extracting information from images using deep learning and transfer learning ...Extracting information from images using deep learning and transfer learning ...
Extracting information from images using deep learning and transfer learning ...
PAPIs.io
 
Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)
Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)
Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)
Spark Summit
 
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
SiriusCon 2017 - Get your stakeholders into modeling using graphical editorsSiriusCon 2017 - Get your stakeholders into modeling using graphical editors
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
Obeo
 
Kubeflow Distributed Training and HPO
Kubeflow Distributed Training and HPOKubeflow Distributed Training and HPO
Kubeflow Distributed Training and HPO
Animesh Singh
 
The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...
The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...
The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...
Databricks
 
Kubeflow at Spotify (For the Kubeflow Summit)
Kubeflow at Spotify (For the Kubeflow Summit)Kubeflow at Spotify (For the Kubeflow Summit)
Kubeflow at Spotify (For the Kubeflow Summit)
Josh Baer
 
Scaling Machine Learning To Billions Of Parameters
Scaling Machine Learning To Billions Of ParametersScaling Machine Learning To Billions Of Parameters
Scaling Machine Learning To Billions Of Parameters
Jen Aman
 
Balancing Automation and Explanation in Machine Learning
Balancing Automation and Explanation in Machine LearningBalancing Automation and Explanation in Machine Learning
Balancing Automation and Explanation in Machine Learning
Databricks
 
Machine Learning Exchange (MLX)
Machine Learning Exchange (MLX)Machine Learning Exchange (MLX)
Machine Learning Exchange (MLX)
Animesh Singh
 
[ Capella Day 2019 ] Providing early timing analysis of the system design
[ Capella Day 2019 ] Providing early timing analysis of the system design[ Capella Day 2019 ] Providing early timing analysis of the system design
[ Capella Day 2019 ] Providing early timing analysis of the system design
Obeo
 
Real-Time Voice Actuation
Real-Time Voice ActuationReal-Time Voice Actuation
Real-Time Voice ActuationPragya Agrawal
 

What's hot (20)

Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!
 
ONNX - The Lingua Franca of Deep Learning
ONNX - The Lingua Franca of Deep LearningONNX - The Lingua Franca of Deep Learning
ONNX - The Lingua Franca of Deep Learning
 
Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...
Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...
Deploying Enterprise Deep Learning Masterclass Preview - Enterprise Deep Lea...
 
Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...
Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...
Building machine learning service in your business — Eric Chen (Uber) @PAPIs ...
 
Building machine learning applications locally with Spark — Joel Pinho Lucas ...
Building machine learning applications locally with Spark — Joel Pinho Lucas ...Building machine learning applications locally with Spark — Joel Pinho Lucas ...
Building machine learning applications locally with Spark — Joel Pinho Lucas ...
 
Machine Learning Pipelines
Machine Learning PipelinesMachine Learning Pipelines
Machine Learning Pipelines
 
Whole Platform LWC11 Submission
Whole Platform LWC11 SubmissionWhole Platform LWC11 Submission
Whole Platform LWC11 Submission
 
End to end Machine Learning using Kubeflow - Build, Train, Deploy and Manage
End to end Machine Learning using Kubeflow - Build, Train, Deploy and ManageEnd to end Machine Learning using Kubeflow - Build, Train, Deploy and Manage
End to end Machine Learning using Kubeflow - Build, Train, Deploy and Manage
 
Containerized architectures for deep learning
Containerized architectures for deep learningContainerized architectures for deep learning
Containerized architectures for deep learning
 
Extracting information from images using deep learning and transfer learning ...
Extracting information from images using deep learning and transfer learning ...Extracting information from images using deep learning and transfer learning ...
Extracting information from images using deep learning and transfer learning ...
 
Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)
Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)
Advanced Data Science with Apache Spark-(Reza Zadeh, Stanford)
 
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
SiriusCon 2017 - Get your stakeholders into modeling using graphical editorsSiriusCon 2017 - Get your stakeholders into modeling using graphical editors
SiriusCon 2017 - Get your stakeholders into modeling using graphical editors
 
Kubeflow Distributed Training and HPO
Kubeflow Distributed Training and HPOKubeflow Distributed Training and HPO
Kubeflow Distributed Training and HPO
 
The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...
The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...
The Killer Feature Store: Orchestrating Spark ML Pipelines and MLflow for Pro...
 
Kubeflow at Spotify (For the Kubeflow Summit)
Kubeflow at Spotify (For the Kubeflow Summit)Kubeflow at Spotify (For the Kubeflow Summit)
Kubeflow at Spotify (For the Kubeflow Summit)
 
Scaling Machine Learning To Billions Of Parameters
Scaling Machine Learning To Billions Of ParametersScaling Machine Learning To Billions Of Parameters
Scaling Machine Learning To Billions Of Parameters
 
Balancing Automation and Explanation in Machine Learning
Balancing Automation and Explanation in Machine LearningBalancing Automation and Explanation in Machine Learning
Balancing Automation and Explanation in Machine Learning
 
Machine Learning Exchange (MLX)
Machine Learning Exchange (MLX)Machine Learning Exchange (MLX)
Machine Learning Exchange (MLX)
 
[ Capella Day 2019 ] Providing early timing analysis of the system design
[ Capella Day 2019 ] Providing early timing analysis of the system design[ Capella Day 2019 ] Providing early timing analysis of the system design
[ Capella Day 2019 ] Providing early timing analysis of the system design
 
Real-Time Voice Actuation
Real-Time Voice ActuationReal-Time Voice Actuation
Real-Time Voice Actuation
 

Viewers also liked

Papyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on EclipsePapyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on Eclipse
Charles Rivet
 
Papyrus-RT - Executable modeling on eclipse
Papyrus-RT - Executable modeling on eclipsePapyrus-RT - Executable modeling on eclipse
Papyrus-RT - Executable modeling on eclipse
Charles Rivet
 
Slides for a talk on UML Semantics in Genoa in 2006
Slides for a talk on UML Semantics in Genoa in 2006Slides for a talk on UML Semantics in Genoa in 2006
Slides for a talk on UML Semantics in Genoa in 2006Alin Stefanescu
 
Uml to code with acceleo
Uml to code with acceleoUml to code with acceleo
Uml to code with acceleo
Tarun Telang
 
Capacitacion brigada primros auxilios
Capacitacion brigada primros auxiliosCapacitacion brigada primros auxilios
Capacitacion brigada primros auxilios
Verito Espinosa
 
Wanna see your open source project succeed? - Nurture your community
Wanna see your open source project succeed? - Nurture your communityWanna see your open source project succeed? - Nurture your community
Wanna see your open source project succeed? - Nurture your community
Jordi Cabot
 

Viewers also liked (6)

Papyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on EclipsePapyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on Eclipse
 
Papyrus-RT - Executable modeling on eclipse
Papyrus-RT - Executable modeling on eclipsePapyrus-RT - Executable modeling on eclipse
Papyrus-RT - Executable modeling on eclipse
 
Slides for a talk on UML Semantics in Genoa in 2006
Slides for a talk on UML Semantics in Genoa in 2006Slides for a talk on UML Semantics in Genoa in 2006
Slides for a talk on UML Semantics in Genoa in 2006
 
Uml to code with acceleo
Uml to code with acceleoUml to code with acceleo
Uml to code with acceleo
 
Capacitacion brigada primros auxilios
Capacitacion brigada primros auxiliosCapacitacion brigada primros auxilios
Capacitacion brigada primros auxilios
 
Wanna see your open source project succeed? - Nurture your community
Wanna see your open source project succeed? - Nurture your communityWanna see your open source project succeed? - Nurture your community
Wanna see your open source project succeed? - Nurture your community
 

Similar to Incremental model compiler for executable UML

Spark Summit EU talk by Mikhail Semeniuk Hollin Wilkins
Spark Summit EU talk by Mikhail Semeniuk Hollin WilkinsSpark Summit EU talk by Mikhail Semeniuk Hollin Wilkins
Spark Summit EU talk by Mikhail Semeniuk Hollin Wilkins
Spark Summit
 
SiriusCon 2015 - Breathe Life into Your Designer!
SiriusCon 2015 - Breathe Life into Your Designer!SiriusCon 2015 - Breathe Life into Your Designer!
SiriusCon 2015 - Breathe Life into Your Designer!
melbats
 
Papyrus for System Engineering - Papyrus for Real Time v1.0
Papyrus for System Engineering - Papyrus for Real Time v1.0Papyrus for System Engineering - Papyrus for Real Time v1.0
Papyrus for System Engineering - Papyrus for Real Time v1.0
Charles Rivet
 
Papyrus for Real Time at the OMG TC
Papyrus for Real Time at the OMG TCPapyrus for Real Time at the OMG TC
Papyrus for Real Time at the OMG TC
Charles Rivet
 
Configuration Management at Deutsche Bahn
Configuration Management at Deutsche BahnConfiguration Management at Deutsche Bahn
Configuration Management at Deutsche Bahn
Neo4j
 
fUML-Driven Design and Performance Analysis of Software Agents for Wireless S...
fUML-Driven Design and Performance Analysis of Software Agents for Wireless S...fUML-Driven Design and Performance Analysis of Software Agents for Wireless S...
fUML-Driven Design and Performance Analysis of Software Agents for Wireless S...
Luca Berardinelli
 
EclipseCon Eu 2015 - Breathe life into your Designer!
EclipseCon Eu 2015 - Breathe life into your Designer!EclipseCon Eu 2015 - Breathe life into your Designer!
EclipseCon Eu 2015 - Breathe life into your Designer!
melbats
 
Hot to build continuously processing for 24/7 real-time data streaming platform?
Hot to build continuously processing for 24/7 real-time data streaming platform?Hot to build continuously processing for 24/7 real-time data streaming platform?
Hot to build continuously processing for 24/7 real-time data streaming platform?
GetInData
 
MLLeap, or How to Productionize Data Science Workflows Using Spark by Mikha...
MLLeap, or How to Productionize Data Science Workflows Using Spark by Mikha... MLLeap, or How to Productionize Data Science Workflows Using Spark by Mikha...
MLLeap, or How to Productionize Data Science Workflows Using Spark by Mikha...
Spark Summit
 
Lambda architecture on Spark, Kafka for real-time large scale ML
Lambda architecture on Spark, Kafka for real-time large scale MLLambda architecture on Spark, Kafka for real-time large scale ML
Lambda architecture on Spark, Kafka for real-time large scale ML
huguk
 
AMOSCA tools
AMOSCA toolsAMOSCA tools
AMOSCA tools
AMOSCA
 
A High-Level Programming Approach for using FPGAs in HPC using Functional Des...
A High-Level Programming Approach for using FPGAs in HPC using Functional Des...A High-Level Programming Approach for using FPGAs in HPC using Functional Des...
A High-Level Programming Approach for using FPGAs in HPC using Functional Des...
waqarnabi
 
Multicore 101: Migrating Embedded Apps to Multicore with Linux
Multicore 101: Migrating Embedded Apps to Multicore with LinuxMulticore 101: Migrating Embedded Apps to Multicore with Linux
Multicore 101: Migrating Embedded Apps to Multicore with Linux
Brad Dixon
 
Your easy move to serverless computing and radically simplified data processing
Your easy move to serverless computing and radically simplified data processingYour easy move to serverless computing and radically simplified data processing
Your easy move to serverless computing and radically simplified data processing
gvernik
 
Building Machine Learning models with Apache Spark and Amazon SageMaker | AWS...
Building Machine Learning models with Apache Spark and Amazon SageMaker | AWS...Building Machine Learning models with Apache Spark and Amazon SageMaker | AWS...
Building Machine Learning models with Apache Spark and Amazon SageMaker | AWS...
Amazon Web Services
 
RT15 Berkeley | ePHASORsim: Real-time transient stability simulation tool - O...
RT15 Berkeley | ePHASORsim: Real-time transient stability simulation tool - O...RT15 Berkeley | ePHASORsim: Real-time transient stability simulation tool - O...
RT15 Berkeley | ePHASORsim: Real-time transient stability simulation tool - O...
OPAL-RT TECHNOLOGIES
 
Papyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on EclipsePapyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on Eclipse
Charles Rivet
 
Automate all your EMR related activities
Automate all your EMR related activitiesAutomate all your EMR related activities
Automate all your EMR related activities
Eitan Sela
 
Code Generation with MDA and xUML
Code Generation with MDA and xUMLCode Generation with MDA and xUML
Code Generation with MDA and xUML
Chris Raistrick
 
Kognitio - an overview
Kognitio - an overviewKognitio - an overview
Kognitio - an overview
Kognitio
 

Similar to Incremental model compiler for executable UML (20)

Spark Summit EU talk by Mikhail Semeniuk Hollin Wilkins
Spark Summit EU talk by Mikhail Semeniuk Hollin WilkinsSpark Summit EU talk by Mikhail Semeniuk Hollin Wilkins
Spark Summit EU talk by Mikhail Semeniuk Hollin Wilkins
 
SiriusCon 2015 - Breathe Life into Your Designer!
SiriusCon 2015 - Breathe Life into Your Designer!SiriusCon 2015 - Breathe Life into Your Designer!
SiriusCon 2015 - Breathe Life into Your Designer!
 
Papyrus for System Engineering - Papyrus for Real Time v1.0
Papyrus for System Engineering - Papyrus for Real Time v1.0Papyrus for System Engineering - Papyrus for Real Time v1.0
Papyrus for System Engineering - Papyrus for Real Time v1.0
 
Papyrus for Real Time at the OMG TC
Papyrus for Real Time at the OMG TCPapyrus for Real Time at the OMG TC
Papyrus for Real Time at the OMG TC
 
Configuration Management at Deutsche Bahn
Configuration Management at Deutsche BahnConfiguration Management at Deutsche Bahn
Configuration Management at Deutsche Bahn
 
fUML-Driven Design and Performance Analysis of Software Agents for Wireless S...
fUML-Driven Design and Performance Analysis of Software Agents for Wireless S...fUML-Driven Design and Performance Analysis of Software Agents for Wireless S...
fUML-Driven Design and Performance Analysis of Software Agents for Wireless S...
 
EclipseCon Eu 2015 - Breathe life into your Designer!
EclipseCon Eu 2015 - Breathe life into your Designer!EclipseCon Eu 2015 - Breathe life into your Designer!
EclipseCon Eu 2015 - Breathe life into your Designer!
 
Hot to build continuously processing for 24/7 real-time data streaming platform?
Hot to build continuously processing for 24/7 real-time data streaming platform?Hot to build continuously processing for 24/7 real-time data streaming platform?
Hot to build continuously processing for 24/7 real-time data streaming platform?
 
MLLeap, or How to Productionize Data Science Workflows Using Spark by Mikha...
MLLeap, or How to Productionize Data Science Workflows Using Spark by Mikha... MLLeap, or How to Productionize Data Science Workflows Using Spark by Mikha...
MLLeap, or How to Productionize Data Science Workflows Using Spark by Mikha...
 
Lambda architecture on Spark, Kafka for real-time large scale ML
Lambda architecture on Spark, Kafka for real-time large scale MLLambda architecture on Spark, Kafka for real-time large scale ML
Lambda architecture on Spark, Kafka for real-time large scale ML
 
AMOSCA tools
AMOSCA toolsAMOSCA tools
AMOSCA tools
 
A High-Level Programming Approach for using FPGAs in HPC using Functional Des...
A High-Level Programming Approach for using FPGAs in HPC using Functional Des...A High-Level Programming Approach for using FPGAs in HPC using Functional Des...
A High-Level Programming Approach for using FPGAs in HPC using Functional Des...
 
Multicore 101: Migrating Embedded Apps to Multicore with Linux
Multicore 101: Migrating Embedded Apps to Multicore with LinuxMulticore 101: Migrating Embedded Apps to Multicore with Linux
Multicore 101: Migrating Embedded Apps to Multicore with Linux
 
Your easy move to serverless computing and radically simplified data processing
Your easy move to serverless computing and radically simplified data processingYour easy move to serverless computing and radically simplified data processing
Your easy move to serverless computing and radically simplified data processing
 
Building Machine Learning models with Apache Spark and Amazon SageMaker | AWS...
Building Machine Learning models with Apache Spark and Amazon SageMaker | AWS...Building Machine Learning models with Apache Spark and Amazon SageMaker | AWS...
Building Machine Learning models with Apache Spark and Amazon SageMaker | AWS...
 
RT15 Berkeley | ePHASORsim: Real-time transient stability simulation tool - O...
RT15 Berkeley | ePHASORsim: Real-time transient stability simulation tool - O...RT15 Berkeley | ePHASORsim: Real-time transient stability simulation tool - O...
RT15 Berkeley | ePHASORsim: Real-time transient stability simulation tool - O...
 
Papyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on EclipsePapyrus for RealTime - Executable Modeling on Eclipse
Papyrus for RealTime - Executable Modeling on Eclipse
 
Automate all your EMR related activities
Automate all your EMR related activitiesAutomate all your EMR related activities
Automate all your EMR related activities
 
Code Generation with MDA and xUML
Code Generation with MDA and xUMLCode Generation with MDA and xUML
Code Generation with MDA and xUML
 
Kognitio - an overview
Kognitio - an overviewKognitio - an overview
Kognitio - an overview
 

More from Ákos Horváth

Next-Generation Completeness and Consistency Management in the Digital Threa...
Next-Generation Completeness and Consistency Management in the Digital Threa...Next-Generation Completeness and Consistency Management in the Digital Threa...
Next-Generation Completeness and Consistency Management in the Digital Threa...
Ákos Horváth
 
Natural Language Understanding of Systems Engineering Artifacts
Natural Language Understanding of Systems Engineering ArtifactsNatural Language Understanding of Systems Engineering Artifacts
Natural Language Understanding of Systems Engineering Artifacts
Ákos Horváth
 
IoT Meetup Budapest - The Open-CPS approach
IoT Meetup Budapest - The Open-CPS approachIoT Meetup Budapest - The Open-CPS approach
IoT Meetup Budapest - The Open-CPS approach
Ákos Horváth
 
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approachMulti-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
Ákos Horváth
 
DemoCamp Budapest 2016 - Introdcution
DemoCamp Budapest 2016 - IntrodcutionDemoCamp Budapest 2016 - Introdcution
DemoCamp Budapest 2016 - Introdcution
Ákos Horváth
 
MoDeS3 - Model-based Demonstrator for Smart and Safe Systems
MoDeS3 - Model-based Demonstrator for Smart and Safe SystemsMoDeS3 - Model-based Demonstrator for Smart and Safe Systems
MoDeS3 - Model-based Demonstrator for Smart and Safe Systems
Ákos Horváth
 
Local search-based pattern matching features in EMF-IncQuery
Local search-based pattern matching features in EMF-IncQueryLocal search-based pattern matching features in EMF-IncQuery
Local search-based pattern matching features in EMF-IncQuery
Ákos Horváth
 
VIATRA 3: A reactive model transformation platform
VIATRA 3: A reactive model transformation platformVIATRA 3: A reactive model transformation platform
VIATRA 3: A reactive model transformation platform
Ákos Horváth
 
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...
Ákos Horváth
 
Szoftverfejlesztés a repülőgépiparban
Szoftverfejlesztés a repülőgépiparbanSzoftverfejlesztés a repülőgépiparban
Szoftverfejlesztés a repülőgépiparban
Ákos Horváth
 
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...
Ákos Horváth
 
Software Development for Safety Critical Systems
Software Development for Safety Critical SystemsSoftware Development for Safety Critical Systems
Software Development for Safety Critical Systems
Ákos Horváth
 
Incremental Model Queries for Model-Dirven Software Engineering
Incremental Model Queries for Model-Dirven Software EngineeringIncremental Model Queries for Model-Dirven Software Engineering
Incremental Model Queries for Model-Dirven Software Engineering
Ákos Horváth
 
Model-Driven Development of ARINC 653 Configuration tables
Model-Driven Development of ARINC 653 Configuration tablesModel-Driven Development of ARINC 653 Configuration tables
Model-Driven Development of ARINC 653 Configuration tables
Ákos Horváth
 
Hardware-Software allocation specification of IMA systems for early simulation
Hardware-Software allocation specification of IMA systems for early simulationHardware-Software allocation specification of IMA systems for early simulation
Hardware-Software allocation specification of IMA systems for early simulation
Ákos Horváth
 
Massif - the love child of Matlab Simulink and Eclipse
Massif - the love child of Matlab Simulink and EclipseMassif - the love child of Matlab Simulink and Eclipse
Massif - the love child of Matlab Simulink and Eclipse
Ákos Horváth
 
Decreasing your Coffe Consumption by Incremental Code regeneration
Decreasing your Coffe Consumption by Incremental Code regenerationDecreasing your Coffe Consumption by Incremental Code regeneration
Decreasing your Coffe Consumption by Incremental Code regeneration
Ákos Horváth
 

More from Ákos Horváth (17)

Next-Generation Completeness and Consistency Management in the Digital Threa...
Next-Generation Completeness and Consistency Management in the Digital Threa...Next-Generation Completeness and Consistency Management in the Digital Threa...
Next-Generation Completeness and Consistency Management in the Digital Threa...
 
Natural Language Understanding of Systems Engineering Artifacts
Natural Language Understanding of Systems Engineering ArtifactsNatural Language Understanding of Systems Engineering Artifacts
Natural Language Understanding of Systems Engineering Artifacts
 
IoT Meetup Budapest - The Open-CPS approach
IoT Meetup Budapest - The Open-CPS approachIoT Meetup Budapest - The Open-CPS approach
IoT Meetup Budapest - The Open-CPS approach
 
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approachMulti-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
 
DemoCamp Budapest 2016 - Introdcution
DemoCamp Budapest 2016 - IntrodcutionDemoCamp Budapest 2016 - Introdcution
DemoCamp Budapest 2016 - Introdcution
 
MoDeS3 - Model-based Demonstrator for Smart and Safe Systems
MoDeS3 - Model-based Demonstrator for Smart and Safe SystemsMoDeS3 - Model-based Demonstrator for Smart and Safe Systems
MoDeS3 - Model-based Demonstrator for Smart and Safe Systems
 
Local search-based pattern matching features in EMF-IncQuery
Local search-based pattern matching features in EMF-IncQueryLocal search-based pattern matching features in EMF-IncQuery
Local search-based pattern matching features in EMF-IncQuery
 
VIATRA 3: A reactive model transformation platform
VIATRA 3: A reactive model transformation platformVIATRA 3: A reactive model transformation platform
VIATRA 3: A reactive model transformation platform
 
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...
 
Szoftverfejlesztés a repülőgépiparban
Szoftverfejlesztés a repülőgépiparbanSzoftverfejlesztés a repülőgépiparban
Szoftverfejlesztés a repülőgépiparban
 
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...
 
Software Development for Safety Critical Systems
Software Development for Safety Critical SystemsSoftware Development for Safety Critical Systems
Software Development for Safety Critical Systems
 
Incremental Model Queries for Model-Dirven Software Engineering
Incremental Model Queries for Model-Dirven Software EngineeringIncremental Model Queries for Model-Dirven Software Engineering
Incremental Model Queries for Model-Dirven Software Engineering
 
Model-Driven Development of ARINC 653 Configuration tables
Model-Driven Development of ARINC 653 Configuration tablesModel-Driven Development of ARINC 653 Configuration tables
Model-Driven Development of ARINC 653 Configuration tables
 
Hardware-Software allocation specification of IMA systems for early simulation
Hardware-Software allocation specification of IMA systems for early simulationHardware-Software allocation specification of IMA systems for early simulation
Hardware-Software allocation specification of IMA systems for early simulation
 
Massif - the love child of Matlab Simulink and Eclipse
Massif - the love child of Matlab Simulink and EclipseMassif - the love child of Matlab Simulink and Eclipse
Massif - the love child of Matlab Simulink and Eclipse
 
Decreasing your Coffe Consumption by Incremental Code regeneration
Decreasing your Coffe Consumption by Incremental Code regenerationDecreasing your Coffe Consumption by Incremental Code regeneration
Decreasing your Coffe Consumption by Incremental Code regeneration
 

Recently uploaded

In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
Juraj Vysvader
 
Top 7 Unique WhatsApp API Benefits | Saudi Arabia
Top 7 Unique WhatsApp API Benefits | Saudi ArabiaTop 7 Unique WhatsApp API Benefits | Saudi Arabia
Top 7 Unique WhatsApp API Benefits | Saudi Arabia
Yara Milbes
 
AI Pilot Review: The World’s First Virtual Assistant Marketing Suite
AI Pilot Review: The World’s First Virtual Assistant Marketing SuiteAI Pilot Review: The World’s First Virtual Assistant Marketing Suite
AI Pilot Review: The World’s First Virtual Assistant Marketing Suite
Google
 
Quarkus Hidden and Forbidden Extensions
Quarkus Hidden and Forbidden ExtensionsQuarkus Hidden and Forbidden Extensions
Quarkus Hidden and Forbidden Extensions
Max Andersen
 
Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...
Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...
Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...
Mind IT Systems
 
GraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph TechnologyGraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph Technology
Neo4j
 
Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus Compute wth IRI Workflows - GlobusWorld 2024Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus
 
Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024
Globus
 
May Marketo Masterclass, London MUG May 22 2024.pdf
May Marketo Masterclass, London MUG May 22 2024.pdfMay Marketo Masterclass, London MUG May 22 2024.pdf
May Marketo Masterclass, London MUG May 22 2024.pdf
Adele Miller
 
Launch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in MinutesLaunch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in Minutes
Roshan Dwivedi
 
2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx
Georgi Kodinov
 
Globus Compute Introduction - GlobusWorld 2024
Globus Compute Introduction - GlobusWorld 2024Globus Compute Introduction - GlobusWorld 2024
Globus Compute Introduction - GlobusWorld 2024
Globus
 
GlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote sessionGlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote session
Globus
 
Enterprise Software Development with No Code Solutions.pptx
Enterprise Software Development with No Code Solutions.pptxEnterprise Software Development with No Code Solutions.pptx
Enterprise Software Development with No Code Solutions.pptx
QuickwayInfoSystems3
 
Cracking the code review at SpringIO 2024
Cracking the code review at SpringIO 2024Cracking the code review at SpringIO 2024
Cracking the code review at SpringIO 2024
Paco van Beckhoven
 
Prosigns: Transforming Business with Tailored Technology Solutions
Prosigns: Transforming Business with Tailored Technology SolutionsProsigns: Transforming Business with Tailored Technology Solutions
Prosigns: Transforming Business with Tailored Technology Solutions
Prosigns
 
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdfDominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
AMB-Review
 
Developing Distributed High-performance Computing Capabilities of an Open Sci...
Developing Distributed High-performance Computing Capabilities of an Open Sci...Developing Distributed High-performance Computing Capabilities of an Open Sci...
Developing Distributed High-performance Computing Capabilities of an Open Sci...
Globus
 
Understanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSageUnderstanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSage
Globus
 
Large Language Models and the End of Programming
Large Language Models and the End of ProgrammingLarge Language Models and the End of Programming
Large Language Models and the End of Programming
Matt Welsh
 

Recently uploaded (20)

In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
 
Top 7 Unique WhatsApp API Benefits | Saudi Arabia
Top 7 Unique WhatsApp API Benefits | Saudi ArabiaTop 7 Unique WhatsApp API Benefits | Saudi Arabia
Top 7 Unique WhatsApp API Benefits | Saudi Arabia
 
AI Pilot Review: The World’s First Virtual Assistant Marketing Suite
AI Pilot Review: The World’s First Virtual Assistant Marketing SuiteAI Pilot Review: The World’s First Virtual Assistant Marketing Suite
AI Pilot Review: The World’s First Virtual Assistant Marketing Suite
 
Quarkus Hidden and Forbidden Extensions
Quarkus Hidden and Forbidden ExtensionsQuarkus Hidden and Forbidden Extensions
Quarkus Hidden and Forbidden Extensions
 
Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...
Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...
Custom Healthcare Software for Managing Chronic Conditions and Remote Patient...
 
GraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph TechnologyGraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph Technology
 
Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus Compute wth IRI Workflows - GlobusWorld 2024Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus Compute wth IRI Workflows - GlobusWorld 2024
 
Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024
 
May Marketo Masterclass, London MUG May 22 2024.pdf
May Marketo Masterclass, London MUG May 22 2024.pdfMay Marketo Masterclass, London MUG May 22 2024.pdf
May Marketo Masterclass, London MUG May 22 2024.pdf
 
Launch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in MinutesLaunch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in Minutes
 
2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx
 
Globus Compute Introduction - GlobusWorld 2024
Globus Compute Introduction - GlobusWorld 2024Globus Compute Introduction - GlobusWorld 2024
Globus Compute Introduction - GlobusWorld 2024
 
GlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote sessionGlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote session
 
Enterprise Software Development with No Code Solutions.pptx
Enterprise Software Development with No Code Solutions.pptxEnterprise Software Development with No Code Solutions.pptx
Enterprise Software Development with No Code Solutions.pptx
 
Cracking the code review at SpringIO 2024
Cracking the code review at SpringIO 2024Cracking the code review at SpringIO 2024
Cracking the code review at SpringIO 2024
 
Prosigns: Transforming Business with Tailored Technology Solutions
Prosigns: Transforming Business with Tailored Technology SolutionsProsigns: Transforming Business with Tailored Technology Solutions
Prosigns: Transforming Business with Tailored Technology Solutions
 
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdfDominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
 
Developing Distributed High-performance Computing Capabilities of an Open Sci...
Developing Distributed High-performance Computing Capabilities of an Open Sci...Developing Distributed High-performance Computing Capabilities of an Open Sci...
Developing Distributed High-performance Computing Capabilities of an Open Sci...
 
Understanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSageUnderstanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSage
 
Large Language Models and the End of Programming
Large Language Models and the End of ProgrammingLarge Language Models and the End of Programming
Large Language Models and the End of Programming
 

Incremental model compiler for executable UML

  • 1. INCREMENTAL MODEL COMPILER FOR EXECUTABLE UML ÁKOS HORVÁTH, PHD MANAGING DIRECTOR
  • 2. Executable Modeling – the birth of xUML-RT We are proud user of executable modeling! At an undisclosed Nordic telecommunication company Which standard are you using? UML-RT of course! xtUML of course! ?? We are proud user of UML executable modeling! ??
  • 3. Executable UML Modeling approaches UML-RT • UML for Real Time • Capsule o For defining structure and behaviour • Capsule + Class + hierarchical state machines • Own state machine execution semantics • Supported by Papyrus- RT xtUML • Successor of Shlaer– Mellor method • Domain + Class + simple State machines • Special generalization semantics • Own state machine execution semantics • Supported by BridgePoint and (Papyrus-xtUML)
  • 4. Executable UML Modeling approaches UML-RT • UML for Real Time • Capsule o For defining structure and behaviour • Capsule + Class + hierarchical state machines • Own state machine execution semantics • Supported by Papyrus- RT xtUML • Successor of Shlaer– Mellor method • Domain + Class + simple State machines • Special generalization semantics • Own state machine execution semantics • Supported by BridgePoint and (Papyrus-xtUML)
  • 5. Executable Modeling – the birth of xUML-RT We are proud user of executable modeling! At an undisclosed Nordic telecommunication company I did not know that we’re using similar standards! We are proud user of executable modeling! Lets try to create a novel language that combines the two approaches! We are proud user of executable modeling! Lets call it xUML-RT!
  • 6. Executable Modeling – the birth of xUML-RT We are proud user of executable modeling! At an undisclosed Nordic telecommunication company I did not know that you we’re using similar standards! We are proud user of executable modeling! Lets try to create a novel language that combines the two approaches We are proud user of executable modeling! Lets call it xUML-RT!
  • 7. xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT End-to-end • Traceability support on model level • Incremental code generation Faster turn-around time (modify, generate, build) • For large systems 8h+ • Initial measurement  one order of magnitude faster for code generation Workflow based execution using (MWE2) Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  • 8. xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF] End-to-end • Traceability support on model level • Incremental code generation Faster turn-around time (modify, generate, build) • For large systems 8h+ • Initial measurement  one order of magnitude faster for code generation Workflow based execution using (MWE2)
  • 9. xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT Front-end agnostic model storage and processing On-the fly synchronization between EMF-UML and xUML-RT using VIATRA • Transaction aware synchronization points • Advanced EMF-UML support o Incremental evaluation of UML derived features o Querying UML profiles o https://wiki.eclipse.org/VIATRA/Integration/UMLSupport Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  • 10. xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT Front-end agnostic model storage and processing On-the fly synchronization between EMF-UML and xUML-RT using VIATRA • Transaction aware synchronization points • Advanced EMF-UML support o Incremental evaluation of UML derived features o Querying UML profiles o https://wiki.eclipse.org/VIATRA/Integration/UMLSupport Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  • 11. xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Platform level optimizations • External library configuration • Template definition on model level o Platform specific data structures and libraries Reusability • Same xUML-RT model with multiple Platform instances • Easy extension due to MWE2 Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  • 12. xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Platform level optimizations • External library configuration • Template definition on model level o Platform specific data structures and libraries Reusability • Same xUML-RT model with multiple Platform instances • Easy extension due to MWE2 Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  • 13. xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF] C++ source code • Support for query execution • Optimized container usage • Unity build Platform configuration • Execution environment • Interfaces with hand-coded components
  • 14. xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF] C++ source code • Support for query execution • Optimized container usage • Unity build Platform configuration • Execution environment • Interfaces with hand-coded components
  • 15. 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. Based on the 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
  • 16. 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. Based on the VIATRA query and transformation framework Transformatio n Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr Query Official Eclipse member 4 Project co-leads 14 Eclipse committers
  • 17. 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. Based on the VIATRA query and transformation framework Transformatio n Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr Query Official Eclipse member 4 Project co-leads 14 Eclipse committers
  • 18. 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. Based on the VIATRA query and transformation framework Transformatio n Query Official Eclipse member 4 Project co-leads 14 Eclipse committers Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr
  • 19. Conclusions Initial version is out • Model compiler https://github.com/IncQueryLabs/EMDW-MC o Out of the box compatibility with CDT • Simulator http://modelexecution.eltesoft.hu/ Model Compiler frontend integrated into Papyrus Built on VIATRA Your contributions (feedback, forum posts, ideas, bugzillas, patches) are very welcome!
  • 20. http://www.eclipse.org/viatra/ http://www.incquerylabs.com/ info@incquerylabs.com Tel: +36 70 633 3973 Email: akos.horvath@incquerylabs.com @IncQueryLabs https://www.facebook.com/incquerylabs / https://www.linkedin.com/company/incquery-labs- ltd- https://github.com/IncQueryLabs/EMDW- MC