Differential-FORMULA: towards a semantic backplane for incremental modeling
Authors: 
Qishen Zhang, Daniel Balasubramanian, Tamas Kecskes, Janos SztipanovitsAuthors Info & Claims
Qishen Zhang, Daniel Balasubramanian, Tamas Kecskes, Janos SztipanovitsAuthors Info & ClaimsPages 51 - 60
Abstract
This paper presents our preliminary results developing an incremental query and transformation engine for our modeling framework. Our prior framework combined WebGME, a cloud-based collaborative modeling tool, with FORMULA, a language and tool for specifying and analyzing domain-specific modeling languages. While this arrangement has been successful for defining non-trivial languages in domains like CPS, one ongoing challenge is the scalability of executing model queries and transformations on large models. The inherent incremental nature of the modeling process exacerbates this scalability issue: model queries and transformations are repeatedly performed on incrementally updated models. To address this issue, we are developing an incremental version of FORMULA that can perform efficient model queries and transformations in the face of continual model updates. This paper describes our experiences designing this incremental version, including the challenges we faced and design decisions. We also report encouraging benchmark results.
References
[1]
Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, and Damien Zufferey. 2013. P: safe asynchronous event-driven programming. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’13, Seattle, WA, USA, June 16-19, 2013, Hans-Juergen Boehm and Cormac Flanagan (Eds.). ACM, 321–332. https://doi.org/10.1145/2491956.2462184
[2]
Ethan K. Jackson. 2013. Engineering domain-specific languages with formula 2.0. In Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, Jeff Boleng and S. Tucker Taft (Eds.). ACM, 3–4. https://doi.org/10.1145/2527269.2527286
[3]
Ethan K. Jackson, Nikolaj Bjørner, and Wolfram Schulte. 2011. Canonical Regular Types. In Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA, John P. Gallagher and Michael Gelfond (Eds.) (LIPIcs, Vol. 11). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 73–83. https://doi.org/10.4230/LIPIcs.ICLP.2011.73
[4]
Ethan K. Jackson, Tihamer Levendovszky, and Daniel Balasubramanian. 2015. Automatically reasoning about metamodeling. Softw. Syst. Model., 14, 1 (2015), 271–285. https://doi.org/10.1007/s10270-013-0315-y
[5]
Ethan K. Jackson and Wolfram Schulte. 2013. FORMULA 2.0: A language for formal specifications. 156–206. isbn:9783642397202 issn:03029743 https://doi.org/10.1007/978-3-642-39721-9_4
[6]
Eunsuk Kang, Ethan K. Jackson, and Wolfram Schulte. 2010. An Approach for Effective Design Space Exploration. In Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Radu Calinescu and Ethan K. Jackson (Eds.) (Lecture Notes in Computer Science, Vol. 6662). Springer, 33–54. https://doi.org/10.1007/978-3-642-21292-5_3
[7]
Tamás Kecskés, Qishen Zhang, and Janos Sztipanovits. 2017. Bridging Engineering and Formal Modeling: WebGME and Formula Integration. In Proceedings of MODELS 2017 Satellite Event: Workshops (CEUR Workshop Proceedings, Vol. 2019). CEUR-WS.org, 280–285. http://ceur-ws.org/Vol-2019/gemoc_1.pdf
[8]
Steve Klabnik and Carol Nichols. 2019. The Rust Programming Language (Covers Rust 2018). No Starch Press.
[9]
Miklós Maróti, Tamás Kecskés, Róbert Kereskényi, Brian Broll, Péter Völgyesi, László Jurácz, Tihamer Levendovszky, and Ákos Lédeczi. 2014. Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure. In Proceedings of the 8th Workshop on Multi-Paradigm Modeling (CEUR Workshop Proceedings, Vol. 1237). CEUR-WS.org, 41–60. http://ceur-ws.org/Vol-1237/paper5.pdf
[10]
Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, and Martín Abadi. 2013. Naiad: a timely dataflow system. In ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP ’13, Farmington, PA, USA, November 3-6, 2013, Michael Kaminsky and Mike Dahlin (Eds.). ACM, 439–455. https://doi.org/10.1145/2517349.2522738
[11]
Grigore Roșu and Traian Florin Șerbănută. 2010. An overview of the K semantic framework. The Journal of Logic and Algebraic Programming, 79, 6 (2010), 397–434.
[12]
Leonid Ryzhyk and Mihai Budiu. 2019. Differential datalog. 56–67. issn:16130073 http://ceur-ws.org/Vol-2368/paper6.pdf
[13]
Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, and Markus Voelter. 2018. Incrementalizing lattice-based program analyses in Datalog. Proceedings of the ACM on Programming Languages, 2, OOPSLA (2018), 1–29.
[14]
Janos Sztipanovits, Ted Bapty, Xenofon D. Koutsoukos, Zsolt Lattmann, Sandeep Neema, and Ethan K. Jackson. 2018. Model and Tool Integration Platforms for Cyber-Physical System Design. Proc. IEEE, 106, 9 (2018), 1501–1526. https://doi.org/10.1109/JPROC.2018.2838530
[15]
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, and Ethan K. Jackson. 2014. OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. In From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, Saddek Bensalem, Yassine Lakhnech, and Axel Legay (Eds.) (Lecture Notes in Computer Science, Vol. 8415). Springer, 235–248. https://doi.org/10.1007/978-3-642-54848-2_16
[16]
Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon D. Koutsoukos, and Ethan K. Jackson. 2015. Design tool chain for cyber-physical systems: lessons learned. In Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015. ACM, 81:1–81:6. https://doi.org/10.1145/2744769.2747922
[17]
Janos Sztipanovits and Gabor Karsai. 1997. Model-Integrated Computing. Computer, 30, 4 (1997), 110–111. https://doi.org/10.1109/2.585163
[18]
Dániel Varró and András Balogh. 2007. The model transformation language of the VIATRA2 framework. Science of Computer Programming, 68, 3 (2007), 214–234.
Index Terms
- Differential-FORMULA: towards a semantic backplane for incremental modeling
Recommendations
Incremental execution of model-to-text transformations using property access traces
Automatic generation of textual artefacts (including code, documentation, configuration files, build scripts, etc.) from models in a software development process through the application of model-to-text (M2T) transformation is a common MDE activity. ...
Collaborative modeling with semantic MediaWiki
WikiSym '10: Proceedings of the 6th International Symposium on Wikis and Open CollaborationModeling is an important aspect of information system development, allowing for abstract descriptions of systems and processes. Therefore, models are often characterized as communication artifacts between different stakeholders in a development process. ...
Incremental semantic analysis for OCL compilers
In software engineering, modeling with unified modeling language and object constraint language became industry standards and are supported by many computer-aided software engineering tools. The increasing number of the modeled functionalities results ...
Comments
Information & Contributors
Information
Published In
October 2021
60 pages
ISBN:9781450391061
DOI:10.1145/3486603
- Program Chairs:
- Jeff Gray,
- Matti Rossi,
- Jonathan Sprinkle,
- Juha-Pekka Tolvanen
Copyright © 2021 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 18 October 2021
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
SPLASH '21
Sponsor:
Acceptance Rates
Overall Acceptance Rate 31 of 50 submissions, 62%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 54Total Downloads
- Downloads (Last 12 months)8
- Downloads (Last 6 weeks)0
Reflects downloads up to 10 Aug 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in