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
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 10:20: Session 1REBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
09:00 - 09:40
Research paper
REBLS
Manuel AlaborUniversity of Applied Sciences of Eastern Switzerland (OST)
File Attached
09:40 - 10:20
Talk
REBLS
Tetsuo KaminaOita University, Tomoyuki AotaniMamezou Co.,Ltd., Hidehiko MasuharaTokyo Institute of Technology
File Attached