Transformation and Verification of Office Procedures

An office procedure is a structured set of office activities for accomplishing a specific office task. A unified model, called office procedure model (OPM), is presented to model office procedures. The OPM describes the relationships among messages, databases, alerters, and activities. The OPM can be used to coordinate and integrate the activities of an office procedure. The OPM also allows the specification of office protocols in an office information system. A methodology for the verification of office procedures is presented. With this methodology, potential problems in office procedure specification, such as deadlock, unspecified message reception, etc., can be analyzed effectively.

[1]  Robert H. Anderson,et al.  Rand Intelligent Terminal Agent (RITA): Design Philosophy , 1976 .

[2]  Robert M. Keller,et al.  Formal verification of parallel programs , 1976, CACM.

[3]  Eric K. Clemons,et al.  Efficiently monitoring relational databases , 1979, ACM Trans. Database Syst..

[4]  Clarence A. Ellis,et al.  Office Information Systems and Computer Science , 1980, CSUR.

[5]  Howard L. Morgan,et al.  Implementing Alerting Techniques in Database Systems , 1977 .

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

[7]  Walter E. Ulrich.  Implementation considerations in electronic mail , 1980, AFIPS '80.

[8]  Shi-Kuo Chang,et al.  Translation of Fuzzy Queries for Relational Database System , 1979, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[9]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[10]  P. Merlin,et al.  Specification and Validation of Protocols , 1979, IEEE Trans. Commun..

[11]  Jyh-Sheng Ke,et al.  Database Skeleton and Its Application to Fuzzy Query Translation , 1978, IEEE Trans. Software Eng..

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

[13]  P. Merlin,et al.  A Methodology for the Design and Implementation of Communication Protocols , 1976, IEEE Trans. Commun..

[14]  Gregor von Bochmann,et al.  A Unified Method for the Specification and Verification of Protocols , 1977, IFIP Congress.

[15]  Gerald Estrin,et al.  Modeling and Verification of Communication Protocols in Sara: The X.21 Interface , 1980, IEEE Transactions on Computers.