On real-time program specification description with a data model-based language

  • Katsumi Okamoto
  • Masaaki Hashimoto
Data And Software Engineering
Part of the Lecture Notes in Computer Science book series (LNCS, volume 468)


This article discusses a real-time software specification description using a nonprocedural conceptual data model-based language. In the past several years, extensive studies have been carried out on real-time software specification description languages based on the dynamic aspect of real-time systems: timing and state transition, but few are based on the structural aspect. The control information of real-time systems has been more complicated. Therefore, it is also important to describe the structural aspect in a more comprehensible manner. The authors have been studying a nonprocedural conceptual data model-based language, which helps to describe the structural aspect. The language enables automatic program generation and software reusability. This paper describes how to treat the characteristics of real-time software: state transition, timing and external I/O, in the nonprocedural conceptual data model-based language.

Key Words

Program specification description language nonprocedural language conceptual data model entity-relationship model constraint real-time software timing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    G. Gopal, G. Herman, W. Mansfield Jr. “A Data Base Model For Network Services”, Proceedings of IEE Software Engineering for Telecommunication Switching Systems 89, pp. 154–157, 1989.Google Scholar
  2. [2]
    P. Zave, “An Operational Approach to Requirements Specification for Embedded Systems”, IEEE Trans. Software Eng., Vol. SE-8, No. 3, 1982.Google Scholar
  3. [3]
    Ed Brinksma, “A tutorial on LOTOS”, Protocol Specification, Testing, and Verification, IFIP 85, North Holland Publishing Company, pp. 171–194, 1986.Google Scholar
  4. [4]
    M. Hashimoto, K. Ibuki, “Program Specification Description Method Using Data Model-based Information Structure Description”, Review of the Electrical Communications Laboratories, Vol. 35, No. 4, pp. 409–416, 1987.Google Scholar
  5. [5]
    P.P. Chen, “The Entity-Relationship Model — Toward a Unified View of Data”, ACM Trans. Database Syst., Vol. 1, No. 1, pp. 9–36, 1976.Google Scholar
  6. [6]
    M.A. Jackson, “System Development”, Prentice-Hall, Englewood Cliffs, N.J., 1983.Google Scholar
  7. [7]
    J.S. Tseng, B. Szymanski, Y. Shi, N.S. Prywes, “Real-Time Software Life Cycle with the Model System”, IEEE Trans. Software Eng., Vol. SE-12, No. 2, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Katsumi Okamoto
    • 1
  • Masaaki Hashimoto
    • 1
  1. 1.ATR Communication Systems Research LaboratoriesKyotoJapan

Personalised recommendations