DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Research Report Year 1996

Basi di Dati e Sistemi Informativi

  People   Research Activities   Publications   Software Products   Research Grants

People

Antonio Di Leva

Professore associato

Barbara Demo

Professore associato

Gianmaria Sacco

Professore associato

Piercarlo Giolito

Professore associato

Giuseppe Berio

Borsista Post-Dottorato

Paolo Manca

Dottorando

Research activity in 1996

Lo sviluppo di modelli integrati di rappresentazione ed analisi sia degli aspetti statici sia degli aspetti dinamici dei sistemi informativi è stato al centro dell'attività di ricerca che ha condotto alla sperimentazione di formalismi con la caratteristica basilare dell'eseguibilità. Tale caratteristica permette la costruzione di modelli di simulazione del sistema a supporto dell'attività di validazione del progetto proposto. L'implementazione del sistema e' diretta verso lo sviluppo di programmi in ambiente distribuito con l'esigenza di valutarne a priori le prestazioni.

La ricerca si è incentrata particolarmente sullo studio delle proprietà di un modello ibrido che integri descrizioni statiche (schemi concettuali) di tipo object-oriented del sistema informativo con la rappresentazione della dinamica dell'organizzazione nel suo complesso.

Gli aspetti statici sono affrontati con modelli object-oriented in cui le possibili attivazioni dei metodi devono soggiacere a vincoli che tengano conto del ciclo di vita degli oggetti interessati in un sistema distribuito ad elevato parallelismo.

La dinamica, intesa come complesso di applicazioni interagenti, è studiata con reti di Petri che rappresentano oggi una delle tecniche di modellizzazione che meglio si adatta alle caratteristiche di tali sistemi.

La ricerca in corso tende inoltre ad estendere i modelli eseguibili definiti a livello concettuale, al livello dell'analisi organizzativa; i risultati preliminari della ricerca riguardano un modello di specifica dei workflow da usare sia in fase di analisi che di reingegnerizzazione di un'organizzazione. Sono in corso di definizione le regole che permettono di specificare la semantica del modello dei workflow in termini di Reti di Petri ad alto livello.

Altri filoni di ricerca hanno riguardato la gestione di archivi multimediali e le tecniche di ottimizzazione fisica per basi di dati. La gestione di grandi archivi multimediali ha orientato la ricerca verso modelli per la loro rappresentazione e scansione guidata basati su tassonomie.

Le prestazioni complessive di sottosistemi informatici imperniati su sistemi di gestione di basi di dati sono influenzate dalle tecniche di gestione dei dati a basso livello.

E' in tale contesto che si collocano alcune proposte innovative di join e di gestione dei buffer. Le tecniche di join sono basate su frammentazioni combinate con filtraggi progressivi ottenendo risultati migliori del "sort-merge", mentre la gestione dei buffer è basata su distribuzioni di probabilità d'uso dei dati non uniforme.

1996 Publications

G. Berio, A. DiLeva, P. Giolito, F. Vernadat "Formal Specification of Manufacturing Information Systems" Proc. IMACS Multiconference CESA'96 on "Discrete Events and Manufacturing Systems", Lille - France (1996)

Department home [Information] [People] [Research] [Ph.D.] [Education] [Library] [Search]
[Bandi/Careers] [HelpDesk] [Administration] [Services] [Hostings] [News and events]

Administrator: wwwadm[at]di.unito.it Last update: May 17, 2018