Qualitative Behavior Modeling of Information Processing Components

This paper presents qualitative behavior modeling of Information Processing Components(IPCs), which are domain-specific software components for modeling reusable functions in database management systems(DBMSs). After introducing a detailed formal syntax of IPCs, we propose their modular, qualitative behavior generation mechanism. The proposed mechanism is based on qualitative modeling and simulation, thus produces a sequence of temporal state transitions of modeled IPCs. The proposed modeling mechanism aims to facilitate the scientific measurement of