Office Information Systems and Computer Science

Automated office systems are emerging as an interdisciplinary research area with a strong computer science component. In this paper office information systems are defined as entities which perform document storage, retrieval, manipulation, and control within a distributed environment. Some state-of-the-art implementations are described. The research is related to different areas of computer science and several detailed examples are provided.

[1]  Gerald Estrin,et al.  Concurrent software system design supported by SARA at the age of one , 1978, ICSE '78.

[2]  Henry Lieberman,et al.  Specifying and Proving Properties of Guardians for Distributed Systems , 1979, Semantics of Concurrent Computation.

[3]  Robert H. Thomas,et al.  A Majority consensus approach to concurrency control for multiple copy databases , 1979, ACM Trans. Database Syst..

[4]  D. Austin Henderson,et al.  Issues in message technology , 1977, SIGCOMM.

[5]  Alan Kay,et al.  Microelectronics and the Personal Computer , 1977 .

[6]  Henry C. Lucas,et al.  Performance Evaluation and Monitoring , 1971, CSUR.

[7]  Daniel H. H. Ingalls,et al.  The Smalltalk-76 programming system design and implementation , 1978, POPL.

[8]  Joel D. Aron.  Information Systems in Perspective , 1969, CSUR.

[9]  Robert F. Sproull,et al.  Principles in interactive computer graphics , 1973 .

[10]  Daniel Ingalls,et al.  The Smalltalk-76 Programming System. , 1978 .

[11]  K. Mani Chandy,et al.  Distributed Simulation: A Case Study in Design and Verification of Distributed Programs , 1979, IEEE Transactions on Software Engineering.

[12]  Bruce G. Buchanan,et al.  Heuristic DENDRAL - A program for generating explanatory hypotheses in organic chemistry. , 1968 .

[13]  Jack B. Dennis,et al.  A computer architecture for highly parallel signal processing , 1974, ACM '74.

[14]  Domenico Ferrari,et al.  Workload charaterization and Selection in Computer Performance Measurement , 1972, Computer.

[15]  SIDNEY L. HANTLER,et al.  An Introduction to Proving the Correctness of Programs , 1976, CSUR.

[16]  Hector Garcia-Molina.  Performance of update algorithms for replicated data in a distributed database , 1979 .

[17]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[18]  David P. Reed,et al.  Naming and synchronization in a decentralized computer system , 1978 .

[19]  Moshé M. Zloof.  Query by example , 1975, AFIPS '75.

[20]  Gene McDaniel,et al.  WFS a simple shared file system for a distributed environment , 1979, SOSP '79.

[21]  H ThomasRobert.  A Majority consensus approach to concurrency control for multiple copy databases , 1979 .

[22]  C. W. Rose,et al.  LOGOS and the software engineer , 1899, AFIPS '72 (Fall, part I).

[23]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[24]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[25]  Robert M. Metcalfe,et al.  Pup: An Internetwork Architecture , 1980, IEEE Trans. Commun..

[26]  Rob Kling,et al.  Social Analyses of Computing: Theoretical Perspectives in Recent Empirical Research , 1980, CSUR.

[27]  Robert H. Thomas,et al.  McROSS: a multi-computer programming system , 1972, AFIPS '72 (Spring).

[28]  L. S. Baumann,et al.  Automated workflow control: a key to office productivity , 1980, AFIPS '80.

[29]  Philip A. Bernstein,et al.  The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The General Case) , 1977 .

[30]  Daniel Teichroew,et al.  A survey of languages for stating requirements for computer-based information systems , 1972, AFIPS '72 (Fall, part II).

[31]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[32]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[33]  Moshé M. Zloof.  Query by example , 1899 .

[34]  Forest Baskett,et al.  Task communication in DEMOS , 1977, SOSP '77.

[35]  Warren Teitelman,et al.  A Display Oriented Programmer's Assistant , 1977, IJCAI.

[36]  Computer Graphics staff.  Status report of the graphic standards planning committee , 1979, COMG.

[37]  Suhas S. Patil,et al.  COORDINATION OF ASYNCHRONOUS EVENTS , 1970 .

[38]  Michael Hammer,et al.  A very high level programming language for data processing applications , 1977, Commun. ACM.

[39]  Peter J. Denning,et al.  Operating Systems Theory , 1973 .

[40]  Randal E. Bryant,et al.  SIMULATION OF PACKET COMMUNICATION ARCHITECTURE COMPUTER SYSTEMS , 1977 .

[41]  Clarence A. Ellis,et al.  Consistency and correctness of duplicate database systems , 1977, SOSP '77.

[42]  Eric G. Manning,et al.  Synchronization of Distributed Simulation Using Broadcast Algorithms , 1979, Comput. Networks.

[43]  G. W. Robinson,et al.  A multi‐terminal benchmark , 1973, Softw. Pract. Exp..

[44]  Gordon Bell,et al.  Ethernet: Distributed Packet Switching for Local Computer Networks , 1976 .

[45]  Michael D. Zisman,et al.  Representation, specification and automation of office procedures , 1977 .

[46]  Daniel A. Menascé,et al.  A locking protocol for resource coordination in distributed databases , 1978, SIGMOD Conference.

[47]  William H. Paxton.  A client-based transaction system to maintain data integrity , 1979, SOSP '79.

[48]  Eleanor Herasimchuk Wynn,et al.  Office conversation as an information medium , 1979 .

[49]  Howard Lee Morgan.  Office automation project: a research perspective , 1976, AFIPS '76.

[50]  Mario R. Schaffner.  Processing by Data and Program Blocks , 1978, IEEE Transactions on Computers.

[51]  William M. Taggart,et al.  A Survey of Information Requirements Analysis Techniques , 1977, CSUR.

[52]  Stephen R. Kimbleton,et al.  Computer Communication Networks: Approaches, Objectives, and Performance Considerations , 1975, CSUR.

[53]  David P. Reed,et al.  Synchronization with eventcounts and sequencers , 1979, CACM.