Specifying Software Systems with High Internal Concurrency Based on Actor Formalism

スポンサーリンク

概要

• 論文の詳細を見る

• A specification technique for communicating parallel processes and concurrent computations based on actor formalism is presented. The use of a notion of states of actors (processes or modules) together with the partial ordering among events is central in our technique. This technique is not only powerful in specifying the behaviours of individual communicating parallel modules, but also powerful in specifying and verifying the behaviors of software systems, such as operating systems, which are characterized by concurrent activities of their subsystems. Some of its apllications to an existing operafing system are described in the Appendix. A method of defining states of individual actors (processes or modules) as mathematical functions is suggested.

• 一般社団法人情報処理学会の論文
• 1980-02-29

著者

• Yonezawa Akinori

  Dept. Of Information Science Tokyo Institute Of Technology

• Yonezawa Akinori

  Dept. Of Information Science Faculty Of Science The University Of Tokyo

関連論文

• A Method for Synthesizing Data Retrieving Programs
• A Comparison of Parallel α-β Search Algorithms
• A Method for Synthesis of Data Base Access Programs (Mathematical Methods in Software Science and Engineering : Second Conference)
• Specifying Software Systems with High Internal Concurrency Based on Actor Formalism

スポンサーリンク