Generating Interactive WebSocket Applications in TypeScript

Abstract

Advancements in mobile device computing power have made interactive web applications possible, allowing the web browser to render contents dynamically and support low-latency communication with the server. This comes at a cost to the developer, who now needs to reason more about correctness of communication patterns in their application as web applications support more complex communication patterns.Multiparty session types (MPST) provide a framework for verifying conformance of implementations to their prescribed communication protocol. Existing proposals for applying the MPST framework in application developments either neglect the event-driven nature of web applications, or lack compatibility with industry tools and practices, which discourages mainstream adoption by web developers.In this paper, we present an implementation of the MPST framework for developing interactive web applications using familiar industry tools using TypeScript and the React.js framework. The developer can use the Scribble protocol language to specify the protocol and use the Scribble toolchain to validate and obtain the local protocol for each role. The local protocol describes the interactions of the global communication protocol observed by the role. We encode the local protocol into Type-Script types, catering for server-side and client-side targets separately. We show that our encoding guarantees that only implementations which conform to the protocol can type-check. We demonstrate the effectiveness of our approach through a web-based implementation of the classic Noughts and Crosses game from an MPST formalism of the game logic.

Implementasi Dashboard Reporting Websocket dengan Event Regression Test Berbasis Web Menggunakan Algoritma FIFO

“…A. Miu, F. Ferreira, N. Yoshida, and F. Zhou (2020), penelitian ini menggunakan metode MPST workflow, hasil penelitian ini menunjukan bahwa websocket bisa digunakan menggunakan Bahasa TypeScript dengan MPST Framework akan tetapi masih ada kekurangan yaitu server harus menggunakan asynchronous dalam menerima pesan. penelitian pada artikel ini tidak membangun dashboard reporting dan masih melakukan pengujian manual [11]. Sedangkan artikel pada penelitian ini melakukan membangun dashboard reporting dengan pengujian automation menggunakan regression test serta menerapkan algoritma FIFO (First In First Out) untuk memproses data yang akan diuji.…”

Design and Development of Online Collaborative Learning Platform of Kit-Build Concept Map

“…It was was introduced as one of HTML5 technology standard for active content delivery over the Internet through full-duplex communication channels [31]. Delivering real-time information and constant changes to a client, such as collaborative working systems [32][33][34] and online games [35,36], requires a persistent socket connection between client and server. In a classic client-server web application, real-time complex communication was difficult to achieve without having users constantly poll requests to retrieve the updated information [37].…”

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

“…The key benefit of MPST is to guarantee statically that the components of a program have compatible behaviours, and thus no components can get permanently stuck. Many implementations of MPST in different programming languages have been proposed in the last decade [2,4,6,10,12,[16][17][18]20,23], however, all suffer from a notable shortcoming: they require programmers to adopt a topdown approach that does not fit well in modern development practices. When changes are frequent and continual (e.g., continuous delivery), re-designing the program and its specification at every change is not feasible.…”