相互交信系のモデル「インタラクティブ・オートマタ・システム」

概要

論文の詳細を見る
As the result of recent growth of multiple environments in the computer system, the problem ofinteraction between independent components, such as parallel processes and distributed devices, has become of great importance. In this paper, a model for such communicating concurrent systems, called 'Interactive automata System', is presented and its applicability to the behavioral analysis of thesystem is shown. This model is composed of communicating Moore-type finite automata, and the nondeterministic system behavior is defined to accommodate the nondeterministic specification of the systemstate-transition, interactive signals and the input sequences from the outer environment. As a consequence, we can formalize various kinds of asynchronously communicating systems as well as synchronous ones, both in software and hardware. Then, by using the analysis algorithm, we can obtain all possible behaviors of the system in the form of detected graph, at a time, given the multiple input sequences expressed also in directed graphs.
一般社団法人情報処理学会の論文
1976-05-15