This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Citation:
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.