Department of Informatics - Events

Informatik-Kolloquium

Prof. Michele Missikoff

MOSAICO

An Environment for Specification and Rapid Prototypin of Object-Oriented Database Application The seminar will present the system Mosaico, conceived to support the design and rapid prototyping of data intensive applications based on Object-Oriented Databases (OODBs). Mosaico is based on the conceptual language TQL++ , that allows the designer to specify a database application by defining a schema++, i.e. a set of complex types and their associated actions. Types include the specification of the structure of the objects, semantic integrity constraints, and the action declarations (i.e., the protocol). Mossaico is a complete software environment the supports the designer in the following tasks.

OODB Application Specification - The process of constructing the specification of an OODB application, by using the conceptueal language TQL++.
OODB Application Verification - The formal nature of the language TQL++ allows the semantic verification of the conceptual model of an application.
Rapid prototyping - The conceptual model, once verified, is ready to be transformed into executble code, giving a prototype of the application.

Referent: Prof. Michele Missikoff
          IASI
          CNR - Rome, Italy

Zeitpunkt: Freitag, 10. März 1995, 14 Uhr c.t.

Ort: HS 3 der Universität Klagenfurt

Department's HomePage - webmaster@ifi.uni-klu.ac.at