This document summarizes different approaches for implementing incremental model transformations, including batch transformations, "dirty" incrementality, incrementality using traceability links, and query result based transformations. It then describes how these approaches have been realized using the EMF-IncQuery and Viatra technologies for model-to-model transformations in a cyber-physical systems demonstrator case study. Key features, pros and cons of each approach are discussed, along with performance evaluation results of applying different transformation techniques on the case study models of varying sizes.
The document discusses the results of a study on the impact of COVID-19 lockdowns on air pollution. Researchers found that lockdowns led to significant short-term reductions in nitrogen dioxide and fine particulate matter pollution globally as human activity declined. However, the impacts on air quality were temporary and pollution levels rebounded once lockdowns were lifted and activity resumed.
The document discusses the development of a more efficient charcoal cookstove that can save on fuel, reduce emissions, and save time. It has undergone successful lab and field testing. Next steps include fundraising, improving durability, proving the supply chain, market testing, and ramping up production. The CEO's contact information is also included.
The filmmaker attracted their target audience (demographic groups E and D) through realistic scenes that allowed audiences to think deeply into the antagonist's mind. Low key lighting and locations helped audiences relate to the ideas presented. A central prop, like the puppet in Saw, gave audiences something to focus on and engage with. The characters followed Propp's character theory involving a villain the audience could feel hatred towards. Audience research through film synopses and questionnaires helped choose an obsessive stalker narrative and female lead to make audiences feel more sympathetic. Sharing the draft widely online through YouTube and social media attracted a broader target audience and allowed the filmmaker to improve the film based on varied feedback.
Grimmett et al., growth rate hypothesisIvan Grimmett
The study tested whether the growth rate hypothesis applies to five species of aquatic hyphomycetes grown in broth cultures. Samples were taken from the cultures over 56 days and analyzed for biomass accumulation, ergosterol concentration (indicator of fungal biomass), and concentrations of carbon, nitrogen, phosphorus, RNA, and DNA. Growth curves followed a rectangular hyperbola pattern. There were no consistent trends in carbon, nitrogen, phosphorus, or ergosterol concentrations related to culture age or growth rate. RNA and DNA concentrations and their ratio decreased with culture age. Only RNA concentrations were positively correlated with growth rate, supporting the growth rate hypothesis for aquatic hyphomycetes.
Este documento presenta un reto para identificar las partes de la casa y los materiales de los que están hechas. Explica los tipos de casas, partes de la casa, muebles, y actividades para aprender inglés sobre las casas. Incluye imágenes e información sobre casas de madera, ladrillos, salón, cocina, dormitorio, baño, y preguntas de práctica.
The document discusses looking at the bigger picture by comparing different groups. It examines the rich versus the poor, the foolish versus the wise, and war versus peace - looking at each group in the larger context. The overall message is the importance of considering the broader situation and all factors involved rather than just surface-level details.
Este documento describe la contaminación por basura en las áreas públicas de la comunidad J.V. FPGV en Tacna, Perú debido a la falta de un programa de reciclaje. Señala que la plaza principal y calles transitadas como la Av. Pinto con Calle Tarapacá se encuentran llenas de bolsas de plástico, botellas y hierbas debido a que los tachos de basura fueron removidos y no reemplazados. Los centros comerciales de la zona se mantienen más limpios para atraer a los turistas.
DIAGNOSTICO PATOLOGICO EN AVE DE CORRAL (HAEMOPHILUS PARAGALLINARUM)ALEXANDER HERNANDEZ
El animal, una ave criolla macho de 5 meses, fue sacrificado para experimentación. La necropsia reveló traumatismos en el ala y extremidades, así como neumonía congestiva, peritonitis y órganos internos congestionados, indicando que la causa de muerte habría sido shock hipovolémico debido a las hemorragias causadas por el sacrificio. La inspección también mostró una posible infección por Salmonella o Haemophilus en los pulmones.
The document discusses the results of a study on the impact of COVID-19 lockdowns on air pollution. Researchers found that lockdowns led to significant short-term reductions in nitrogen dioxide and fine particulate matter pollution globally as human activity declined. However, the impacts on air quality were temporary and pollution levels rebounded once lockdowns were lifted and activity resumed.
The document discusses the development of a more efficient charcoal cookstove that can save on fuel, reduce emissions, and save time. It has undergone successful lab and field testing. Next steps include fundraising, improving durability, proving the supply chain, market testing, and ramping up production. The CEO's contact information is also included.
The filmmaker attracted their target audience (demographic groups E and D) through realistic scenes that allowed audiences to think deeply into the antagonist's mind. Low key lighting and locations helped audiences relate to the ideas presented. A central prop, like the puppet in Saw, gave audiences something to focus on and engage with. The characters followed Propp's character theory involving a villain the audience could feel hatred towards. Audience research through film synopses and questionnaires helped choose an obsessive stalker narrative and female lead to make audiences feel more sympathetic. Sharing the draft widely online through YouTube and social media attracted a broader target audience and allowed the filmmaker to improve the film based on varied feedback.
Grimmett et al., growth rate hypothesisIvan Grimmett
The study tested whether the growth rate hypothesis applies to five species of aquatic hyphomycetes grown in broth cultures. Samples were taken from the cultures over 56 days and analyzed for biomass accumulation, ergosterol concentration (indicator of fungal biomass), and concentrations of carbon, nitrogen, phosphorus, RNA, and DNA. Growth curves followed a rectangular hyperbola pattern. There were no consistent trends in carbon, nitrogen, phosphorus, or ergosterol concentrations related to culture age or growth rate. RNA and DNA concentrations and their ratio decreased with culture age. Only RNA concentrations were positively correlated with growth rate, supporting the growth rate hypothesis for aquatic hyphomycetes.
Este documento presenta un reto para identificar las partes de la casa y los materiales de los que están hechas. Explica los tipos de casas, partes de la casa, muebles, y actividades para aprender inglés sobre las casas. Incluye imágenes e información sobre casas de madera, ladrillos, salón, cocina, dormitorio, baño, y preguntas de práctica.
The document discusses looking at the bigger picture by comparing different groups. It examines the rich versus the poor, the foolish versus the wise, and war versus peace - looking at each group in the larger context. The overall message is the importance of considering the broader situation and all factors involved rather than just surface-level details.
Este documento describe la contaminación por basura en las áreas públicas de la comunidad J.V. FPGV en Tacna, Perú debido a la falta de un programa de reciclaje. Señala que la plaza principal y calles transitadas como la Av. Pinto con Calle Tarapacá se encuentran llenas de bolsas de plástico, botellas y hierbas debido a que los tachos de basura fueron removidos y no reemplazados. Los centros comerciales de la zona se mantienen más limpios para atraer a los turistas.
DIAGNOSTICO PATOLOGICO EN AVE DE CORRAL (HAEMOPHILUS PARAGALLINARUM)ALEXANDER HERNANDEZ
El animal, una ave criolla macho de 5 meses, fue sacrificado para experimentación. La necropsia reveló traumatismos en el ala y extremidades, así como neumonía congestiva, peritonitis y órganos internos congestionados, indicando que la causa de muerte habría sido shock hipovolémico debido a las hemorragias causadas por el sacrificio. La inspección también mostró una posible infección por Salmonella o Haemophilus en los pulmones.
TransPerfect acquires market leader in Big Data eDiscovery Technologyalejandro_tpt
TransPerfect Legal Solutions acquired Digital Reef, a leading provider of big data eDiscovery technology. Digital Reef will become a division of TransPerfect and provide clients with greater global support and scalability by combining its data processing capabilities with TransPerfect's worldwide footprint. The acquisition will allow clients access to a variety of early case assessment tools and Digital Reef's high-throughput eDiscovery data center, capable of processing over 17 terabytes of data daily. Ivan O'Sullivan, COO of Digital Reef, said the deal would benefit clients with a new level of service.
Este documento habla sobre los virus informáticos, incluyendo su historia, tipos, métodos de infección, y formas de prevención y eliminación. Explica que los virus son programas maliciosos que infectan computadoras y afectan su funcionamiento. También describe diferentes tipos de virus como caballos de Troya, gusanos, virus de macros y más. Además, ofrece consejos sobre cómo prevenir infecciones mediante el uso de copias de seguridad, antivirus actualizados y otras precauciones.
Toda la información anexada a este material didáctico es con fines exclusivos académicos , se recomienda discreción ante las presentes imágenes y procedimientos
The document discusses the evolution and deaths of stars. It describes how low-mass stars like the Sun will evolve into red giants and planetary nebulae over billions of years. More massive stars may explode as supernovae, producing neutron stars or black holes and spreading heavy elements throughout space. Neutron stars can be observed as pulsars that emit beams of radiation. The origins of elements on Earth and phenomena like cosmic rays and pulsars are also examined.
P4 prueba período 1° Básico Matemática 201225karen
Este documento contiene 20 problemas de matemáticas para evaluar a estudiantes de primer año básico. Cada problema presenta una operación aritmética simple y tres opciones de respuesta de las cuales el estudiante debe seleccionar la correcta. Los problemas incluyen sumas, restas, multiplicaciones y comparaciones de cantidades. El documento evalúa las habilidades básicas de los estudiantes en aritmética.
We help you get web data hassle free. This deck introduces the different use cases that are most beneficial to finance companies and those looking to scale revenue using web data.
El documento ofrece consejos para diseñadores sobre cómo establecer precios y estructurar transacciones con clientes. Recomienda evaluar el impacto, importancia del cliente y tiempo estimado para cada proyecto. También discute ventajas y desventajas de cobrar por hora, regalías, por proyecto según factores como el cliente y complejidad percibida. Además, enfatiza la importancia de proteger la propiedad intelectual del diseñador y establecer claramente las expectativas con el cliente.
Incremental Queries and Transformations for Engineering Critical SystemsÁkos Horváth
This document discusses incremental queries and transformations for engineering critical systems. It describes how model transformations can be used in critical systems engineering to enable early validation of system models. It presents EMF-IncQuery and VIATRA, which allow for incremental queries and transformations over models. These technologies have been applied in various industrial domains including avionics, automotive, and telecommunications. The talk concludes by discussing some of the industrial applications and contributors to this work.
Incremental Model Queries for Model-Dirven Software EngineeringÁkos Horváth
- The document discusses incremental model queries and transformations for model-driven software engineering.
- It introduces the EMF-IncQuery framework for performing incremental graph queries on EMF models. These queries can be used for tasks like validation of design rules.
- Model transformations are used to generate code, tests, and other artifacts from system models. Traceability links between models and code enable change impact analysis. Different levels of incrementality in model transformations are discussed.
IncQuery-D: Distributed Incremental Model Queries over the Cloud: Engineerin...Daniel Varro
In model-driven software engineering (MDE), model queries are core technologies of many tool and transformation-specific challenges such as design rule validation, model synchronization, view maintenance, simulation and many more. As software models are rapidly increasing in size and complexity, traditional MDE tools frequently face scalability issues that decrease productivity of engineers and increase development costs. Incremental graph queries offer a graph pattern based language for capturing queries. Furthermore, the result set of a query is cached and incrementally maintained upon model changes to provide instantaneous query response time. In this talk, first a brief overview is given on the EMF-IncQuery framework (which is an official Eclipse subproject). Then we discuss how to incorporate incremental queries over a distributed cloud infrastructure (to scale up from a single-node tool to a cluster of nodes) deployed over popular database back-ends (such as Cassandra. 4store, Neo4J, etc). We present our first benchmarking experiments with IncQuery-D to highlight that distributed incremental model queries can perform significantly better than the native query technologies of the underlying database back-end, especially, for complex queries.
Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA ...IncQuery Labs
Presented at the LowCode Workshop 2021 at MODELS 2021 by Benedek Horváth. Authors are Qurat ul ain Ali, Benedek Horváth, Dimitris Kolovos, Konstantinos Barmpis and Ákos Horváth.
- The VIATRA framework provides a model query and transformation engine for design tools, with applications in systems engineering.
- It features a declarative query language called VQL, Java and Xtend APIs, and a reactive engine for live queries and transformations.
- VIATRA helps validate design rules on large models, allowing designers to be immediately notified of violations during architecture design. It can efficiently query models with millions of elements.
Monitoring Containerized Micro-Services In AzureAlex Bulankou
This document discusses best practices for monitoring containerized microservices applications in Azure. It begins with an introduction to Application Insights and describes the agenda. It then discusses what is different about monitoring microservices compared to monolithic applications and some factors to consider when choosing a monitoring system. The document provides recommendations for setting up day-to-day monitoring operations, including maintaining a 15 minute daily triage process focusing on business metrics, application performance and health, and infrastructure and costs. It concludes with a demo of monitoring a sample microservices application using Application Insights and other tools.
HIGH PERFORMANCE EDGE DATA PROCESSING SOFTWARE FOR ROBOTIC APPLICATIONS
Robotic edge autonomous systems is a fast growing market with as fast growing challenges:
Sophisticated applications,
Increasing demand in complexity:
Communications with other systems,
Heavy algorithms: AI, vision navigation, etc. Hardware has improved substantially:
- Better embedded computers
- Improved sensors (more and faster data)
https://klepsydra.com/demos-media/#earth-observation-throughput
VIATRA 3: A Reactive Model Transformation PlatformÁbel Hegedüs
New VIATRA framework built on EMF powered by EMF-IncQuery (https://www.eclipse.org/incquery/) has been presented at the ICMT 2015 conference (http://www.di.univaq.it/diruscio/sites/ICMT2015/).
Making Model-Driven Verification Practical and Scalable: Experiences and Less...Lionel Briand
The document discusses experiences and lessons learned from making model-driven verification practical and scalable. It describes several projects collaborating with industry partners to develop model-based solutions for verification. Key challenges addressed include achieving applicability for engineers, scalability to large systems, and developing solutions informed by real-world problems. Lessons learned emphasize the importance of collaborative applied research, defining problems in context, and validating solutions realistically.
The document discusses transitioning from a monolithic architecture to microservices architecture for an IoT cloud platform. Some key points include:
- The goals of enabling scalability, supporting new markets, and innovation.
- Moving to a microservices architecture can help with scalability, fault tolerance, and independent deployability compared to a monolith.
- Organizational structure should also transition from function-based to product-based to align with the architecture.
- Technical considerations in building microservices include service interfaces, data management, fault tolerance, and DevOps practices.
TransPerfect acquires market leader in Big Data eDiscovery Technologyalejandro_tpt
TransPerfect Legal Solutions acquired Digital Reef, a leading provider of big data eDiscovery technology. Digital Reef will become a division of TransPerfect and provide clients with greater global support and scalability by combining its data processing capabilities with TransPerfect's worldwide footprint. The acquisition will allow clients access to a variety of early case assessment tools and Digital Reef's high-throughput eDiscovery data center, capable of processing over 17 terabytes of data daily. Ivan O'Sullivan, COO of Digital Reef, said the deal would benefit clients with a new level of service.
Este documento habla sobre los virus informáticos, incluyendo su historia, tipos, métodos de infección, y formas de prevención y eliminación. Explica que los virus son programas maliciosos que infectan computadoras y afectan su funcionamiento. También describe diferentes tipos de virus como caballos de Troya, gusanos, virus de macros y más. Además, ofrece consejos sobre cómo prevenir infecciones mediante el uso de copias de seguridad, antivirus actualizados y otras precauciones.
Toda la información anexada a este material didáctico es con fines exclusivos académicos , se recomienda discreción ante las presentes imágenes y procedimientos
The document discusses the evolution and deaths of stars. It describes how low-mass stars like the Sun will evolve into red giants and planetary nebulae over billions of years. More massive stars may explode as supernovae, producing neutron stars or black holes and spreading heavy elements throughout space. Neutron stars can be observed as pulsars that emit beams of radiation. The origins of elements on Earth and phenomena like cosmic rays and pulsars are also examined.
P4 prueba período 1° Básico Matemática 201225karen
Este documento contiene 20 problemas de matemáticas para evaluar a estudiantes de primer año básico. Cada problema presenta una operación aritmética simple y tres opciones de respuesta de las cuales el estudiante debe seleccionar la correcta. Los problemas incluyen sumas, restas, multiplicaciones y comparaciones de cantidades. El documento evalúa las habilidades básicas de los estudiantes en aritmética.
We help you get web data hassle free. This deck introduces the different use cases that are most beneficial to finance companies and those looking to scale revenue using web data.
El documento ofrece consejos para diseñadores sobre cómo establecer precios y estructurar transacciones con clientes. Recomienda evaluar el impacto, importancia del cliente y tiempo estimado para cada proyecto. También discute ventajas y desventajas de cobrar por hora, regalías, por proyecto según factores como el cliente y complejidad percibida. Además, enfatiza la importancia de proteger la propiedad intelectual del diseñador y establecer claramente las expectativas con el cliente.
Incremental Queries and Transformations for Engineering Critical SystemsÁkos Horváth
This document discusses incremental queries and transformations for engineering critical systems. It describes how model transformations can be used in critical systems engineering to enable early validation of system models. It presents EMF-IncQuery and VIATRA, which allow for incremental queries and transformations over models. These technologies have been applied in various industrial domains including avionics, automotive, and telecommunications. The talk concludes by discussing some of the industrial applications and contributors to this work.
Incremental Model Queries for Model-Dirven Software EngineeringÁkos Horváth
- The document discusses incremental model queries and transformations for model-driven software engineering.
- It introduces the EMF-IncQuery framework for performing incremental graph queries on EMF models. These queries can be used for tasks like validation of design rules.
- Model transformations are used to generate code, tests, and other artifacts from system models. Traceability links between models and code enable change impact analysis. Different levels of incrementality in model transformations are discussed.
IncQuery-D: Distributed Incremental Model Queries over the Cloud: Engineerin...Daniel Varro
In model-driven software engineering (MDE), model queries are core technologies of many tool and transformation-specific challenges such as design rule validation, model synchronization, view maintenance, simulation and many more. As software models are rapidly increasing in size and complexity, traditional MDE tools frequently face scalability issues that decrease productivity of engineers and increase development costs. Incremental graph queries offer a graph pattern based language for capturing queries. Furthermore, the result set of a query is cached and incrementally maintained upon model changes to provide instantaneous query response time. In this talk, first a brief overview is given on the EMF-IncQuery framework (which is an official Eclipse subproject). Then we discuss how to incorporate incremental queries over a distributed cloud infrastructure (to scale up from a single-node tool to a cluster of nodes) deployed over popular database back-ends (such as Cassandra. 4store, Neo4J, etc). We present our first benchmarking experiments with IncQuery-D to highlight that distributed incremental model queries can perform significantly better than the native query technologies of the underlying database back-end, especially, for complex queries.
Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA ...IncQuery Labs
Presented at the LowCode Workshop 2021 at MODELS 2021 by Benedek Horváth. Authors are Qurat ul ain Ali, Benedek Horváth, Dimitris Kolovos, Konstantinos Barmpis and Ákos Horváth.
- The VIATRA framework provides a model query and transformation engine for design tools, with applications in systems engineering.
- It features a declarative query language called VQL, Java and Xtend APIs, and a reactive engine for live queries and transformations.
- VIATRA helps validate design rules on large models, allowing designers to be immediately notified of violations during architecture design. It can efficiently query models with millions of elements.
Monitoring Containerized Micro-Services In AzureAlex Bulankou
This document discusses best practices for monitoring containerized microservices applications in Azure. It begins with an introduction to Application Insights and describes the agenda. It then discusses what is different about monitoring microservices compared to monolithic applications and some factors to consider when choosing a monitoring system. The document provides recommendations for setting up day-to-day monitoring operations, including maintaining a 15 minute daily triage process focusing on business metrics, application performance and health, and infrastructure and costs. It concludes with a demo of monitoring a sample microservices application using Application Insights and other tools.
HIGH PERFORMANCE EDGE DATA PROCESSING SOFTWARE FOR ROBOTIC APPLICATIONS
Robotic edge autonomous systems is a fast growing market with as fast growing challenges:
Sophisticated applications,
Increasing demand in complexity:
Communications with other systems,
Heavy algorithms: AI, vision navigation, etc. Hardware has improved substantially:
- Better embedded computers
- Improved sensors (more and faster data)
https://klepsydra.com/demos-media/#earth-observation-throughput
VIATRA 3: A Reactive Model Transformation PlatformÁbel Hegedüs
New VIATRA framework built on EMF powered by EMF-IncQuery (https://www.eclipse.org/incquery/) has been presented at the ICMT 2015 conference (http://www.di.univaq.it/diruscio/sites/ICMT2015/).
Making Model-Driven Verification Practical and Scalable: Experiences and Less...Lionel Briand
The document discusses experiences and lessons learned from making model-driven verification practical and scalable. It describes several projects collaborating with industry partners to develop model-based solutions for verification. Key challenges addressed include achieving applicability for engineers, scalability to large systems, and developing solutions informed by real-world problems. Lessons learned emphasize the importance of collaborative applied research, defining problems in context, and validating solutions realistically.
The document discusses transitioning from a monolithic architecture to microservices architecture for an IoT cloud platform. Some key points include:
- The goals of enabling scalability, supporting new markets, and innovation.
- Moving to a microservices architecture can help with scalability, fault tolerance, and independent deployability compared to a monolith.
- Organizational structure should also transition from function-based to product-based to align with the architecture.
- Technical considerations in building microservices include service interfaces, data management, fault tolerance, and DevOps practices.
Operationalizing Machine Learning: Serving ML ModelsLightbend
Join O’Reilly author and Lightbend Principal Architect, Boris Lublinsky, as he discusses one of the hottest topics in software engineering today: serving machine learning models.
Typically with machine learning, different groups are responsible for model training and model serving. Data scientists often introduce their own machine-learning tools, causing software engineers to create complementary model-serving frameworks to keep pace. It’s not a very efficient system. In this webinar, Boris demonstrates a more standardized approach to model serving and model scoring:
* How to develop an architecture for serving models in real time as part of input stream processing
* How this approach enables data science teams to update models without restarting existing applications
* Different ways to build this model-scoring solution, using several popular stream processing engines and frameworks
Machine Learning At Speed: Operationalizing ML For Real-Time Data StreamsLightbend
Audience: Architects, Data Scientists, Developers
Technical level: Introductory
From home intrusion detection, to self-driving cars, to keeping data center operations healthy, Machine Learning (ML) has become one of the hottest topics in software engineering today. While much of the focus has been on the actual creation of the algorithms used in ML, the less talked-about challenge is how to serve these models in production, often utilizing real-time streaming data.
The traditional approach to model serving is to treat the model as code, which means that ML implementation has to be continually adapted for model serving. As the amount of machine learning tools and techniques grows, the efficiency of such an approach is becoming more questionable. Additionally, machine learning and model serving are driven by very different quality of service requirements; while machine learning is typically batch, dealing with scalability and processing power, model serving is mostly concerned with performance and stability.
In this webinar with O’Reilly author and Lightbend Principal Architect, Boris Lublinsky, we will define an alternative approach to model serving, based on treating the model itself as data. Using popular frameworks like Akka Streams and Apache Flink, Boris will review how to implement this approach, explaining how it can help you:
* Achieve complete decoupling between the model implementation for machine learning and model serving, enforcing better standardization of your model serving implementation.
* Enable dynamic updates of the served model without having to restart the system.
* Utilize Tensorflow and PMML as model representation and their usage for building “real time updatable” model serving architecture.
Why test automation is getting more difficult, and what can be done about it. This slides are from a presentation by Group Director, Product Management at TestPlant, Gordon McKeown, which was presented at the Northern Lights conference in Manchester in April 2016.
Predictable reactive state management - ngrxIlia Idakiev
This document provides an overview and introduction to Predictable Reactive State Management using NGRX. It begins with an introduction to the speaker and then outlines the schedule which includes topics like functional programming, RxJS, Angular change detection, Redux, and NGRX. It then discusses how functional programming concepts like pure functions, immutable data, and declarative programming relate to Angular and libraries like RxJS and NGRX. Specific NGRX concepts like actions, reducers, and selectors are introduced. Examples are provided for building an NGRX application with a single reducer handling the state updates. Additional resources are listed at the end.
Application of the automation know-how within the EGS-CC projectNieves Salor
This document discusses the automation know-how applied within the EGS-CC project. It describes the issues with procedure interoperability that were present before EGS-CC. It then outlines the experience with automation, both previously and for EGS-CC. The document proposes preparing an Automation Procedure Exchange Language and Execution Engine for EGS-CC. It describes the constraints, definition process, exchange format including annotations, statements, activity management, and error handling for Automation Procedures. Examples of procedures are also provided. Finally, it notes some issues that were raised during the design of the Automation Procedure format.
Intro to LV in 3 Hours for Control and Sim 8_5.pptxDeepakJangid87
This document provides an introduction to using LabVIEW for virtual instrumentation, control design, and simulation. It discusses using LabVIEW for applications in signal processing, embedded systems, control systems, and measurements. The topics covered include reviewing the LabVIEW environment, the design process of modeling, control design, simulation, optimization, and deployment. Simulation allows testing controllers and incorporating real-world nonlinearities. Constructing models graphically and textually is demonstrated. PID control and designing a PID controller with the Control Design Toolkit is also summarized. Exercises guide creating and displaying a transfer function model and constructing a PID controller.
Dances with bits - industrial data analytics made easy!Julian Feinauer
Vortrag from the Building IoT 2020 (https://www.buildingiot.de/lecture.php?id=10644&source=). Short presentation of the framework CRUNCH (https://github.com/pragmaticminds/crunch) and its upcoming integration in the PLC4X project (plc4x.apache.org).
Similar to Decreasing your Coffe Consumption by Incremental Code regeneration (20)
Next-Generation Completeness and Consistency Management in the Digital Threa...Ákos Horváth
The document discusses challenges in maintaining consistency, completeness, and correctness (3C) across disconnected engineering data silos. It proposes using links and transformations to connect models between systems engineering and electrical design tools. Validation rules can then check that connections and components are properly mapped between the silos. The IncQuery Validator was used to import a model from E3.GENESYS into its knowledge graph and generate a validation report checking for 3C issues. Tracking link management and validation results over time provides visibility into the progress of the "digital thread" across the engineering lifecycle.
Natural Language Understanding of Systems Engineering ArtifactsÁkos Horváth
This paper examines in close relation two fields of growing importance: model-based systems engineering (MBSE) and natural language processing (NLP). System models provide a structured description of engineering data, whose inherent semantics often remains hard to explore. Natural language understanding, (i.e., the machine analysis of texts produced by humans) an important field of NLP, focuses on semantic text comprehension but cannot directly account for structured information sources.
IoT Meetup Budapest - The Open-CPS approachÁkos Horváth
The document discusses the OpenCPS project, which aims to develop methods and tools for multi-disciplinary simulation of cyber-physical systems through a model-driven approach. The project has 18 industrial and academic partners across 4 countries. It focuses on developing an FMI-based co-simulation environment, state machine debugging tools, and methods for efficient multi-core simulation. Key innovation areas include simulation of UML and Modelica models, real-time synchronization, and an FMI master simulation framework. An industrial use case involving simulation of an aircraft environmental control system is presented to demonstrate the project's techniques.
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approachÁkos Horváth
- The OpenCPS project aims to develop multi-disciplinary simulation of cyber-physical systems through an open model-driven approach over 3 years with 18 partners from 4 countries.
- Key innovation areas include an FMI runtime and master simulation framework, state machine debugging and validation, and efficient multi-core simulation.
- The project will validate results through industrial demonstrators in various domains like buildings, automotive, aeronautics, and energy.
V for visualization: VIATRA finally goes graphical thanks to Sirius!Ákos Horváth
This document discusses three approaches for integrating textual and graphical editing of VIATRA queries: 1) using a shared EMF serialization, 2) using EMF-based view models, and 3) using separated DSLs. The current approach uses a shared EMF model from Xtext for synchronization between the textual and graphical editors. Lessons learned include the need for language co-evolution and bidirectional/incremental synchronization to reduce semantic gaps and enable editing in both domains. A beta graphical editor for VIATRA queries will be available in the next release.
This document summarizes an Eclipse Neon DemoCamp event held in Budapest, Hungary in 2016. The event included presentations on new features in Eclipse Neon like word wrap, font size zoom, and GTK3 improvements. Additional presentations covered using Eclipse technologies in the automotive industry and the Clang Static Analysis plugin. Future plans were discussed for virtual meetups to share Eclipse knowledge and an Eclipse Day Hungary event in 2017. Attendees were encouraged to provide feedback on topics.
Incremental model compiler for executable UMLÁ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.
MoDeS3 - Model-based Demonstrator for Smart and Safe SystemsÁkos Horváth
MODES3 is a technology demonstrator that combines techniques from safety-critical systems development with Internet-of-Things technologies. It uses a model-driven development approach to generate code for a distributed safety logic system that monitors sensors and controls actuators for a railway system and robot. The system architecture includes distributed controllers, sensors, actuators, and an additional high-level monitoring system using computer vision and complex event processing. The goal is to demonstrate how safety-critical systems can leverage IoT technologies like sensor fusion and distributed control.
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...Ákos Horváth
This document discusses using EMF-IncQuery as a query language in Sirius for defining viewpoints over EMF models. It provides an overview of Sirius and EMF-IncQuery, demonstrates defining queries in different languages, and evaluates performance of incremental recalculation. Experimental results show IncQuery queries have blazing fast reaction times for incremental updates even for large models. The approach is proven in a motivating EU project but still requires expertise in both Sirius and IncQuery and could be enhanced with Obeo's help.
Local search-based pattern matching features in EMF-IncQueryÁkos Horváth
This document discusses local search-based pattern matching features in EMF-IncQuery. It presents an alternative local search backend that can execute queries using less memory than the typical incremental approach. The local search backend calculates matches by executing search plans using a depth-first search approach. It is complemented by a search plan debugger that allows step-by-step visualization of the search plan execution. Local search is shown to use less memory than the incremental approach, especially for large models, though incremental approaches are more efficient for re-evaluation of changed models.
VIATRA 3: A reactive model transformation platformÁkos Horváth
VIATRA 3 is a reactive model transformation platform that allows specifying transformations as event-driven rules. It separates concerns by defining observed events, controlled events, and actions. Rules can be defined using a pattern-based query language and assigned lifecycles and actions. VIATRA provides mechanisms for scheduling rule execution, resolving conflicts, and supporting both batch and incremental transformations. Performance benchmarks demonstrate it can efficiently handle transformations on large models.
Model visualization made easy: Incremental query-driven views in modeling toolsÁkos Horváth
This document presents an approach for incrementally deriving and synchronizing view models from source models using incremental graph queries. Query-based rules are used to define view model elements and relationships. Notifications of source model changes trigger incremental re-evaluation of the queries and synchronization of the view models. The approach supports multiple visualization modules like JFace, Zest, and Sirius. An evaluation shows view model recalculations can be performed in under 100ms for complex queries over large models.
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...Ákos Horváth
This document discusses constraint satisfaction problems over models (CSP(M)). It defines CSP(M) as being described by an initial model, a set of global constraints, goals, and labeling rules. It presents an example of allocating jobs to partitions in an integrated modular avionics system. Constraints and goals are defined as graph patterns. Labeling rules are defined using graph transformation rules. Solving CSP(M) involves applying labeling rules to reach a state satisfying all constraints and goals, backtracking if needed. The document outlines an implementation over VIATRA2 and discusses optimizations and future work.
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...Ákos Horváth
The document discusses the CONCERTO project, which builds upon the CHESS project to further develop model-driven engineering techniques for designing multi-concern software components across several domains including telecom, aerospace, automotive, petroleum, and medical. The project aims to enhance the multi-concern component methodology and toolset defined in CHESS to support additional domains like telecare through techniques such as property-preserving implementation, model execution, safety modeling, and support for multicore targets and resource partitioning. A telecare demonstrator is presented as an initial application of the round-trip modeling and analysis approach.
Software Development for Safety Critical SystemsÁkos Horváth
This document discusses software development for safety critical systems. It covers:
- Special considerations for safety critical systems where malfunctions can cause injury, including design, verification, validation, certification to standards.
- The increasing complexity of avionics software over time with aircraft like the A380 and B787 having hundreds of millions of lines of code.
- Key aeronautical certification bodies and standards like the FAA, EASA, ICAO, DO-178B/C, and ARP-4754.
- Methodologies used in aeronautical system certification like fault tree analysis, common cause analysis, and design assurance levels (DAL).
- How certification aspects apply to both software and hardware and
Model-Driven Development of ARINC 653 Configuration tablesÁkos Horváth
The document describes model-driven development of ARINC 653 configuration tables using a PIM-PSM mapping process. It was developed as part of the DIANA project to improve the use of model-driven engineering in avionics systems. The mapping process involves importing platform independent and hardware models, allocating applications to partitions and resources, specifying interfaces, communication and health monitoring tables, and generating configuration files and artifacts with traceability. A PIM-PSM editor was created to implement the mapping as a series of model transformations while ensuring contracts and validating models. The approach aims to systematically generate safety-critical configurations from models.
Hardware-Software allocation specification of IMA systems for early simulationÁkos Horváth
This document describes a model-driven development tool for allocating system functionalities to integrated modular avionics (IMA) platforms. The tool uses models and transformations to perform allocation, enable early validation of design rules, and generate traceability links. It is based on open-source Eclipse modeling frameworks like EMF, EMF-IncQuery, and VIATRA and integrates with MATLAB Simulink models. Future work includes improving semi-automated allocation, supporting open-source technologies through the Polarsys initiative, and creating a standalone traceability framework. The tool aims to apply model-driven methods to help design integrated modular avionics systems.
IncQuery gets Sirius: faster and better diagramsÁkos Horváth
This document discusses using EMF-IncQuery (IQPL) as a query language for defining viewpoints in Sirius. It provides an overview of Sirius and EMF-IncQuery, demonstrates using IncQuery to define viewpoints over a model, and evaluates the performance of incremental updates. The integration allows for live synchronization of derived view models using incremental model queries.
Massif - the love child of Matlab Simulink and EclipseÁkos Horváth
Massif is a tool that integrates Matlab Simulink models with the Eclipse development environment. It provides import and export functionality for Simulink systems and libraries, representing them as EMF models in Eclipse. Massif has various import strategies and allows manipulating and navigating Simulink models directly as EMF resources. It also features an OSLC API to dynamically execute queries on Simulink models. The presentation provided an overview of Massif's architecture and capabilities and discussed experiences using it for avionics and automotive projects.
A Study of Variable-Role-based Feature Enrichment in Neural Models of CodeAftab Hussain
Understanding variable roles in code has been found to be helpful by students
in learning programming -- could variable roles help deep neural models in
performing coding tasks? We do an exploratory study.
- These are slides of the talk given at InteNSE'23: The 1st International Workshop on Interpretability and Robustness in Neural Software Engineering, co-located with the 45th International Conference on Software Engineering, ICSE 2023, Melbourne Australia
Transform Your Communication with Cloud-Based IVR SolutionsTheSMSPoint
Discover the power of Cloud-Based IVR Solutions to streamline communication processes. Embrace scalability and cost-efficiency while enhancing customer experiences with features like automated call routing and voice recognition. Accessible from anywhere, these solutions integrate seamlessly with existing systems, providing real-time analytics for continuous improvement. Revolutionize your communication strategy today with Cloud-Based IVR Solutions. Learn more at: https://thesmspoint.com/channel/cloud-telephony
Unveiling the Advantages of Agile Software Development.pdfbrainerhub1
Learn about Agile Software Development's advantages. Simplify your workflow to spur quicker innovation. Jump right in! We have also discussed the advantages.
Using Query Store in Azure PostgreSQL to Understand Query PerformanceGrant Fritchey
Microsoft has added an excellent new extension in PostgreSQL on their Azure Platform. This session, presented at Posette 2024, covers what Query Store is and the types of information you can get out of it.
UI5con 2024 - Boost Your Development Experience with UI5 Tooling ExtensionsPeter Muessig
The UI5 tooling is the development and build tooling of UI5. It is built in a modular and extensible way so that it can be easily extended by your needs. This session will showcase various tooling extensions which can boost your development experience by far so that you can really work offline, transpile your code in your project to use even newer versions of EcmaScript (than 2022 which is supported right now by the UI5 tooling), consume any npm package of your choice in your project, using different kind of proxies, and even stitching UI5 projects during development together to mimic your target environment.
Takashi Kobayashi and Hironori Washizaki, "SWEBOK Guide and Future of SE Education," First International Symposium on the Future of Software Engineering (FUSE), June 3-6, 2024, Okinawa, Japan
E-Invoicing Implementation: A Step-by-Step Guide for Saudi Arabian CompaniesQuickdice ERP
Explore the seamless transition to e-invoicing with this comprehensive guide tailored for Saudi Arabian businesses. Navigate the process effortlessly with step-by-step instructions designed to streamline implementation and enhance efficiency.
8 Best Automated Android App Testing Tool and Framework in 2024.pdfkalichargn70th171
Regarding mobile operating systems, two major players dominate our thoughts: Android and iPhone. With Android leading the market, software development companies are focused on delivering apps compatible with this OS. Ensuring an app's functionality across various Android devices, OS versions, and hardware specifications is critical, making Android app testing essential.
OpenMetadata Community Meeting - 5th June 2024OpenMetadata
The OpenMetadata Community Meeting was held on June 5th, 2024. In this meeting, we discussed about the data quality capabilities that are integrated with the Incident Manager, providing a complete solution to handle your data observability needs. Watch the end-to-end demo of the data quality features.
* How to run your own data quality framework
* What is the performance impact of running data quality frameworks
* How to run the test cases in your own ETL pipelines
* How the Incident Manager is integrated
* Get notified with alerts when test cases fail
Watch the meeting recording here - https://www.youtube.com/watch?v=UbNOje0kf6E
DDS Security Version 1.2 was adopted in 2024. This revision strengthens support for long runnings systems adding new cryptographic algorithms, certificate revocation, and hardness against DoS attacks.
Flutter is a popular open source, cross-platform framework developed by Google. In this webinar we'll explore Flutter and its architecture, delve into the Flutter Embedder and Flutter’s Dart language, discover how to leverage Flutter for embedded device development, learn about Automotive Grade Linux (AGL) and its consortium and understand the rationale behind AGL's choice of Flutter for next-gen IVI systems. Don’t miss this opportunity to discover whether Flutter is right for your project.
Microservice Teams - How the cloud changes the way we workSven Peters
A lot of technical challenges and complexity come with building a cloud-native and distributed architecture. The way we develop backend software has fundamentally changed in the last ten years. Managing a microservices architecture demands a lot of us to ensure observability and operational resiliency. But did you also change the way you run your development teams?
Sven will talk about Atlassian’s journey from a monolith to a multi-tenanted architecture and how it affected the way the engineering teams work. You will learn how we shifted to service ownership, moved to more autonomous teams (and its challenges), and established platform and enablement teams.
Revolutionizing Visual Effects Mastering AI Face Swaps.pdfUndress Baby
The quest for the best AI face swap solution is marked by an amalgamation of technological prowess and artistic finesse, where cutting-edge algorithms seamlessly replace faces in images or videos with striking realism. Leveraging advanced deep learning techniques, the best AI face swap tools meticulously analyze facial features, lighting conditions, and expressions to execute flawless transformations, ensuring natural-looking results that blur the line between reality and illusion, captivating users with their ingenuity and sophistication.
Web:- https://undressbaby.com/
KuberTENes Birthday Bash Guadalajara - Introducción a Argo CD
Decreasing your Coffe Consumption by Incremental Code regeneration
1. Decreasing your Coffee Consumption
by
Incremental (Code) Regeneration
Ákos Horváth, Ábel Hegedüs
IncQueryLabs Ltd.
István Ráth, Dániel Varró
Budapest University of Technology and Economics
Ádám Balogh
Ericsson Hungary Ltd.
2. Outline of the talk
Motivation and Background
Incrementality in transformations
Incremental transformation
•Different realizations
•Additional features
Evaluation
•Runtime performance
Conclusion
•Current status
•Future work
Main Contributors
o Zoltán Ujhelyi
o Ábel Hegedüs
o Márton Búr
o Róbert Dóczi
o Péter Lunk
o István Ráth
o Ákos Horváth
4. Incrementality in model transformations:
The common understanding
SRC TRGTRACE
Motivation
Req. 1: Source model sizes in the range of millions (e.g.,
AUTOSAR)
Req. 2: Transformation times may take hours in case of
complex transformations
Req. 3: Chaining of model transformation
5. Incrementality in model transformations
Our understanding and the current aim
SRC TRGTRACE
Interpretation: when a change occurs, …
Source incrementality: “re-read as little as possible”
Req. 1: Source model sizes
Target incrementality: “re-write as little as possible”
Req. 2: Complex transformation execution
Req. 3: Transformation chaining requires both target and source
incrementality
One way synchronization
7. No Incrementality: Batch Transformations
1. First transformation
2. Source model changes
3. Re-execute from scratch
for all source models
SRC1
SRC2
TRG1TRACE1
TRG2TRACE2
8. “Dirty” Incrementality
1. First transformation
2. Source model changes
3. Re-execute from scratch
only for changed model
segments
SRC1
SRC2
TRG1TRACE1
TRG2TRACE2
Pros:
• Coarse grain
incrementality
Cons:
• Complex MT can be slow
• Cleanup (after an error)?
• Chaining?
• Source and target
incrementality?
9. Incrementality by traceability
1. First transformation
2. Source model changes
4. Re-execute MT only for
untraceable elements
SRC1
SRC2
TRG1TRACE1
TRG2TRACE2
3. Detect missing trace links
Pros:
• Fine grain incrementality
(source and target)
• Better performance
• Chaining (req. 3.)
Cons:
• Highly depends on
traceability links
• Smart queries needed
10. Query result based transformations
1. First transformation
2. Source model changes
4. Fire rule activations
(in relevant context)
SRC1
SRC2
TRG1TRACE1
TRG2TRACE2
3. Detect new activations
Pros:
• Refined context: driven by
query result set changes
• Chaining (req. 3)
Cons:
• Language-level
restrictions
11. Realization of M2M Steps
VIATRA
Model-to-model transformations in
Cyber Physical Systems demonstrator
12. EMF-IncQuery and Viatra based transformations
EMF-IncQuery
• Planned release 1.0: 2015.06.30 (graduation)
• “an incremental model query engine”
New VIATRA
• http://eclipse.org/viatra , “an event-driven and reactive model transformation platform”
• High-performance model transformation engine built on IncQuery technology
• Unique feature: supports batch, incremental transformation over a unified virtual
machine infrastructure (EVM)
• Full Java and EMF compatibility
• API inspired by Xtend and Xbase
• Tightly integrated into Xtend
• Planned release 0.7: 2015. 06. 30
13. Cyber-physical system demonstrator
The CPS system describes a set of stateful applications allocated to hosts in
order to fulfill requests
• Application types and instances
o Each type specifies a state machine with states and transitions
• Host types and communicating instances
o Limited resources, e.g. CPU, memory
• Transitions may send or wait for signals
o Sending is addressed to application types
https://github.com/IncQueryLabs/incquery-examples-cps
Cyber Physical
Ecore Model
Target CodeDeployment model
M2M M2T
14. Transformation
Batch Simple and Optimized
Based on Xtend
Reads the SRC model and generates both Traceability and target elements
Optimized uses
• some caches for traceability elements
• Optimized based on generated java code
SRC1
TRG1
TRACE1
Xtendreads generates
17. Transformation
Batch IncQuery
Based on Xtend and IncQuery
Both Traceability and Source model is queried using
IncQuery
• Cache sets are kept synchronized with changes
• Transformations just reads results
• Uses IncQuery only where useful
SRC1
TRG1
TRACE1Δ
Reexecutes
transformation
Xtend
Reads query
results
18. Transformation
Change Monitor + IncQuery
(dirty incremental)
SRC1
TRG1
TRACE1
Reexecutes
transformationXtend
Reads query
results
Change
Monitor
R1
R2
R3
1. Source
model changes
Notifications
sent
2. Notifications
sent
4. Executes rules
on dirty segment
3. Calculates
dirty model
segmentΔ
0.Transformation
rules
4. New parts
created,
old modified
Δ dirty part
19. Transformation
Change Monitor + IncQuery
(dirty incremental)
Based on Custom Change monitor
Calculation of dirty segment is hand code
defines level of incrementality
• Handling of deletion/creation can be cumbersome
EMF-IncQuery is used to receive notification on changes
SRC1
TRG1
TRACE1
Reexecutes
transformationXtend
Reads query
results
Change
Monitor
R1
R2
Δ dirty part
Δ
20. Transformation
Explicit Traceability
SRC1
TRG1
TRACE1
Δ Δ
EVM
Δ match sets
R1
R2
R3
1 2 3
1
1 2
Fires rule
activation
3
2. Missing Trace link
“negative
notifications”
1. Source
model changes
Notifications
sent
2. Notifications
sent
3. New
activations
appear
0.Transformation
rules
0. Rule
Activations
3. Target model
changed
4. Everything
starts over
21. Transformation
Explicit Traceability
Based on IncQuery and EVM (Event-Driven Virtual Machine)
Model modifications defined in Xtend
Keeps rule activation life-cycle by EVM
• Mainly queries traceability model
• Follows what is happening with source model
Execution triggering is controlled separately from activation
• Single rule
• Delayed for multiple rules (e.g., EMF transaction end)
SRC1
TRG1
TRACE1
Δ Δ
EVM
Δ match sets
R1
R2
R3
1 2
3
1
1 2
Fires rule
activation
3
22. Transformation
Query based traceability
SRC1
TRG1
TRACE1
Δ
EVM
Δ changed match sets
R1
R2
R3
1 2 3
1 2
Fires rule
activation
3
2. Match set changes
propagated
1. Source
model changes
Notifications
sent
2. Notifications
sent
3. New
activations
appear
3. Target model
changed
0. Rule
Activations from
the start of
transformation
(reference point)
23. Transformation
Query based traceability
SRC1
TRG1
TRACE1
EVM
Δ changed match sets
R1
R2
R3
1 2
1 2
Fires rule
activation
1. Source
model changes
Notifications
sent
2. Notifications
sent
3. Target model
changed
3
3
Δ
5.
Transformation
continues
2. Match set changes
propagated
0. Rule
Activations from
the start of
transformation
(reference point)
3. New
activations
appear
4. New
reference
point is set
24. Transformation
Query based traceability
Traceability is kept by state of match sets
Keeps rule activation life-cycle by EVM
• Traceability by appeared/disappeared/updated matches
based on previous “reference point”
• Rule activation only queries source model
Execution triggering is controlled separately from activation
SRC1
TRG1
TRACE1
EVM
R1
R2
R3
1 2 3
1 2
Fires rule
activation
3
Δ changed match sets
Δ
25. Transformation
Viatra (API) for
model transformation definition
Provides a user-friendly API over EVM for
defining transformation rules
Supports
• Batch execution
• Query based traceability
Rule definition
• Pre condition – EMF-IncQuery pattern
• Action – any Java compatible code, usually
Xtend
SRC1
TRG1
TRACE1
EVM
R1
R2
R3
1 2
1
1 2
Fires rule
activation
Part of the upcoming
Viatra 0.7 release
• Much more to see
http://www.eclipse.org/viatra/
1 2 3
1 2
3
Δ changed match sets
Δ
VIATRA
26. Additional features
Viatra
• Transformation chains defined in MWE2
o Extensible language feature
API for Viatra incremental and
batch transformations
o Explicit workflow for control
CPS case study specific
• M2T code generation for Java
based on change monitor
Template based
JDT based
o Not much difference in performance
28. Test scenario
Scale SRC Objects SRC References TRG Objects TRG References Trace Objects Trace References
SUM
Objects
SUM
References
1 395 772 366 736 354 720 1115 2228
2 849 1821 773 1535 762 1535 2384 4891
4 1694 4697 1534 2972 1522 3056 4750 10725
8 3604 17111 3266 6108 3254 6520 10124 29739
16 7820 89193 7124 12395 7112 14236 22056 115824
32 17714 594181 16308 24837 16297 32605 50319 651623
64 43795 4424529 40960 50028 40948 81908 125703 4556465
For all four transformations
• Batch
o simple and optimized
o IncQuery and Viatra
• Incremental
o Change monitor based
o EVM: explicit traceability and query
result based (qbr)
o Viatra: query based
Executions
• First transformation execution
• Small modification + (re)execution
Four different model scenarios
• Industrial (presented below)
• Client-Server
• Publish-Subscribe
Environment
• New desktop machine with 16 GB RAM
Parameters
• 10 GB Heap
• Maximum 10 minutes execution times
for complete chain
Trace model’s size
similar to target model
29. Runtime for first transformation
Batch IncQuery +
Batch Viatra are the
fastest
Incremental
approaches are within
~200%
Logarithmic scale!
30. Modification and second transformation
As expected
incremental transformation
does well in (re)execution
Logarithmic scale!
31. Conclusion
Conclusion
CPS demonstrator helps transformation engineers to
• Helps to identify key features of different approaches
• Provide hints for fine-tuning
o Hybrid approach
Batch+IncQuery for first transformation
Explicit traceability for (re)execution
• Viatra + EMF-IncQuery provides
o a mature stack to execute a wide variety of
incremental (and batch) transformations
Future work
Viatra as a generic model transformation framework?
much more is under the hood
• Complex Event processing
• Design Space Exploration
• EclipeCon Europe 2015?
• http://www.eclipse.org/viatra/
32. Final points
Viatra
• 0.7 will be out soon
• Generic transformation engine for batch and incremental
transformation chains
• http://www.eclipse.org/viatra/
• The examples with all test results and more details are available form
o https://github.com/IncQueryLabs/incquery-examples-cps/
o Contributors:
Main: IncQuery Labs Ltd,
Auxilliary:. Ericsson A.B., BME-FTSRG
Supporting projects: Ericsson internal project
Your contributions (feedback, forum posts, ideas, bugzillas, patches)
are very welcome!
• To what direction should we enhance the demonstrator and the Viatra
transformation API?
32
Editor's Notes
Small-step and fine grain
6 minutes
6 minutes
6 minutes
Star like structure for the first two
Client server -> all clients communicate with server
Publish-subscribers -> publisher sends to all the subscribers
Lowsynch: multiple host with multiple instances that are interconnected:
Simple:
For a programmer:
A piece of code that searches for parts of the model
For the scientist:
Query = set of constraints that have to be satisfied by (parts of) the (graph) model
Result = set of model element tuples that satisfy the constraints of the query
Match = bind constraint variables to model elements