SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 09:40 - 10:20 at SPLASH-IV - Session 1 Chair(s): Ivan Perez

Persistent signals provide a convenient abstraction for time-varying values with their execution histories by implicitly leaving the management of execution histories to the database system. The current design of persistent signals is very rudimental. For example, they do not provide abstractions for representing complex data structures, and they can only be connected using API methods prepared in advance. To make matters worse, dynamic creation of persistent signals is not allowed. In this paper, we show that these problems can be addressed by introducing a new language mechanism called \emph{signal classes}. A signal class packages a network of related persistent signals that comprises a complex data structure. A signal class can be instantiated dynamically, and this instance is considered a ``small world,'' where all signals within it are synchronous. We further show that this synchronous world makes it easy to realize persistent signal networks connected by expressions that are not limited to the API methods. This dynamic creation of signal class instances is managed by a simple lifecycle model where both dynamic lifecycle events and persistency are defined.

Paper (2020-Kamina-REBLS.pdf)440KiB

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
Session 1REBLS at SPLASH-IV
Chair(s): Ivan Perez NIA / NASA Formal Methods
09:00
40m
Research paper
Debugging RxJS-based Applications
REBLS
Manuel Alabor University of Applied Sciences of Eastern Switzerland (OST)
File Attached
09:40
40m
Talk
Managing Persistent Signals using Signal Classes
REBLS
Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology
File Attached