Esprit ’89 pp 459-474 | Cite as

The DAIDA Demonstrator: Development Assistance for Database Applications

  • Matthias Jarke
  • DAIDA Team

Abstract

The DAIDA project investigates comprehensive support for the development of database-intensive applications. The DAIDA methodology involves going from concept-based specifications via process-oriented development to quality-assured database software. A prototype DAIDA environment has been built that integrates knowledge-based development aids and graphical interaction tools under the control of a global knowledge base management system. An extended example illustrates the approach.

Keywords

Requirement Analysis Integrity Constraint World Model Requirement Model Predicative Assertion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ABRI86]
    Abrial, J.R. (1986). An informal introduction to B. Manuscript, Paris, France.Google Scholar
  2. [AGMS88]
    Abrial, J.R., Gardiner, P., Morgan, C., Spivey, M. (1988). Abstract machines, part 1 - 4. Unpublished manuscript, Oxford University, UK.Google Scholar
  3. [BJM*87]
    Borgida, A., Jarke, M., Mylopoulos, Y., 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.Google Scholar
  4. [BMSW89]
    Borgida, A., Mylopoulos, J., Schmidt, J.W., Wetzel, I. (1989). Support for data-intensive applications: conceptual design and software development. Proc. 2nd Workshop on Database Programming Languages, Portland, Or.Google Scholar
  5. [CJM*89]
    Constantopoulos, P., Jarke, M., Mylopoulos, J., Pernici, B., Petra, E., Theodoriou, M., Vassiliou, Y. (1989). Scripting the ITHACA software information base. Report ITHACA.FORTH.89.E2.#l, Iraklion, Greece.Google Scholar
  6. [CKM*89]
    Chung, L., Katalargianos, P., Marakakis, M., Mertikas, M., Mylopoulos, J., Vassiliou, Y. (1989: Mapping advanced concepts: mapping of time and assertions. ESPRIT 892 (DAIDA), Iraklion/ Greece.Google Scholar
  7. [CONK87]
    Conklin, J. (1987). Hypertext: an introduction and survey. IEEE Computer 20, 9, 17–50.CrossRefGoogle Scholar
  8. [DAIDA88]
    Jarke, M., DAIDA Team (1988). The DAIDA environment for knowledge-based information system development. In ESPRIT ’88: Putting the Technology to Use, North-Holland, 405–422.Google Scholar
  9. [DJ85]
    Dhar, V., Jarke, M. (1985). Learning from prototypes. Proc. 6th Intl. Conf. Information Systems, Indianapolis, Ind, 114–133.Google Scholar
  10. [HAGE88]
    Hagelstein, J. (1988). Declarative approach to information systems requirements. Knowledge-Based Systems 1, 4, 211–220.CrossRefGoogle Scholar
  11. [HJK*89]
    Hahn, U., Jarke, M. Kreplin, K., Farusi, M., Pimpinelli, F. (1989). CoAUTHOR: a hypermedia group authoring environment. Proc. European Conf. Computer-Supported Cooperative Work, Gatwick, UK.Google Scholar
  12. [HK87]
    Hull, R., King, R. (1987). Semantic database modeling: survey, applications, and research issues. ACM Computing Surveys 19, 3, 201–260.CrossRefGoogle Scholar
  13. [JJR88]
    Jarke, M., Jeusfeld, M., Rose, T. (1988). A global KBMS for database software evolution: Documentation of first ConceptBase prototype. Report MIP-8819, Universität Passau, FRG.Google Scholar
  14. [JJR89a]
    Jarke, M., Jeusfeld, M., Rose, T. (1989). A software process data model for knowledge engineering in information systems. Information Systems 14, 3.Google Scholar
  15. [JJR89b]
    Jarke, M., Jeusfeld, M., Rose, T. (1989). Software process modeling as a strategy for KBMS implementation. In Nishio, J., Kim, W., Nicolas, J.-M. (eds.): Deductive and Object-Oriented Databases North-Holland, to appear.Google Scholar
  16. [KMMV89]
    Katalagarianos, P., Marakakis, M., Mertikas, M., Vassiliou, Y. (1989). SML-TDL mapping assistant: architecture and development. ESPRIT 892 (DAIDA), FORTH-CCI, Iraklion, Greece.Google Scholar
  17. [KMSB89]
    Koubarakis, M., Mylopoulos, J., Stanley, M., Borgida, A. (1989). Telos: features and formalization. Report KRR-89–04, University of Toronto, Ont.Google Scholar
  18. [MBW80]
    Mylopoulos, J., Bernstein, P.A., Wong, H.K.T. (1980). A language for designing interactive data-intensive applications. ACM Trans. Database Systems 5, 2, 185–207.CrossRefGoogle Scholar
  19. [MCNE89]
    McNeil, I. (1989). Validating and verifying SML specifications - efficient prototypes and proofs. ESPRIT 892 (DAIDA), BP Res. Centre, Sunbury, UK.Google Scholar
  20. [MH89]
    Meyer, R., Haidan, R. (1989). Negation and metalevel reasoning in SML. ESPRIT 892 (DAIDA), SCS, Hamburg, F.R. Germany.Google Scholar
  21. [MTV88]
    Meirlaen, E., Trinon, J.M., Venken, R. (1988). An object-based prototyping workbench in Prolog. In ESPRIT ’88: Putting the Technology to Use North-Holland, 423–437.Google Scholar
  22. [NS89]
    Niebergall, P., Schmidt, J.W. (1989). DBPL-USE: a tool for language-sensitive database programming. ESPRIT 892 (DAIDA), Universität Frankfurt.Google Scholar
  23. [OSTE877]
    Osterweil, L. (1987). Software processes are software too.Proc. 9th Intl. Conf Software Engineering Monterey, Ca, 2–13.Google Scholar
  24. [PR89]
    Piza, B., Röpcke, I. (1989). SMLS: Systems Modelling Language Support System on SUN. Manual, ESPRIT 892 (DAIDA), SCS, Hamburg, FRG.Google Scholar
  25. [RB89]
    Rouge, A., Bonin, G. (1989). GraFIc 2.0. Manual, ESPRIT 892 (DAIDA). GFI, Nanterre, France.Google Scholar
  26. [RJ89]
    Rose, T., Jarke, M. (1989). A decision-based configuration process model. Report, Universität Passau, FRG.Google Scholar
  27. [SCHM77]
    Schmidt, J.W. (1977). Some high-level language constructs for data of type relation. ACM Trans. Database Systems 2, 3,247–261.CrossRefGoogle Scholar
  28. [SEM88]
    Schmidt, J.W., Eckhardt, H., Matthes, F. (1988). Extensions to DBPL: towards a type-complete database programming language. ESPRIT 892 (DAIDA), Universität Frankfurt, FRG.Google Scholar
  29. [WSS89]
    Wetzel, I., Schmidt, J.W., Stuchly, J. (1989). A mapping assistant for database program development. ESPRIT 892 (DAIDA), Universität Frankfurt, FRGGoogle Scholar
  30. [ZMT89]
    de Zegher, I., Meirlaen, E., Trinon, J.-M. (1989). BIM-Prolog Object Extension: User Manual. ESPRIT 892 (DAIDA), BIM, Everberg, BelgiumGoogle Scholar

Copyright information

© ECSC, EEC, EAEC, Brussels and Luxembourg 1989

Authors and Affiliations

  • Matthias Jarke
    • 1
  • DAIDA Team
    • 1
  1. 1.Universität PassauPassauGermany

Personalised recommendations