Journal of Computer Science and Technology

, Volume 2, Issue 1, pp 35–50 | Cite as

On conceptual model specification and verification

  • Gong Zhenhe 


Four classes of conceptual models are elassified: pure statie, dynamic, temporal and full time perspective models. This paper presents a temporal framework for specifying and verifying a conceptual model. A specification consists of static and temporal constraints, and operation descriptions. Cousistency ehecking of the specification is described. A simple example is used to illustrate the features of the framework.


Static Constraint Legal State Temporal Constraint Finite Automaton Execution Sequence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Bell, J. and M. Machover, A Course in Mathematical Logic, N. H. Publ. Comp., 1977.Google Scholar
  2. [2]
    Bubenko jr J. A., Information modelling in the context of system development,Invited paper to IFIP Congress, 1980, 395–411.Google Scholar
  3. [3]
    Chang, C.C, and H.J. Keisler, Model Theory, N.H. Publ. Comp., 1973.Google Scholar
  4. [4]
    Hove, J.O., Kungs Metode for Konsistensbevis og Modellkonstruksjon Anvendt pa Kommunikasjons Protokaller, Master Thesis, Dept. of Computer Science, The Norwegian Inst. of Tech., Trondheim, NORWAY, 1984.Google Scholar
  5. [5]
    Kung C.H, A Temporal Framework for Information Systems Specification and Verification, Ph.D Thesis, Dept. of Computer Science, The Norwegian Inst. of Tech., Trondheim, NORWAY, April, 1984.Google Scholar
  6. [6]
    Kung C.H, A temporal framework for database specification and verification.Proc. of 10th Intl' Conf. on VLDB, Singapore, Aug. 27–31, 1984, 91–99.Google Scholar
  7. [7]
    Kung C.H., A tableaux approach for consistency checking, Proc. IFIP WG8.1 Working Conference on Theoretical and Formal Aspect of Information Systems (Sernadas A. et al ed.s), N.H. Publ Comp., 1985, 191–207.Google Scholar
  8. [8]
    Kung C.H., On verification of database temporal constraints, Proc. ACM SIGMOD Annual Conference on Management of Data. Austin Texas, USA, May 28–31, 1985, 169–179.Google Scholar
  9. [9]
    Kung C.H. and A. Solvberg, Activity modeling and behavior modeling of information systems, Proc. IFIP WG8.1 Working Conference on CRIS.3, Noordwijkerhout, The Netherlands, May 5–7, 1986. N.H. Publ. Comp., 1986, 145–171.Google Scholar
  10. [10]
    Leveson, N.G., A.I. Wasserman, and D.M. Berry, BASIS: A behavioral approach to the specification of information systems,in Information Systems,8:1 (1983), 15–23.Google Scholar
  11. [11]
    Lipeck U.W., Stepwise specification of dynamic database behavior, Proc. ACM SIGMOD Annual Conference on Management of Data (C. Zanlolo eds), Washington D.C., USA, May 28–30, 1986.Google Scholar
  12. [12]
    McCarthy J. and P. Hayes, Some philosophical problems from the stanpoint of artificial intelligence, in Machine Intelligence no.4, B. Meltzer and D. Michie (eds.), Edinburgh Univ. Press, Edinburgh, 1969, 463–502.Google Scholar
  13. [13]
    Olive, A., Information derivability analysis in logical information systems,CACM,26:11 (1983), 933–938.MATHGoogle Scholar
  14. [14]
    Owicki, S. and L. Lamport, Proving liveness properties of concurrent programs,ACM Trans. on Prog. Lang. and Syst.,4:3 (1982), 455–495.MATHCrossRefGoogle Scholar
  15. [15]
    Peterson, J.L., Petri nets,Computing Surveys,9:3(1977), 224–252.CrossRefGoogle Scholar
  16. [16]
    Robinson J.A., A machine-oriented logic based on the resolution principle,J. ACM,12:1 (1965), 23–41MATHCrossRefGoogle Scholar
  17. [17]
    Tremblay J.P. and R. Manohar, Diserete Mathematical Structures with Applications in Computer Science, McGraw-Hill, Inc., 1975.Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1987

Authors and Affiliations

  • Gong Zhenhe 
    • 1
    • 2
  1. 1.Institute of SoftwareAcademia SinicaBeijingChina
  2. 2.The Norwegian Institute of TechnologyTrondheimNorway

Personalised recommendations