On Conceptual Model Specification and Verification

Four classes of conceptual models are classified:pure static,dynamic,temporal and full time perspec- tive models.This paper presents a temporal framework fur specifying and verifying a conceptual model.A specification consists of static and temporal constraints,and operation descriptions.Consistency checking of the specification is described.A simple example is used to illustrate the features of the framework.