Models 2020 article by Beata Herskovics

IncQuery Labs wins the MODELS MIP Most influential Paper of the MODELS Conference

Social Media posts: We are attending the Models 2020 Conference. Check out their program and see you there!

Find us at the Models 2020 Conference. Master your knowledge in model checking and validation with IncQuery Labs. Follow the presentation of István Ráth, our CEO, about Model checking and validation with OpenMBEE and the IncQuery Suite on the Models 2020 Conference on 20th Oct, 11:30 - 12:00.

Unleash your power in model management in low-code platforms. Ákos Horváth our CTO/COO and Benedek Horváth, our research expert have intriguing research with Manuel Wimmer, Univ.-Prof. Mag. Dr. at JKU University towards the next generation of reactive model transformations on low-code platforms. Check out our talk on 19th Oct, 11:00 - 12:30.

Post after the award-ceremony: We are happy to announce that IncQuery Labs won the MODELS MIP Most Influential Paper of the MODELS Conference on the Models 2020 Conference. Learn more about our research and presentations at the event.

The article: IncQuery Labs wins the MODELS MIP Most Influential Paper of the MODELS Conference We are pleased to announce that IncQuery Labs won the MODELS MIP Most Influential Paper of the MODELS Conference award with the research article of the Incremental Evaluation of Model Queries over EMF Models, written by István Ráth, Ákos Horváth, Dániel Varró, Gábor Bergmann, András Balogh, Zoltán Balogh, and András Ökrös.

This year the 23rd International Conference on Model-Driven Engineering languages and Systems was organized on the 16-23th October, supported by ACM SIGSOFT and IEEE TCSE. The yearly-run conference, the main topics being model-driven software and systems engineering, is a highly prestigious, A-core-ranked event and welcomes attendees with diverse backgrounds including researchers, academics, engineers, and industrial professionals.

MODELS 2020 is not just an event, but a forum for exchanging cutting-edge research results and innovative practical experiences around modeling and model-driven software and systems.

This year’s edition provided an opportunity for the modeling community to further advance the foundations of modeling, and come up with innovative applications of modeling in emerging areas of cyber-physical systems, embedded systems, socio-technical systems, cloud computing, big data, machine learning, security, open-source, and sustainability.

It is traditional to choose a paper written from the prior decade, which has a revolutionary impact on the industrial and academic world. This year, the winning article was chosen among 54 other impressive submissions by the board of Models Conference consisting of senior researchers.

Our research has been referred to in widely academic circles by researchers and the method was used in various industrial areas such as the automotive, aerospace, and space industries.

Many research groups used this article as a comparison with other modern trends, like developing new algorithms. This research is adapted by internationally well-known researchers such as Jordi Cabot, Dimitris Kolovos, Holger Giese, Andy Schürr, and many more.

In this paper, our researchers proposed a declarative EMF model query framework using the graph pattern formalism as the query specification language. These graph patterns describe the arrangement and properties of model elements that correspond to a well-formed constraint, or an application context of a model transformation rule. As a result, query operations can be executed instantly, independently of the complexity of the constraint and the size of the model.

The authors demonstrated this approach in an industrial (AUTOSAR) model validation context and compared it against other solutions.

This research was fundamental to building up IncQuery Suite, a scalable query evaluation platform that is specifically tailored to large and complex model management projects, applicable to several domains including aerospace systems engineering, automotive software architecture, and many others. With IncQuery Suite, you can build and deploy cloud-based validation and analytics solutions that can process entire repositories with several orders of magnitude faster than traditional engineering tools or database systems.

The productivity of systems depends on tool scalability. Active validation is especially important in safety-critical domains, where live results enable the engineers to focus on understanding what needs to be corrected in the model before errors are propagated further in the toolchain.

As the paper impressed the industry, our colleagues gave presentations and workshops about various topics in related fields on Models 2020. Model-checking and validation with OpenMBEE and the IncQuery Suite were presented by István Ráth (CEO, IncQuery Labs). Benedek Horváth (Researcher, IncQuery LAbs), Ákos Horváth (CTO/ COO, IncQuery Labs) and Manuel Wimmer (Univ.-Prof. Mag. Dr. at JKU University) held a workshop about Towards the Next Generation of Reactive Model Transformations on Low-Code Platforms: Three Research Lines. Dániel Varró (Research expert, IncQuery Labs) gave talks about The Automated Model Generation Challenge for the Assurance of Cyber-Physical System, Automated Video Game World Map Synthesis by Model-Based Techniques, Automated Generation of Consistent Models with Structural and Attribute Constraints, Mixed-semantics composition of statecharts for the component-based design of reactive systems.

You can read the research here.

Learn more about the IncQuery Suite here.