Diagnosis and correction of office system communication

摘要

Automatic support to Office Information System (OIS) design is needed to improve the quality of the design and to make it more efficient. An important part of OIS is represented by communication aspects. Messages of different types are exchanged between agents according to the office protocol for a given procedure. A tool to support automatic detection of office protocol specification errors and their correction is presented. The tool is able to propose solutions to the errors, based on a generalized protocol analysis theory.