Logička specifikacija i logička prototipska implementacija informacionih sistema

Abstract

U radu je dat rezime značajnijih naučnih doprinosa doktorske teze 'Logička specifikacija i logička prototipska implementacija baze podataka i aplikacija' koja je ove godine odbranjena na fakultetu organizacionih nauka u Beogradu. U disertaciji je dat prikaz osnovnih koncepata konvencionalnih modela podataka objektnih i aktivnih sistema i analiza odgovarajućih metodoloških pristupa specifikaciji baze podataka i aplikacija. Detaljno je izložen opštenamenski jezik za specifikaciju informacionog sistema, zasnovan na proširenim tabelama odlučivanja. Disertacija razmatra i transformacione metode implementacije informacionog sistema polazeći od predložene formalne specifikacije u formi skupa proširenih tabela odlučivanja.

The paper presents some important results of dissertation 'Logical specification and logical prototype implementation of data bases and application' which was defended this year at the Faculty of Organizational Sciences in Belgrade. A review of main concepts of conventional data models object oriented and active systems is presented and corresponding methodological approaches to database and application specifications are analyzed in dissertation. The dissertation also presents a general purpose information systems specification language based on extended decision tables and discusses transformational methods of an information system implementation given the formal extended decision table specification.