A formal approach to modeling office information systems

Zhijian Zhu, James A. Mchugh, Jason T.L. Wang, Peter A. Ng

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


This paper formally specifies a document model for office information systems, including formal definitions of document types (frame templates), a document type hierarchy, folders, and folder organizations. Folder Organizations are defined using predicates and directed graphs. A Reconstruction Problem for folder organizations is then formulated; viz., under what circumstances it is possible to reconstruct a folder organization from its folder level predicates. The Reconstruction Problem is solved in terms of such graph-theoretic concepts as Associated Digraphs, transitive closure, and redundant/nonredundant filing paths. A Transitive Closure Inversion algorithm is then presented which efficiently recovers a Folder Organization digraph from its Associated Digraph.

Original languageEnglish (US)
Pages (from-to)373-403
Number of pages31
JournalJournal of Systems Integration
Issue number4
StatePublished - Dec 1994

All Science Journal Classification (ASJC) codes

  • General Earth and Planetary Sciences


  • directed acyclic graph
  • document model
  • document type
  • filing and retrieval
  • office information systems
  • predicates


Dive into the research topics of 'A formal approach to modeling office information systems'. Together they form a unique fingerprint.

Cite this