Advertisement

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)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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