Towards KBMS for software development: An overview of the DAIDA project

  • Daida Team
Support For Data-And Knowledge-Based Applications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)


Esprit project DAIDA investigates a KBMS approach to the development and maintenance of data-intensive information systems. The DAIDA environment manages the multilayered description of an information system (requirements analysis, conceptual specification and design, implementation design and realization) as a knowledge base. This KB is created and maintained under substantial use of (metalevel) knowledge-based tools, including those for mapping higher-level specifications to lower-level implementations. This short paper motivates this concept and sketches DAIDA's approach to its realization.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ALLE83]
    Allen, J.F. (1983). Maintaining knowledge about temporal intervals, Communications of the ACM 26, 11, 832–843.Google Scholar
  2. [BALZ85]
    Balzer, R. (1985). A 15 year perspective on automatic programming, IEEE Transactions on Software Engineering SE-11, 11, 1257–1267.Google Scholar
  3. [BAUE76]
    Bauer, F.L. (1976). Programming as an evolutionary process, Proc. 2nd Intl. Conf. Software Engineering.Google Scholar
  4. [BMMS87]
    Borgida, A., Meirlaen, E., Mylopoulos, J., Schmidt, J.W. (1987). Final Version of TDL Design, Report, Esprit Project 892 (DAIDA), Cretan Computer Institute, Iraklion, Greece.Google Scholar
  5. [BORG87]
    Borgida, A., Jarke, M., Mylopoulos, J., Schmidt, J.W., Vassiliou, Y. (1987). The software development environment as a knowledge base management system, in Schmidt, J.W., Thanos, C. (eds.): Foundations of Knowledge Base Management, Springer-Verlag, to appear.Google Scholar
  6. [DEKL86]
    de Kleer, J. (1986). An assumption-based TMS, Artificial Intelligence 28, 2, 127–163.Google Scholar
  7. [DJ85]
    Dhar, V., Jarke, M. (1985). Dependency-directed reasoning and learning in large systems maintenance, IEEE Transactions on Software Engineering, to appear.Google Scholar
  8. [ECKH85]
    Eckhardt, H., Edelmann, J., Koch, J., Mall, M., Schmidt, J.W. (1985). Draft Report on the Database Programming Language DBPL, Johann Wolfgang Goethe-Universität, Frankfurt.Google Scholar
  9. [GBM86]
    Greenspan, S., Borgida, A., Mylopoulos, J. (1986). A requirements modelling language and its logic, in Brodie, M.L., Mylopoulos, J. (eds.): On Knowledge Base Management Systems, New York: Springer-Verlag, 471–502.Google Scholar
  10. [HEHN84]
    Hehner, E. (1984). Predicative programming, Communications of the ACM 27, 2, 134–150.Google Scholar
  11. [JJR87]
    Jarke, M., Jeusfeld, M., Rose, T. (1987). A Global KBMS for Database Software Evolution: Design and Development Strategy, Report MIP-8722, Universität Passau, FRG.Google Scholar
  12. [JLS85]
    Jarke, M., Linnemann, V., Schmidt, J.W. (1985). Data constructors: on the integration of rules and relations, Proc. 11th VLDB Conference, Stockholm, 227–240.Google Scholar
  13. [JV87]
    Jarke, M., Venken, R. (1987). Database software development as knowledge base evolution, ESPRIT '87: Achievements and Impact, Amsterdam: North-Holland, 402–414.Google Scholar
  14. [MRS84]
    Mall, M., Reimer, M., Schmidt, J.W. (1984). Data selection, access control, and sharing in a relational scenario, in Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.): On Conceptual Modelling, New York: Springer-Verlag, 411–436.Google Scholar
  15. [MBW80]
    Mylopoulos, J., Bernstein, P.A., Wong, H.K.T. (1980). A language facility for designing interactive data-intensive applications, ACM Transactions on Database Systems 5, 2, 185–207.Google Scholar
  16. [O'DR87]
    O'Driscoll, G. (1987). Evaluation of program support environments, Report, Esprit project 892 (DAIDA), BP Research Centre, Sunbury-on-Thames, UK.Google Scholar
  17. [RICH84]
    Rich, C. (1984). A formal representation of plans in the Programmer's Apprentice, in Brodie, M., Mylopoulos, J., Schmidt, J.W. (eds.): On Conceptual Modelling, Springer, 239–269.Google Scholar
  18. [SKW85]
    Smith, D.R., Kotik, G.B., Westfold, S.J. (1985). Research on knowledge-based software engineering environemnts, IEEE Trans. Software Engineering SE-11, 11, 1278–1295.Google Scholar
  19. [SNØD86]
    Snødgrass, R. (1986). Research concerning time in databases: project summaries, SIGMOD Record 15.Google Scholar
  20. [WEDD87]
    Weddell, G. (1987). Physical Design and Query Compilation for a Semantic Data Model, Ph.D. Thesis, University of Toronto, Canada.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Daida Team

There are no affiliations available

Personalised recommendations