Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling
This paper presents our preliminary results developing an incremental query and transformation engine for our modeling framework. Our prior framework combined $\texttt{WebGME}$, a cloud-based collaborative modeling tool, with $\texttt{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 $\textit{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 $\texttt{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.
Mon 18 OctDisplayed time zone: Central Time (US & Canada) change
10:50 - 12:10 | Verification and validation, ToolingDSM at Zurich F Chair(s): Matti Rossi Aalto University School of Business Verification and validation with DSM, Tool development, Workshop summary and discussion | ||
10:50 20mTalk | Co-designing DSL Quality Assurance Measures for and with Non-programming Experts DSM Holger Borum IT University of Copenhagen, Christoph Seidl IT University of Copenhagen, Peter Sestoft IT University of Copenhagen DOI | ||
11:10 20mTalk | Integration of Modeling and Verification for System Model Based on KARMA Language DSM Jie Ding Beijing Institute of Technology, Michel Reniers Eindhoven University of Technology, Jinzhi Lu EPFL, Guoxin Wang Beijing Institute of Technology, Lei Feng KTH, Dimitris Kiritsis EPFL DOI | ||
11:30 20mTalk | Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling DSM Qishen Zhang Vanderbilt University, Daniel Balasubramanian Vanderbilt University, Tamas Kecskes Vanderbilt University, Janos Sztipanovits Vanderbilt University DOI | ||
11:50 20mOther | Discussion and summary DSM Jonathan Sprinkle University of Arizona, Matti Rossi Aalto University School of Business, Jeff Gray University of Alabama, Juha-Pekka Tolvanen MetaCase |