Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

A formal approach to modeling office information systems

  • Published:
Journal of Systems Integration

Abstract

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. AReconstruction 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. E. Bertino M. Rabitti, and S. Gibbs, “Query processing in a multimedia document system,”ACM Transactions on Office Information Systems 6(1), pp. 1–41, January 1988.

    Google Scholar 

  2. G. Booch, 1991.Object Oriented Design with Applications. Benjamin/Cummings: Redwood City, CA, 1991.

    Google Scholar 

  3. S. Christodoulakis, M. Theodoridou, F. Ho, M. Papa, and A. Pathria, “Multimedia document presentation, information extraction, and document formation in MINOS: A model and system,”ACM Transactions on Office Information Systems 4(4), pp. 345–383, October 1986

    Google Scholar 

  4. W. B. Croft and D. W. Stemple, “Supporting office document architectures with constrained types,” inProc. of ACM SIGMOID International Conf. on Management of Data, 1987, pp. 504–509.

  5. S. Gibbs and D. Tsichritzis, “A data modeling approach for office information systems,”ACM Transactions on Office Information Systems, 1(4), pp. 299–319, October 1983.

    Google Scholar 

  6. X. Hao, J. T. L. Wang, M. P. Bieber, and P. A. Ng, “A tool for classifying office documents,” inProc. of Fifth IEEE International Conference on Tools with Artificial Intelligent, Boston, MA, November 1993. pp. 427–434.

  7. X. Hao, J. T. L. Wang, and P. A. Ng., “Nested segmentation: an approach for layout analysis in document classification,” inProc. of Second IEEE International Conference on Document Analysis and Recognition, Ibaraki, Japan, October 1993, pp. 319–322.

  8. W. Horak, “Office documentation architecture and office document interchange formats—a current status of international standardization,”IEEE Computer 18(10), pp. 50–60, October 1985.

    Google Scholar 

  9. J. G. Huges, 1990.Object Oriented Database, Prentice Hall: New York 1990.

    Google Scholar 

  10. W. Kim and F. H. Lochovsky, 1989.Objct-Oriented Concepts, Databases, and Applications, Addison-Wesley: New York, 1989.

    Google Scholar 

  11. Q. Liu, J. T. L. Wang, and P. A. Ng, “An office document retrieval system with the capability of processing incomplete and vague queries,” inProc. of the Fifth Int. Conf. on Software Engineering and Knowledge, San Francisco, CA, June, 1993, pp. 11–17.

  12. Q. Liu, J. T. L. Wang, and P. A. Ng, “On research issues regarding uncertain query processing in an offic document retieval system,”Journal of System Integration 3(2), pp. 163–194, 1993.

    Google Scholar 

  13. E. Lutz, H. V. Kleist-Retzow, and K. Hoernig, “MAFIA—An active mail-filter-agent for an intelligent document processing support,” inMulti-User Interface and Applications. Elsevier Science Publishers, North Holland, S. Gibbs and A.A. Verrjin-Stuart edition, 1990.

    Google Scholar 

  14. J. A. McHugh, 1990.Algorithmic Graph Theory. Prentice Hall: New Jersey, 1990.

    Google Scholar 

  15. F. Mhlanga, J. T. L. Wang, T. H. Shiau, and P. A. Ng, “A query algebra for office documents,” inProc. of 2nd Int. Conf. on System Integration, Morristown, New Jersey, June 1992, pp. 458–467.

  16. S. Pozzi and A. Celentano, “Knowledge-based document filing,”IEEE Expert, pp. 34–45, October 1993.

  17. J. T. L. Wang, F. S. Mhlanga, Q. Liu, W. C. Shang, and P. A. Ng, “An intelligent documentation support environment,” inThe Fifth International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, June 1993, pp. 429–436.

  18. J. T. L. Wang, F. S. Mhlanga, and P. A. Ng “A new approach to modeling office documents,”ACM SIGOIS Bulletin 14(2), pp. 46–55, December 1993.

    Google Scholar 

  19. J. T. L. Wang and P. A. Ng, “TEXPROS: An intelligent document processing system,”International Journal of Software Engineering and Knowledge Engineering 15(4), pp. 171–196, April, 1992.

    Google Scholar 

  20. J. Zobel, J. A. Thom, and R. Sacks-Davis, “Efficiency of nested relational document database systems,” inProc. of the 17th International Conf. on VLDB, Barcelona, Spain, September 1991, pp. 91–102.

Download references

Author information

Authors and Affiliations

Authors

Additional information

This work was supported in part by the National Science Foundation under Grant No. IRI-9224602, by the New Jersey Institute of Technology undre Grant No. 421280 and by a grant from AT&T Foundation.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhu, Z., Mchugh, J.A., Wang, J.T.L. et al. A formal approach to modeling office information systems. Journal of Systems Integration 4, 373–403 (1994). https://doi.org/10.1007/BF01976280

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01976280

Keywords