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.
This work was supported in part by the Commission of the European Communities under Esprit contract 892 (DAIDA). The DAIDA team consists of: BIM, Everberg/ Belgium, prime contractor (Eric Meirlaen, Vera VanHeukelom, Raf Venken — administrative manager); Cretan Computer Institute, Iraklion/Greece (Alex Borgida, Maria Mamalakis, Manolis Marakakis, John Mylopoulos, Yannis Vassiliou); GFI, Paris/France (Gerard Bonin, Alain Rouge); Johann Wolfgang Goethe-Universität, Frankfurt/ F.R. Germany (Henning Eckhardt, Gerhard Ritter, Joachim W. Schmidt, Martin Weigele, Ingrid Wetzel); SCS Technische Automation und Systeme GmbH, Hamburg/F.R. Germany (John Gallagher, Rainer Haidan, Ingo Röpcke, Gernot Ullrich); BP Research Centre, Sunbury/England (Horst Adler, Gerard O'Driscoll); Universität Passau, Passau/F.R. Germany (Matthias Jarke — technical manager, Manfred Jeusfeld, Thomas Rose). Correspondence address: Matthias Jarke, Faculty of Informatics, Universität Passau, P.O. Box 2540, D-8390 Passau.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Allen, J.F. (1983). Maintaining knowledge about temporal intervals, Communications of the ACM 26, 11, 832–843.
Balzer, R. (1985). A 15 year perspective on automatic programming, IEEE Transactions on Software Engineering SE-11, 11, 1257–1267.
Bauer, F.L. (1976). Programming as an evolutionary process, Proc. 2nd Intl. Conf. Software Engineering.
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.
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.
de Kleer, J. (1986). An assumption-based TMS, Artificial Intelligence 28, 2, 127–163.
Dhar, V., Jarke, M. (1985). Dependency-directed reasoning and learning in large systems maintenance, IEEE Transactions on Software Engineering, to appear.
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.
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.
Hehner, E. (1984). Predicative programming, Communications of the ACM 27, 2, 134–150.
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.
Jarke, M., Linnemann, V., Schmidt, J.W. (1985). Data constructors: on the integration of rules and relations, Proc. 11th VLDB Conference, Stockholm, 227–240.
Jarke, M., Venken, R. (1987). Database software development as knowledge base evolution, ESPRIT '87: Achievements and Impact, Amsterdam: North-Holland, 402–414.
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.
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.
O'Driscoll, G. (1987). Evaluation of program support environments, Report, Esprit project 892 (DAIDA), BP Research Centre, Sunbury-on-Thames, UK.
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.
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.
Snødgrass, R. (1986). Research concerning time in databases: project summaries, SIGMOD Record 15.
Weddell, G. (1987). Physical Design and Query Compilation for a Semantic Data Model, Ph.D. Thesis, University of Toronto, Canada.
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Team, D. (1988). Towards KBMS for software development: An overview of the DAIDA project. In: Schmidt, J.W., Ceri, S., Missikoff, M. (eds) Advances in Database Technology—EDBT '88. EDBT 1988. Lecture Notes in Computer Science, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19074-0_78
Download citation
DOI: https://doi.org/10.1007/3-540-19074-0_78
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19074-5
Online ISBN: 978-3-540-39095-4
eBook Packages: Springer Book Archive