This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Ontological Model of an Information System
November 1990 (vol. 16 no. 11)
pp. 1282-1292

An ontological model of an information system that provides precise definitions of fundamental concepts like system, subsystem, and coupling is proposed. This model is used to analyze some static and dynamic properties of an information system and to examine the question of what constitutes a good decomposition of an information system. Some of the major types of information system formalisms that bear on the authors' goals and their respective strengths and weaknesses relative to the model are briefly reviewed. Also articulated are some of the fundamental notions that underlie the model. Those basic notions are then used to examine the nature and some dynamics of system decomposition. The model's predictive power is discussed.

[1] C. J. W. Alexander,Notes on the Synthesis of Form. Cambridge, MA: Harvard University Press, 1964.
[2] G. D. Bergland, "A guided tour of program design methodologies,"Computer, vol. 14, no. 10, pp. 13-37, Oct. 1981.
[3] A. Borgida, S. Greenspan, and J. Mylopulos, "Knowledge representation as the basis for requirements specifications,"Computer, vol. 18, no. 4, pp. 82-91, Apr. 1985.
[4] Brooks, Jr., Frederick P. 1987. "No Silver Bullet: Essence and Accidents of Software Engineering."IEEE Computer, April, pp. 10-19.
[5] M. Bunge,Treatise on Basic Philosophy: Vol. 3: Ontology I: The Furniture of the World. Boston, MA: Reidel, 1977.
[6] M. Bunge,Treatise on Basic Philosophy: Vol. 4: Ontology II: A World of Systems. Boston, MA: Reidel, 1979.
[7] K. M. Chandy and J. Misra,Parallel Program Design: A Foundation. Reading, MA: Addison-Wesley, 1988.
[8] E. F. Codd, "A relational model of data for large shared data banks,"Commun. ACM, pp. 377-387, June 1970.
[9] M. J. Culnan, "The intellectual development of management information systems, 1972-1982: A co-citation analysis,"Management Sci., vol. 32, no. 2, pp. 156-172, Feb. 1986.
[10] P. J. Courtois, "On time and space decomposition of complex structures,"Commun. ACM, vol. 28, pp. 590-603, 1985.
[11] J. D. DiStefano, III, A. R. Stubberud, and I. J. Williams,Feedback and Control Systems. New York: McGraw-Hill, 1976.
[12] R. G. Dromey, "Systematic program development,"IEEE Trans. Software Eng., vol. SE-14, no. 1, pp. 12-29, Jan. 1988.
[13] J.D. Gannon, R.G. Hamlet, and H.D. Mills, "Theory of modules,"IEEE Trans. Software Eng., vol. 14, no. 7, pp. 820-829, July 1987.
[14] M. Hamilton and S. Zeldin, "Higher order software--A methodology for defining software,"IEEE Trans. Software Eng., vol. SE-2, no. 1, pp. 9-32, Mar. 1978.
[15] I. Hayes, Ed.,Specification Case Studies (Series in Computer Science). Englewood Cliffs, NJ: Prentice-Hall International, 1987.
[16] C. A. R. Hoare, "An overview of some formal methods for program design,"IEEE Comput. Mag., 20, no. 9, pp. 85-91, Sept. 1987.
[17] M. A. Jackson,Principles of Program Design. New York: Academic, 1975.
[18] C.B. Jones,Systematic Software Development Using VDM, Prentice Hall Int'l, 1986.
[19] J. Karimi and B. R. Konsynski, "An automated software design assistant,"IEEE Trans. Software Eng., vol. 14, no. 2, pp. 194-210, Feb. 1988.
[20] R. C. Linger, H. D. Mills, and B. I. Witt,Structured Programming Theory and Practice. Reading. MA: Addison-Wesley, 1979.
[21] M. D. Mesarovic and Y. Takahara,General Systems Theory. New York: Academic, 1975.
[22] A. Mili, J. Desharnais, and J. R. Gagné, "Formal models of stepwise refinement of programs,"ACM Comput. Surveys, vol. 18, no. 3, Sept. 1986.
[23] J. G. Miller,Living Systems. New York: McGraw-Hill, 1978.
[24] H. G. Mills, V. R. Basili, J. D. Gannon, and R. G. Hamlet,Principles of Computer Programming: A Mathematical Approach. Boston, MA: Allyn and Bacon, 1987.
[25] J. Moses, "Computer science as the science of discrete man-made systems," inThe Study of Information: Interdisciplinary Messages, F. Machlup and U. Mansfield, Eds. New York: Wiley, 1983.
[26] G. J. Myers,Reliable Software Through Composite Design. New York: Petrocelli/Charter, 1975.
[27] T. W. Olle, J. Hagelstein, I. G. Macdonald, C. Rolland, H. G. Sol, F. J. M. Van Assche, and A. A. Verrijn-Stuart,Information System Methodologies: A Framework for Understanding. Reading, MA: Addison-Wesley, 1988.
[28] Parnas, D.L. 1972. On the Criteria to be Used in Decomposing Systems into Modules,Communications of the ACM, Vol.15, pp. 1053-1058.
[29] D. L. Parnas, "On a 'buzzword': Hierarchical structure," inInform. Processing 74. Amsterdam, The Netherlands: North-Holland, 1974, pp. 336-339.
[30] D. L. Parnas, "Education for computing professionals,"Computer, vol. 23, no. 1, pp. 17-22, Jan. 1990.
[31] J. D. Paulson, "Reasoning tools to support system analysis and design," Ph.D. dissertation, Univ. British Columbia, 1988.
[32] S. B. Rogers, "A simple architecture for consistent application design,"IBM Syst. J., vol. 22, no. 3, pp. 199-213, 1983.
[33] H. A. Simon,The Sciences of the Artificial, 2nd ed. Cambridge, MA: MIT Press, 1981.
[34] J. M. Spivey,The Z Notation: A Reference Manual (Computer Science Series). Englewood Cliffs, NJ: Prentice Hall International, 1989.
[35] S. Borkar et al., "iWarp: An Integrated Solution to High Speed Parallel Computing,"Proc. Supercomputing 88, Vol. 1, CS Press, Los Alamitos, Calif., Order No. 882, pp. 330-339.
[36] P. A. M. Van Dongen and J. H. L. Van Den Bercken, "Structure and function in neurobiology: A conceptual framework and the localization of functions," Int.J. Neurosci., vol. 16, pp. 49-68, 1981.
[37] Y. Wand, "A Proposal for a Formal Model of Objects," inObject-Oriented Concepts, Databases, and Applications, W. Kim and F. Lochovsky, eds., ACM Press, New York, 1989, pp. 537-559.
[38] Y. Wand and R. Weber, "An ontological analysis of some fundamental information system concepts," inProc. Ninth Int. Conf. Information Systems, Dec. 1988, pp. 213-226.
[39] Y. Wand and R. Weber, "A deep structure theory of information systems," Univ. British Columbia, unpublished working paper, Mar. 1988.
[40] Y. Wand and R. Weber, "A model of control and audit procedure change in evolving data processing systems,"Accounting Rev., vol. LXIV, no. 1, pp. 87-107, Jan. 1989.
[41] Y. Wand and R. Weber, "A model of systems decomposition," inProc. 10th Int. Conf. on Inform. Syst.(Boston), Dec. 1989, 41-51.
[42] Y. Wand and R. Weber, "An ontological evaluation of systems analysis and design methods," inInformation Systems Concepts--An In-Depth Analysis, E. Falkenberg and P. Lindgreen, Eds. Amsterdam, The Netherlands: North-Holland, 1989, pp. 79-107.
[43] R. Weber, "Toward a theory of artifacts: A paradigmatic base for information systems research,"J. Inform. Syst., vol. 1, no. 2, pp. 3-19, Spring 1987.
[44] N. Wiener,Cybernetics: Or Control and Communication in the Animal and the Machine, 2nd ed. Cambridge, MA: MIT Press, 1961.
[45] J. L. Whitten, L. D. Bentley, and T. I. M. Ho,Systems Analysis and Design Methods. St. Louis, MO: Times Mirror/Mosby, 1986.
[46] Yourdon, E., and L.L. Constantine,Structured Design: Fundamentals Discipline of Computer Programs and Systems Design, Yourdon Press, New York, 1978.
[47] P. Zave, "The operational versus the conventional approach to software development,"Commun. ACM, vol. 27, no. 2, pp. 104-118, Feb. 1984.

Index Terms:
static properties; ontological model; information system; system; subsystem; coupling; dynamic properties; decomposition; predictive power; software engineering
Citation:
Y. Wand, R. Weber, "An Ontological Model of an Information System," IEEE Transactions on Software Engineering, vol. 16, no. 11, pp. 1282-1292, Nov. 1990, doi:10.1109/32.60316
Usage of this product signifies your acceptance of the Terms of Use.