{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:54:50Z","timestamp":1750308890998,"version":"3.41.0"},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1982,7,1]],"date-time":"1982-07-01T00:00:00Z","timestamp":394329600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[1982,7]]},"abstract":"<jats:p>Processes in computer systems are often intimately involved with various data abstractions that occur in the systems. The specification of such processes should state the nature of this involvement. This note focuses on a special kind of process, called a realization process, and its specification because it appears to capture the interplay between concurrency and abstraction in a natural way. A realization process has two important properties: it is &lt;u&gt;transparent&lt;\/u&gt; to the abstract space and it is &lt;u&gt;serializable&lt;\/u&gt; with processes at the abstract level. Transparency and serializability are the main specifications of realization processes. These concepts are illustrated by an example of the kind of realization processes found in actual computer systems which serves to motivate the discussion.<\/jats:p>","DOI":"10.1145\/1010904.1010908","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T23:30:10Z","timestamp":1090452610000},"page":"16-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Use of data abstraction in process specification"],"prefix":"10.1145","volume":"7","author":[{"given":"Franklyn T.","family":"Bradshaw","sequence":"first","affiliation":[{"name":"Case Western Reserve University, Cleveland, OH"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George W.","family":"Ernst","sequence":"additional","affiliation":[{"name":"Case Western Reserve University, Cleveland, OH"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond J.","family":"Hookway","sequence":"additional","affiliation":[{"name":"Case Western Reserve University, Cleveland, OH"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1982,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/357103.357110"},{"key":"e_1_2_1_2_1","volume-title":"Report No. ESCI-79-1, Computer Engineering and Science Dept.","author":"Bradshaw F. T.","year":"1979","unstructured":"Bradshaw , F. T. and Ernst , G. W. , Formal Specifications of a Layer in a File System , Report No. ESCI-79-1, Computer Engineering and Science Dept. , Case Western Reserve Univ. , 1979 . Bradshaw, F. T. and Ernst, G. W., Formal Specifications of a Layer in a File System, Report No. ESCI-79-1, Computer Engineering and Science Dept., Case Western Reserve Univ., 1979."},{"key":"e_1_2_1_3_1","volume-title":"Report No. CES-82-1, Computer Engineering & Science Dept.","author":"Ernst G. W.","year":"1982","unstructured":"Ernst , G. W. , A Method for Verifying Concurrent Processes , Report No. CES-82-1, Computer Engineering & Science Dept. , Case Western Reserve Univ. , 1982 . Ernst, G. W., A Method for Verifying Concurrent Processes, Report No. CES-82-1, Computer Engineering & Science Dept., Case Western Reserve Univ., 1982."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/357114.357117"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647639.733223"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360224"},{"key":"e_1_2_1_8_1","volume-title":"Principles of Database Systems","author":"Ullman J. D.","year":"1980","unstructured":"Ullman , J. D. , Principles of Database Systems , Computer Science Press , 1980 . Ullman, J. D., Principles of Database Systems, Computer Science Press, 1980."},{"key":"e_1_2_1_9_1","first-page":"3","volume-title":"Software--Practice and Experience","author":"Wirth N.","year":"1977","unstructured":"Wirth , N. , Modula : A Language for Modular Multiprogramming , Software--Practice and Experience , Jan. , 1977 , pp. 3 -- 35 . Wirth, N., Modula: A Language for Modular Multiprogramming, Software--Practice and Experience, Jan., 1977, pp. 3--35."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010904.1010908","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1010904.1010908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:25:41Z","timestamp":1750281941000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010904.1010908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,7]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1982,7]]}},"alternative-id":["10.1145\/1010904.1010908"],"URL":"https:\/\/doi.org\/10.1145\/1010904.1010908","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1982,7]]},"assertion":[{"value":"1982-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}