Incremental queries and transformations: From concepts to industrial applications

Research output: Conference contribution

2 Citations (Scopus)

Abstract

Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain. Behind the scenes, design and verification tools in these domains frequently exploit advanced model query and transformation techniques to support various rich tool features. The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model changes caused by systems engineers or automated design steps. In this paper, I overview two open source Eclipse projects, EMF-IncQuery and Viatra, which have been actively used as a basis for developing various academic and industrial tools for critical systems.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages51-59
Number of pages9
Volume9587
ISBN (Print)9783662491911
DOIs
Publication statusPublished - 2016
Event42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016 - Harrachov, Czech Republic
Duration: jan. 23 2016jan. 28 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9587
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016
CountryCzech Republic
CityHarrachov
Period1/23/161/28/16

Fingerprint

Industrial Application
Industrial applications
Query
Avionics
Model
Telecommunications
Embedded systems
Embedded Systems
Open Source
Electromagnetic Fields
Telecommunication
Concepts
Engineering
Engineers
Electric potential
Design

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Varró, D. (2016). Incremental queries and transformations: From concepts to industrial applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9587, pp. 51-59). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9587). Springer Verlag. https://doi.org/10.1007/978-3-662-49192-8_5

Incremental queries and transformations : From concepts to industrial applications. / Varró, D.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9587 Springer Verlag, 2016. p. 51-59 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9587).

Research output: Conference contribution

Varró, D 2016, Incremental queries and transformations: From concepts to industrial applications. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 9587, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9587, Springer Verlag, pp. 51-59, 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, Harrachov, Czech Republic, 1/23/16. https://doi.org/10.1007/978-3-662-49192-8_5
Varró D. Incremental queries and transformations: From concepts to industrial applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9587. Springer Verlag. 2016. p. 51-59. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-662-49192-8_5
Varró, D. / Incremental queries and transformations : From concepts to industrial applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9587 Springer Verlag, 2016. pp. 51-59 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{fbc8022f93a34377b5b7d1b2e1853c85,
title = "Incremental queries and transformations: From concepts to industrial applications",
abstract = "Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain. Behind the scenes, design and verification tools in these domains frequently exploit advanced model query and transformation techniques to support various rich tool features. The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model changes caused by systems engineers or automated design steps. In this paper, I overview two open source Eclipse projects, EMF-IncQuery and Viatra, which have been actively used as a basis for developing various academic and industrial tools for critical systems.",
keywords = "Incremental evaluation, Model queries, Model transformations, Reactive programming, Software tool qualification",
author = "D. Varr{\'o}",
year = "2016",
doi = "10.1007/978-3-662-49192-8_5",
language = "English",
isbn = "9783662491911",
volume = "9587",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "51--59",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Incremental queries and transformations

T2 - From concepts to industrial applications

AU - Varró, D.

PY - 2016

Y1 - 2016

N2 - Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain. Behind the scenes, design and verification tools in these domains frequently exploit advanced model query and transformation techniques to support various rich tool features. The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model changes caused by systems engineers or automated design steps. In this paper, I overview two open source Eclipse projects, EMF-IncQuery and Viatra, which have been actively used as a basis for developing various academic and industrial tools for critical systems.

AB - Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain. Behind the scenes, design and verification tools in these domains frequently exploit advanced model query and transformation techniques to support various rich tool features. The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model changes caused by systems engineers or automated design steps. In this paper, I overview two open source Eclipse projects, EMF-IncQuery and Viatra, which have been actively used as a basis for developing various academic and industrial tools for critical systems.

KW - Incremental evaluation

KW - Model queries

KW - Model transformations

KW - Reactive programming

KW - Software tool qualification

UR - http://www.scopus.com/inward/record.url?scp=84956602879&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84956602879&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-49192-8_5

DO - 10.1007/978-3-662-49192-8_5

M3 - Conference contribution

AN - SCOPUS:84956602879

SN - 9783662491911

VL - 9587

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 51

EP - 59

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -