Modeling restrictive processes that involve blocking requests

摘要

A decomposition method is given for showing restrictiveness that supports shared resource handling. The author splits a process into two subprocesses representing the server and client. The client process may request information and block until the information is sent. The server process will provide information when requested. This kind of method supports a natural way of expressing models using a shared resource such as file system. The author presents both the theoretical basis for the method as well as how it can be practically applied.