Skip to main content
SpringerLink
Log in

On conceptual model specification and verification

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bell, J. and M. Machover, A Course in Mathematical Logic, N. H. Publ. Comp., 1977.

  2. Bubenko jr J. A., Information modelling in the context of system development,Invited paper to IFIP Congress, 1980, 395–411.

  3. Chang, C.C, and H.J. Keisler, Model Theory, N.H. Publ. Comp., 1973.

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

  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.

  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.

  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.

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

  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. Olive, A., Information derivability analysis in logical information systems,CACM,26:11 (1983), 933–938.

    MATH  Google Scholar 

  14. Owicki, S. and L. Lamport, Proving liveness properties of concurrent programs,ACM Trans. on Prog. Lang. and Syst.,4:3 (1982), 455–495.

    Article  MATH  Google Scholar 

  15. Peterson, J.L., Petri nets,Computing Surveys,9:3(1977), 224–252.

    Article  Google Scholar 

  16. Robinson J.A., A machine-oriented logic based on the resolution principle,J. ACM,12:1 (1965), 23–41

    Article  MATH  Google Scholar 

  17. Tremblay J.P. and R. Manohar, Diserete Mathematical Structures with Applications in Computer Science, McGraw-Hill, Inc., 1975.

Download references

Author information

Authors and Affiliations

  1. Institute of Software, Academia Sinica, Beijing, China

    Gong Zhenhe

  2. The Norwegian Institute of Technology, Trondheim, Norway

    Gong Zhenhe

Authors
  1. Gong Zhenhe
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gong, Z. On conceptual model specification and verification. J. of Comput. Sci. & Technol. 2, 35–50 (1987). https://doi.org/10.1007/BF02943316

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943316

Keywords

Search

Navigation