Executing, viewing and explaining conceptual models

Conceptual models are developed to assess the functional properties of information systems. Since they are used actively during the design and implementation of these systems, an important task is to make sure that the models really represent the users´ needs and intentions. PPP (Phenomena, Processes, Program) is an experimental CASE environment. In the PPP environment, the conceptual modeling process is well supported. The PPP language is used during model construction, whereas three validation techniques are integrated for model validation. The combination of model execution, complexity reduction, and explanation generation provides an exposition of conceptual model properties that are difficult to detect reading the models or using standalone techniques. We explain the PPP modeling approach. Particularly, we show how the integration of these techniques work together to make the dynamic properties of PPP models more transparent to the users