Programmazione Logica Orientata agli Oggetti
 |
 |
 |
@phdthesis{omiciniphd,
abstract = {Lo scopo di questa tesi \`{e} definire un unico modello computazionale basato sulla logica del prim’ordine, che sia in grado di catturare tutto quanto \`{e} essenziale nei paradigmi logico e orientato agli oggetti, senza perdere nessuna delle caratteristiche fondamentali di ciascuno dei due approcci. Dopo un’analisi delle soluzioni disponibili, la scelta di una rappresentazione degli oggetti come teorie logiche emerger\`{a} come la pi\`{u} utile; in particolare si potr\`{a} mostrare come la pi\`{u} parte delle caratteristiche peculiari del paradigma a orientato agli oggetti possa essere catturata e riprodotta in ambito logico adottando ed estendendo opportunamente il modello della programmazione logica contestuale. Il modello risultante verr\`{a} poi descritto, e ne sar\`{a} discussa una realizzazione in termini sia di linguaggio sia di implementazione. I limiti intrinseci del modello introdotto (relativi in particolare alla capacit\`{a} di esprimere tanto la nozione di stato di un oggetto, quanto quella di relazione classe/istanza) fungeranno poi da linee-guida per un nuovo framework concettuale basato i) sull’abduzione, per la creazione e configurazione dinamica di teorie logiche in modo dichiarativo, e ii) sul concetto di vincolo di metalivello per la definizione di un modello computazionale adeguato. L’introduzione del concetto di computazione a vincoli consentir\`{a} di porre in evidenza come programmare per relazioni con un modello dei dati a oggetti pu\`{o} in linea di principo consentire la riconciliazione di metodologie di programmazione apparentemente distanti come quella a oggetti e quella a vincoli, in un quadro concettuale pi\`{u} semplice e uniforme (e quindi, in breve, pi\`{u} convincente) di altri approcci allo stesso problema noti in letteratura.},
author = {Omicini, Andrea},
cycle = {PHD},
keywords = {logic programming; object-oriented programming: constraint programming; abductive logic programming; contextual logic programming},
language = {it},
month = nov,
school = {Alma Mater Studiorum – Università di Bologna},
supervisor = {Natali, Antonio},
title = {Programmazione Logica Orientata agli Oggetti},
translatedtitle = {Object-Oriented Logic Programming},
type = {PhD thesis},
year = 1995
}
abstract = {Lo scopo di questa tesi \`{e} definire un unico modello computazionale basato sulla logica del prim’ordine, che sia in grado di catturare tutto quanto \`{e} essenziale nei paradigmi logico e orientato agli oggetti, senza perdere nessuna delle caratteristiche fondamentali di ciascuno dei due approcci. Dopo un’analisi delle soluzioni disponibili, la scelta di una rappresentazione degli oggetti come teorie logiche emerger\`{a} come la pi\`{u} utile; in particolare si potr\`{a} mostrare come la pi\`{u} parte delle caratteristiche peculiari del paradigma a orientato agli oggetti possa essere catturata e riprodotta in ambito logico adottando ed estendendo opportunamente il modello della programmazione logica contestuale. Il modello risultante verr\`{a} poi descritto, e ne sar\`{a} discussa una realizzazione in termini sia di linguaggio sia di implementazione. I limiti intrinseci del modello introdotto (relativi in particolare alla capacit\`{a} di esprimere tanto la nozione di stato di un oggetto, quanto quella di relazione classe/istanza) fungeranno poi da linee-guida per un nuovo framework concettuale basato i) sull’abduzione, per la creazione e configurazione dinamica di teorie logiche in modo dichiarativo, e ii) sul concetto di vincolo di metalivello per la definizione di un modello computazionale adeguato. L’introduzione del concetto di computazione a vincoli consentir\`{a} di porre in evidenza come programmare per relazioni con un modello dei dati a oggetti pu\`{o} in linea di principo consentire la riconciliazione di metodologie di programmazione apparentemente distanti come quella a oggetti e quella a vincoli, in un quadro concettuale pi\`{u} semplice e uniforme (e quindi, in breve, pi\`{u} convincente) di altri approcci allo stesso problema noti in letteratura.},
author = {Omicini, Andrea},
cycle = {PHD},
keywords = {logic programming; object-oriented programming: constraint programming; abductive logic programming; contextual logic programming},
language = {it},
month = nov,
school = {Alma Mater Studiorum – Università di Bologna},
supervisor = {Natali, Antonio},
title = {Programmazione Logica Orientata agli Oggetti},
translatedtitle = {Object-Oriented Logic Programming},
type = {PhD thesis},
year = 1995
}
