We use cookies to improve your experience with our site.
Gong Zhenhe. On Conceptual Model Specification and Verification[J]. Journal of Computer Science and Technology, 1987, 2(1): 35-50.
Citation: Gong Zhenhe. On Conceptual Model Specification and Verification[J]. Journal of Computer Science and Technology, 1987, 2(1): 35-50.

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.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return