2024-03-29T10:16:56Z
https://nagoya.repo.nii.ac.jp/oai
oai:nagoya.repo.nii.ac.jp:00008662
2023-01-16T05:08:48Z
312:1037:1038
A FORMAL APPROACH TO RELIABLIE NETWORK SOFTWARE
Yuen, Shoji
24370
Imai, Keigo
24371
Suetsugu, Ryo
24372
Agusa, Kiyoshi
24373
We have been investigating communicating processes, where the primitive computation is synchronous communication between processes. A process is a "black box" to be identified only by observing communications with the environment. Various behavioral characterizations of communicating processes have been studied over the last couple of decades. The model is good for realizing concurrent behavior of network software. We realize the behavior of concurrent software based on equivalences as the fundamental semantics of programming languages with concurrent features. During the period of the COE project, we have investigated the following topics with the aime of improving the reliability of network software. (1)A meta algebraic framework defined by SOS(Structural Operational Semantics) for timed process calculi; (2)Web application modeling; (3)user interface behavioral modeling; (4)timed extension of a mobile calculus; (5)a network framework for functional programming language Haskell; and (6)behavioral modeling for embedded systems.
conference paper
INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE
2006-12
application/pdf
4th Symposium on "Intelligent Media Integration for Social Information Infrastructure" December 7-8, 2006
153
160
http://hdl.handle.net/2237/10413
https://nagoya.repo.nii.ac.jp/record/8662/files/p153-160_A_formal_approach_to_reliablie_network_software.pdf
eng