TY - JOUR
T1 - ALGEBRAIC SPECIFICATIONS OF A FILE MANAGEMENT SYSTEM-REPRESENTATION OF SYNCHRONIZATION MECHANISMS.
AU - Sugiyama, Yuji
AU - Kasami, Tadao
AU - Okui, Jun
PY - 1983/1/1
Y1 - 1983/1/1
N2 - Two algebraic specifications, System-0 and File-system, of a sequential-file management system are presented at two different levels of abstraction and their relations are discussed. File-system is written as an extension of System-0 in the sense that reading (or writing) a record from (or to) a file is an indivisible operation in the latter, but not in the former. In File-system synchronization mechanisms of read, write and wait requests are described. It is shown that File-system is equivalent to System-0 with respect to the user processes' view if user buffers are used 'sequentially. ' It is shown also that the axioms are 'consistent' and in a sense 'sufficiently complete. '
AB - Two algebraic specifications, System-0 and File-system, of a sequential-file management system are presented at two different levels of abstraction and their relations are discussed. File-system is written as an extension of System-0 in the sense that reading (or writing) a record from (or to) a file is an indivisible operation in the latter, but not in the former. In File-system synchronization mechanisms of read, write and wait requests are described. It is shown that File-system is equivalent to System-0 with respect to the user processes' view if user buffers are used 'sequentially. ' It is shown also that the axioms are 'consistent' and in a sense 'sufficiently complete. '
UR - http://www.scopus.com/inward/record.url?scp=0020496593&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0020496593&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0020496593
SN - 0096-8765
VL - 14
SP - 59
EP - 67
JO - Systems, computers, controls
JF - Systems, computers, controls
IS - 1
ER -