Database Application Engineering with DAIDA
Springer Berlin Heidelberg, 1993 - Computers - 558 pages
In the early 1980s, a trend towards formal undeIStanding and knowledge-based assistance for the development and maintenance of database-intensive information systems became apparent. The group of John Mylopoulos at the UniveISity of Toronto and their European collaboratoIS moved from semantic models of information systems design (Taxis project) towards earlier stages of the software lifecycle. Joachim Schmidt's group at the University of Hamburg completed their early work on the design and implementation of database programming languages (Pascal/R) and began to consider tools for the development of large database program packages. The Belgian company BIM developed a fast commercial Prolog which turned out to be useful as an implementation language for object oriented knowledge representation schemes and as a prototyping tool for formal design models. Case studies by Vasant Dhar and Matthias Jarke in New York pointed out the need for formally representing process knowledge, and a number of projects in the US and Europe began to consider computer assistance (CASE) as a viable approach to support software engineering. In 1985, the time appeared ripe for an attempt at integrating these experiences in a comprehensive CASE framework relating all phases of an information systems lifecycle. The Commission of the European Communities decided in early 1986 to fund this joint effort by six European software houses and research institutions in the Software Technology section of the ESPRIT I program. The project was given the number 892 and the title DAIDA - Development Assistance for Intelligent Database Applications.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Representing Knowledge About Information Systems in Telos
The TaxisDL Software Description Language
13 other sections not shown
Other editions - View all
Abstract activities additional allows application approach assertions assistant associated attribute basic called checking clause compiler complete components Computer conceptual configuration considered consistency constraints corresponding created DAIDA database DBPL decisions deductive defined definition dependencies derived describe document domain Employee entities environment example execution existing Expense expressions fact Figure formal framework functions given goal graphical identifier implementation important individual information system initial instance integrity constraints interaction interface introduced knowledge base language logical mapping means mechanism methods module node object operations possible predicate procedure properties provides query reasoning record refinement relation relationships reports representation represented requirements result rules selected semantics sharing single specification structure Supplier task Telos transaction transitions update variables