This Article 
 Bibliographic References 
 Add to: 
Transformation and Verification of Office Procedures
August 1985 (vol. 11 no. 8)
pp. 724-734
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.
Index Terms:
protocol analysis, Message exchange theory, office automation, office information system, office procedure model, Petri net
null Shi-Kuo Chang, null Wu-Lung Chan, "Transformation and Verification of Office Procedures," IEEE Transactions on Software Engineering, vol. 11, no. 8, pp. 724-734, Aug. 1985, doi:10.1109/TSE.1985.232522
Usage of this product signifies your acceptance of the Terms of Use.