A knowledge-based message management system
ACM Transactions on Information Systems (TOIS)
C-TODOS: an automatic tool for office system conceptual design
ACM Transactions on Information Systems (TOIS)
Multi-level specification and protocol design for distributed multimedia communication
COCS '91 Proceedings of the conference on Organizational computing systems
A G-Net Model for Knowledge Representation and Reasoning
IEEE Transactions on Knowledge and Data Engineering
| Hi-index | 0.00 |
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.