Issue No. 08 - August (1985 vol. 11)
null Shi-Kuo Chang , Information Systems Laboratory, Department of Electrical and Computer Engineering, Illinois Institute of Technology
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.
protocol analysis, Message exchange theory, office automation, office information system, office procedure model, Petri net
n. Shi-Kuo Chang and n. Wu-Lung Chan, "Transformation and Verification of Office Procedures," in IEEE Transactions on Software Engineering, vol. 11, no. , pp. 724-734, 1985.