Towards a logical foundation of discrete event modeling and simulation

The author presents the first step in developing a logical foundation of discrete event modeling and simulation (DEMS) by defining some of the fundamental terms and concepts of DEMS from a logical viewpoint. The fundamental notions of events and states are defined in terms of two types of propositions (instantaneous and static). The notion of the behavior of a system/model over a time interval is formalized by defining the concept of a discrete scenario. The modeling capabilities of a logical language are discussed using two simple examples. The logical language enhances modeling capabilities because it provides new program connectives and generalizes the program connectives of many DEMS languages