Subscribe
Issue No.08 - August (1985 vol.11)
pp: 724-734
null Shi-Kuo Chang , Information Systems Laboratory, Department of Electrical and Computer Engineering, Illinois Institute of Technology
ABSTRACT
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, August 1985, doi:10.1109/TSE.1985.232522