Name-passing style GUI programming in the π-calculus-based language Nepi

Authors:
Atsushi Mizuno;Ken Mano;Yoshinobu Kawabe;Hiroaki Kuwabara;Kiyoshi Agusa;Shoji Yuen
Affiliations:
Graduate School of Information Science, Nagoya University, 1 Furo-cho, Chikusa-ku, Nagoya-shi, Aichi, 464-8603, Japan;NTT Communication Science Labs., NTT Corp., 3-1, Morinosato Wakamiya, Atsugi-shi, Kanagawa 243-0198 Japan;NTT Communication Science Labs., NTT Corp., 3-1, Morinosato Wakamiya, Atsugi-shi, Kanagawa 243-0198 Japan;Graduate School of Information Science, Nagoya University, 1 Furo-cho, Chikusa-ku, Nagoya-shi, Aichi, 464-8603, Japan;Graduate School of Information Science, Nagoya University, 1 Furo-cho, Chikusa-ku, Nagoya-shi, Aichi, 464-8603, Japan;Graduate School of Information Science, Nagoya University, 1 Furo-cho, Chikusa-ku, Nagoya-shi, Aichi, 464-8603, Japan and JST PRESTO. 4-1-8, Kawaguchi-honmachi, Kawaguchi, 332-0012, Japan
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 5
Cited 0

A multi-threaded higher-order user interface toolkit

User interface software
Objects in the &pgr;-calculus

Information and Computation
Nomadic Pict: Language and Infrastructure Design for Mobile Agents

IEEE Concurrency
The Nepi Network Programming System: A Programming Environment for Distributed Systems

NCA '04 Proceedings of the Network Computing and Applications, Third IEEE International Symposium
Concurrent Programming in ML

Concurrent Programming in ML

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper describes name-passing style Graphic User Interface (GUI) programming in the programming language Nepi whose operational semantics is based on the rendezvous-style name-passing communication of the @p-calculus. Nepi is able to have timed behavior by combining the wait prefix with the external choice. We model GUI programs by using channel-based behavioral characterization. We propose a pair of extended syntax elements '?g' and '!g' in Nepi to generate and terminate graphic components. The graphic components are accompanied by event handling processes that convert an event to specified name-passing. In the extended Nepi, a GUI program is described as the composition of graphic components, event handling processes, and function processes that implement the real function. We present an implementation of a GUI extension for Nepi programming language on Allegro Common Lisp to illustrate the features of name-passing style GUI programming in Nepi with examples. Finally, we discuss a formal treatment and verification technique based on the extended reduction semantics of Nepi.