An Ontological Model of an Information System

Theoretical developments in the CS and IS disciplines have been inhibited by inadequate formalization of basic constructs. In this paper we propose an ontological model of an information system that provides precise definitions of fundamental concepts like system, subsystem, and coupling. We use this model 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