http://www.1stleft.com/wiki/ 2010-09-06T10:37:11+02:00 http://www.1stleft.com/wiki/ http://www.1stleft.com/wiki/lib/images/favicon.ico text/html 2010-08-14T16:30:31+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:relazioni&rev=1281796231&do=diff Relazione Introduzione Una relazione collega tra loro un gruppo di istanze. Matematicamente possiamo dire che essa corrisponde a tutti i possibili archi che collegano il gruppo di istanze. Una relazione identifica il pattern relativo ad un gruppo d’istanze in modo tale da poterlo replicare nel dominio, in un luogo diverso, generando un nuovo pattern d’istanze uguale all’originale. text/html 2010-08-14T15:40:19+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:istanze&rev=1281793219&do=diff Definizione di Istanze La dichiarazione d’istanza corrisponde all’affermazione dell’esistenza di un’istanza nel dominio. Tale dichiarazione può essere vera, se l’istanza già esiste e falsa se l’istanza ancora non è stata creata. In alcuni casi la dichiarazione di un’istanza provoca la creazione dell’istanza nominata. Ciò accade solo per le prime due istanze del dominio, le quali, sono le sole che sono necessariamente create senza riferimenti ad altre istanze preesistenti. text/html 2010-08-12T16:00:29+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:modelli&rev=1281621629&do=diff Dichiarazione di Modelli Il modello, insieme alla forma è un’entità astratta nell’ambito di un dominio. Le entità astratte producono effetti reali nel dominio solo, quando sono applicate. È possibile definire una configurazione geometrica di punti in modo tale che la loro posizione è univocamente determinata. Ciò si realizza imponendo ai punti dei vincoli reciproci in numero e tipo necessario tale da fissare la posizione univoca delle istanze coinvolte. Riportando tale considerazione al nostr… text/html 2010-03-20T14:26:49+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=guida:gli_script&rev=1269091609&do=diff Gli Scripts Il linguaggio di script utilizzato da CLAC si chiama CLAC-L o CLACL (CLAC Language). I comandi per la generazione del dominio sono elencati su di un file. Questo, sottoposto ad interpretazione, genera un’immagine numerica del dominio. Tale immagine può essere rappresentata, tramite una funzione di visualizzazione, dall’ambiente di produzione CLAC-T. Nel presente capitolo è descritto nel dettaglio il linguaggio CLAC-L dal punto di vista organizzativo. text/html 2010-03-17T13:48:45+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:genlin&rev=1268830125&do=diff Generalità sul linguaggio Il linguaggio, con cui si scrivono le regole di generazione dello spazio logico che desideriamo creare, è denominato CLACL ed è suddiviso in tre parti: una permette la descrizione delle entità che costituiscono il dominio come istanze, relazioni, etc., un’altra permette di accedere alle informazioni relative al dominio e può essere considerato un metalinguaggio sul dominio costituito (osserva il dominio rimanendone al di fuori). L’ultima parte, mette a disposizione d… text/html 2010-03-17T13:46:15+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:introduzione&rev=1268829975&do=diff Introduzione * Il Dominio * Le Entità * Generalità sul linguaggio text/html 2010-03-17T13:44:05+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:cnt-stato&rev=1268829845&do=diff Stato Si ritiene utile accennare ad una caratteristica del linguaggio che, sebbene non rientri tra gli elementi che concorrono a generare il dominio, riveste un particolare interesse per la sua applicazione pratica. Come abbiamo già visto un dominio compositivo realizzato è costituito da istanze collegate tra loro da relazioni che danno come risultato una configurazione. Data tale configurazione possiamo immaginare che al variare di alcune relazioni, si possano ottenere svariate configurazioni… text/html 2010-03-17T13:41:55+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:cnt-insieme&rev=1268829715&do=diff Insieme L’insieme è una raccolta d’identificativi d’entità dello stesso tipo. E’ possibile avere insiemi per tutte le entità del dominio, non è possibile avere insiemi di insiemi ne insiemi misti. Un insieme può contenere anche identificativi d’entità ancora non presenti nel dominio. È possibile fare un considerevole numero di operazioni tra insiemi. text/html 2010-03-17T13:40:26+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:entita&rev=1268829626&do=diff Le Entità Entità del Dominio * Istanze * Relazioni * Figure * Modelli * Forme Entità di contesto * Insieme * Stato Informazioni associate alle entità Le informazioni associate alle varie entità sono: * istanza * name nome * id identificativo * pos posizione * crd1 prima coordinata * crd2 seconda coordinata * descriptor testo descrittivo text/html 2010-03-17T13:39:22+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:ent-forma&rev=1268829562&do=diff Forme Il concetto di forma esprime la possibilità che esista un’immagine ideale di una certa cosa. La forma può anche essere l’idea, la causa e la ragione della cosa. Da essa hanno origine le cose reali. La forma può anche essere descritta come l’immagine media alla quale si avvicinano le immagini reali. Nel caso specifico, poiché il nostro “mondo” è il dominio che si sta generando , le “cose” cui si fa riferimento sono costituite da istanze e prenderanno la forma di figure, in sostanza, una f… text/html 2010-03-17T13:36:45+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:ent-figura&rev=1268829405&do=diff Figure Una figura è un pattern d’istanze con alcune caratteristiche particolari che riconducono a quelle tipiche di una figura geometrica ma che possono essere applicate a concetti più generali. Una figura, ad esempio, può avere un interno, un esterno ed un perimetro. La figura è generata dall’applicazione di una forma. text/html 2010-03-17T13:35:31+02:00 Mauro Gazzelloni http://www.1stleft.com/wiki/doku.php?id=dokulan:ent-modello&rev=1268829331&do=diff Modelli Un modello permette di definire un pattern astratto di istanze secondo una determinata geometria in modo che ogni istanza virtuale che ne fa parte abbia una posizione specifica in una costruzione geometrica vincolata. Anche il modello come la relazione ha una fase dichiarativa, nella quale avviene la sua descrizione, e una fase applicativa nella quale il modello genera le istanze necessarie alla sua applicazione nel dominio. L’applicazione del modello produce una relazione complessa ch…