Diagnosis and correction of office system communication

https://doi.org/10.1016/0167-9236(92)90017-JGet rights and content

Abstract

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.

References (28)

  • M. Zisman

    Use of production systems for modeling asynchronous, concurrent processes

  • M. Bouzeghoub et al.

    Database design tools: an expert system approach

  • G. Bracchi et al.

    The design requirements of office systems

    ACM Trans. on Office Information Systems

    (1984)
  • F. Cazzola et al.

    Analisi e diagnostica per la verifica degli scambi di messagi nelle procedure d'ufficio

  • S. Ceri et al.

    Normalization of relations and Prolog

    Comm. of the ACM

    (1986)
  • S. Ceri

    Requirements collection and analysis in information systems design

  • S.K. Chang

    A model for information exchange

    International Journal of Policy Analysis and Information Systems

    (1981)
  • S.K. Chang

    Protocol Analysis for Information Exchange

    International Journal of Policy Analysis and Information Systems

    (1982)
  • S.K. Chang

    Office Information System design

  • S.K. Chang et al.

    Transformation and verification of office procedures

    IEEE Transactions on Software Engineering

    (1985)
  • Database Engineering Journal

    Special Issue on Database Design Aids, Methods, and Environments

    (1984)
  • T. De Marco

    Structured Analysis and System Specification

    (1979)
  • C.A. Ellis

    Information control nets: a mathematical model of office information flow

  • Cited by (0)

    1

    Francesco Cazzola was born in Milan on Oct. 28, 1963. He graduated in Electronics Engineering at Politecnico di Milano in 1988, with a thesis on the analysis of communication problems for the design of office procedures. Presently, he is with the “Unità specialistica per l'informatica” of ENEL, where he works on distributed systems and on the development of applications based on client-server architectures.

    2

    Massimiliano Galli, born in Ancona (Italy) on Oct. 13, 1963, graduated in Electronics Engineering at Politecnico di Milano in 1988, with a thesis on the analysis of communication problems for the design of office procedures. Presently, he is a research associate at the “Centro di Ricerca sui Sistemi di Gestione della Produzione” of the Consorzio Universitario MIP-Politecnico di Milano, where he works on the organizational impact of methodologies and technology innovation on production.

    3

    Barbara Pernici is full professor of Computer Science at the University of Udine (Italy). From 1981 to 1990 she has been with Politecnico di Milano, first as a National Research Council researcher, then as associate professor. Her research interests are in the field of office and information systems design support tools and in temporal databases. She is co-editor with Prof. Rolland of the book “Automatic Tools for Designing Office Systems”, published by Springer-Verlag in 1990.

    View full text