Towards the next generation of reactive model transformations on low-code platforms: three research lines

Low-Code Development Platforms have emerged as the next-generation, cloud-enabled collaborative platforms. These platforms adopt the principles of Model-Driven Engineering, where models are used as first-class citizens to build complex systems, and model transformations are employed to keep a consistent view between the different aspects of them. Due to the online nature of low-code platforms, users expect them to be responsive, to complete complex operations in a short time. To support such complex collaboration scenarios, the next-generation of low-code platforms must (i) offer a multi-tenant environment to manage the collaborative work of engineers, (ii) provide a model processing paradigm scaling up to hundreds of millions of elements, and (iii) provide engineers a set of selection criteria to choose the right model transformation engine in multi-tenant execution environments. In this paper, we outline three research lines to improve the performance of reactive model transformations on low-code platforms, by motivating our research with a case study from a systems engineering domain.

[1]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[2]  Antonio Vallecillo,et al.  LinTraP: Primitive Operators for the Execution of Model Transformations with LinTra , 2014, BigMDE@STAF.

[3]  Ákos Horváth,et al.  Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework , 2016, Software & Systems Modeling.

[4]  István Ráth,et al.  Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations , 2014, BigMDE@STAF.

[5]  Jordi Cabot,et al.  Lazy execution of model-to-model transformations , 2011, MODELS'11.

[6]  Dániel Varró,et al.  Property-Based Locking in Collaborative Modeling , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[7]  Kevin Forsberg,et al.  Visualizing project management : models and frameworks for mastering complex systems , 2005 .

[8]  Dániel Varró,et al.  The Train Benchmark: cross-technology performance evaluation of continuous model queries , 2017, Software & Systems Modeling.

[9]  Antonio Vallecillo,et al.  Parallel In-place Model Transformations with LinTra , 2015, BigMDE@STAF.

[10]  Hassan Charaf,et al.  A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS , 2005, GraBaTs.

[11]  Ning Wang,et al.  A Transparent Approach of Enabling SaaS Multi-tenancy in the Cloud , 2010, 2010 6th World Congress on Services.

[12]  Werner Retschitzegger,et al.  A Survey on Incremental Model Transformation Approaches , 2013, ME@MoDELS.

[13]  Ákos Horváth,et al.  Incremental evaluation of model queries over EMF models , 2010, MODELS'10.

[14]  Salvador Martínez Perez,et al.  Reactive model transformation with ATL , 2017, Sci. Comput. Program..

[15]  Juan de Lara,et al.  Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms , 2019, STAF.

[16]  Frank Leymann,et al.  Cloud Computing Patterns: Fundamentals to Design, Build, and Manage Cloud Applications , 2014 .

[17]  Frank Leymann,et al.  Cloud Computing Patterns , 2014, Springer Vienna.

[18]  Marc Shapiro,et al.  Conflict-Free Replicated Data Types , 2011, SSS.

[19]  Tihamer Levendovszky,et al.  Towards truly parallel model transformations: A distributed pattern matching approach , 2009, IEEE EUROCON 2009.

[20]  Pierre David,et al.  Reliability study of complex physical systems using SysML , 2010, Reliab. Eng. Syst. Saf..

[21]  Arend Rensink,et al.  How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach , 2017, SETTA.

[22]  Ákos Horváth,et al.  Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories , 2018, MoDELS.

[23]  Rémi Douence,et al.  Lazy Evaluation for OCL , 2015, OCL@MoDELS.

[24]  Frédéric Jouault,et al.  Efficient ATL Incremental Transformations , 2019, J. Object Technol..

[25]  Dániel Varró,et al.  A research roadmap towards achieving scalability in model driven engineering , 2013, BigMDE '13.

[26]  Richard F. Paige,et al.  Grand challenges in model-driven engineering: an analysis of the state of the research , 2020, Software and Systems Modeling.

[27]  Dániel Varró,et al.  IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud , 2014, MoDELS.

[28]  Dániel Varró,et al.  Benchmarking for graph transformation , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[29]  Salvador Martínez Perez,et al.  Parallel Execution of ATL Transformation Rules , 2013, MoDELS.

[30]  Wei-Tek Tsai,et al.  Multi-tenant Verification-as-a-Service (VaaS) in a cloud , 2016, Simul. Model. Pract. Theory.

[31]  Ákos Horváth,et al.  Viatra 3: A Reactive Model Transformation Platform , 2015, ICMT.

[32]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[33]  Dániel Varró,et al.  Survey and classification of model transformation tools , 2018, Software & Systems Modeling.

[34]  Dániel Varró,et al.  MONDO-SAM: A Framework to Systematically Assess MDE Scalability , 2014, BigMDE@STAF.

[35]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[36]  David Sun,et al.  Real Differences between OT and CRDT in Correctness and Complexity for Consistency Maintenance in Co-Editors , 2019, Proc. ACM Hum. Comput. Interact..

[37]  Dániel Varró,et al.  Graph Transformation and Visual Modeling Techniques ( GT-VMT 2009 ) Parallelization of Graph Transformation Based on Incremental Pattern Matching , 2009 .

[38]  Jordi Cabot,et al.  Distributed model-to-model transformation with ATL on MapReduce , 2015, SLE.

[39]  István Majzik,et al.  Theta: A framework for abstraction refinement-based model checking , 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).

[40]  Thomas A. Henzinger,et al.  Handbook of Model Checking , 2018, Springer International Publishing.

[41]  Frank Leymann,et al.  Horizontal and vertical combination of multi-tenancy patterns in service-oriented applications , 2011, Enterp. Inf. Syst..

[42]  Wolfgang De Meuter,et al.  A survey on reactive programming , 2013, CSUR.

[43]  Richard F. Paige,et al.  Towards Optimisation of Model Queries: A Parallel Execution Approach , 2019, J. Object Technol..

[44]  Manuel Wimmer,et al.  A Benchmark for Conflict Detection Components of Model Versioning Systems , 2013, Softwaretechnik-Trends.

[45]  Mehrdad Sabetzadeh,et al.  Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience , 2011, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.

[46]  Antonio Vallecillo,et al.  A Linda-based platform for the parallel execution of out-place model transformations , 2016, Inf. Softw. Technol..

[47]  Frank Leymann,et al.  Combining Different Multi-tenancy Patterns in Service-Oriented Applications , 2009, 2009 IEEE International Enterprise Distributed Object Computing Conference.