WSSE2023 Talk
Developing Distributed Systems with Multiparty Functional Reactive Programming
Sosuke Moriguchi & Takuo Watanabe
5th World Symposium on Software Engineering (WSSE 2023), Tokyo, Sep. 22-24, 2023.
Abstract
For distributed systems in Functional Reactive Programming (FRP), we have been interested in glitch avoidance. FRP describes systems by dataflow of time-varying values which are abstractions of values that change over time. A glitch is a kind of inconsistencies between time-varying values due to update timing. There are several researches for glitch avoidance and/or consistency of the values. Since distributed systems often assume no global clocks nor locks, the existing methods send many messages to ensure one of these properties. We propose a multi-party FRP language, named MPFRP. In MPFRP, we describe some parties of time-varying values for the distributed system. A party is a dataflow network whose time-varying values are updated consistently each other, but independently with those in other parties. The concept of parties gives us a flexible scope for ensuring consistency and minimizing messages.
Publication
Sosuke Moriguchi and Takuo Watanabe, Developing Distributed Systems with Multiparty Functional Reactive Programming, 5th World Symposium on Software Engineering (WSSE 2023), pp. 61-66, ACM, Sep., 2023. DOI: 10.1145/3631991.3632000
The full-text of this paper is available without charge via this page (thanks to ACM Author-Izer Service).