Evoluzioni di Ontologie in Frame Logic
|
|
- Silvano Novelli
- 8 anni fa
- Visualizzazioni
Transcript
1 Evoluzioni di Ontologie in Frame Logic Francesco Mele 1, Antonio Sorgente 1, Giuseppe Vettigli 1 1 C.N.R. Istituto di Cibernetica E. Caianiello, Via Campi Flegrei, 34 Pozzuoli, Naples, Italy. {f.mele, a.sorgente, g.vettigli}@cib.na.cnr.it Abstract. In quest articolo presentiamo una metodologia e un framework per le evoluzioni di ontologie definite in Frame Logic. Il sistema definito permette di valutare operazioni di modifica di un ontologia al fine di garantire la consistenza dell ontologia stessa. Il framework esegue controlli mediante un insieme di operazioni di base e inoltre è in grado di eseguire operazioni di controllo su regole evolutive definite dall utente per uno specifico dominio. Keywords: Frame Logic, Ontologie, Evoluzioni di Ontologie 1 Introduzione Ogni qualvolta è modificata un ontologia si eseguono delle operazioni di ridefinizione, aggiunta o eliminazione di classi, d istanze e di relazioni fra tali entità. Tali modifiche possono generare delle inconsistenze di vario tipo che devono essere eliminate per assicurare l integrità della rappresentazione stessa. I cambiamenti delle entità dell ontologia appartengono a un processo che si sviluppa in un tempo, fisico o convenzionale, che attraversa vari stadi, in ognuno dei quali possono presentarsi delle inconsistenze. Un processo di trasformazione di un ontologia nel tempo, O(t), O(t+1), O(t+2),,O(t+n), del tipo descritto, viene detto evoluzione. In questo lavoro ci occupiamo del controllo dell evoluzione di un ontologia, attività che consiste nell individuare inconsistenze e della loro eliminazione. Le metodologie attuali prevedono tre tipi di controlli di consistenza [3,6]: 1. consistenza strutturale, la quale assicura che l ontologia sia definita rispetto al modello di riferimento adottato e ai costrutti del linguaggio di rappresentazione scelto; 2. consistenza logica, la quale assicura che un ontologia sia semanticamente corretta, ad esempio che non contenga informazioni contraddittorie; 3. consistenza definita dall'utente, quest ultima assicura che l ontologia sia consistente rispetto a particolari regole di modifiche (regole evolutive) definite dall'utente. Il primo tipo di controllo di consistenza è usato per garantire che le operazioni di modifica, eseguite sull ontologia corrente O(t), conservino una certa espressività di rappresentazione al fine di mantenere lo stesso livello di complessità computazionale dell ontologia di partenza O(t) (alcuni classificatori come quello della versione
2 standard di OWL [5] si limita a segnalare al programmatore che è stata aumentata o diminuita l espressività linguistica). Il controllo di consistenza logica, invece, garantisce che dopo una modifica, l ontologia non presenti delle contraddizioni di tipo logico. Ad esempio se in un ontologia due concetti A e B sono definiti disgiunti, allora non può essere inserito un oggetto I che è sia istanza di A che di B. I tipi di controllo 1. e 2. sono indipendenti dal tipo di conoscenza Agli approcci di controllo di consistenza dipendenti dal dominio di conoscenza (3. della lista), invece, appartengono quelli di consistenza definiti dall utente. Questi ultimi a loro volta si dividono in controlli generici e controlli dipendenti dal dominio. Quelli generici si rappresentano mediante vincoli che sono utilizzati per definire bestpractices per la definizione di ontologie. Appartengono a questa categoria i vincoli definiti nella metodologia OntoClean [2] per le nozioni di rigidità, d identità e di unità. I controlli di consistenza, definiti dall utente dipendenti dal dominio, sono definiti mediante una data politica di modifica in un dominio specifico. Ad esempio si possono definire delle limitazioni sulla creazione di sottoclassi imponendo che ogni sottoclasse di una classe A abbia almeno un nuovo attributo rispetto alla classe A. 2 Fasi di uno stadio evolutivo In questo lavoro ci siamo occupati in particolare dei controlli di consistenza definiti dall utente: la loro rappresentazione, come scoprire e risolvere inconsistenze. Nell approccio che proponiamo, vi è una separazione delle attività di formulazione (la proposta dell evoluzione) da quelle di controllo della consistenza dell evoluzione: la formulazione evolutiva avviene per opera di un operatore umano, che per scopi di revisione delle conoscenze, elimina o inserisce nuove entità nell ontologia, mentre il controllo della consistenza avviene da parte di un sistema software che agisce con regole indipendenti o dipendenti dal dominio (in avanti forniremo in dettaglio i tipi regole e come esse sono formulate). Il processo di valutazione di un evoluzione (Fig. 1) inizia dopo che l utente ha definito delle operazioni di modifica (Proposte di modifica) sull ontologia O(t) (ontologia consistente al tempo t). Dalla prassi comune dei processi di creazione e modifica di ontologie, si possono individuare un insieme di operazioni di base le quali permettono di aggiungere e rimuovere: una classe; una relazione tassonomica tra le classi; un attributo e sue proprietà; un'istanza di una classe. Dopo che le modifiche sono state eseguite sull ontologia corrente (O(t)), viene definita una versione aggiornata (temporanea) dell ontologia (O(t+1)). Su O(t+1) sono eseguiti i controlli di consistenza previsti per ciascun tipo di operazione di modifica. Se nell ontologia sono scoperte delle inconsistenze, allora inizia il processo di risoluzione di esse (Risoluzione delle inconsistenze). Il sistema cerca di risolvere le inconsistenze, prima automaticamente, mediante regole che rimuovono l inconsistenza in relazione ad alcuni frequenti errori di revisione dei programmatori (si veda in paragrafo 3.3), poi interagendo con il programmatore stesso. In quest ultimo caso il sistema mostra l inconsistenza riscontrata e le scelte possibili per
3 la risoluzione. Risolte le inconsistenze, le modifiche diventeranno effettive e viene confermata la nuova versione O(t+1) dell ontologia. Per ogni passaggio evolutivo da O(t) ad O(t+1) sono annotate tutte le operazioni eseguite sull ontologia, sia quelle definite dall utente, sia le operazioni eseguite dal sistema per la risoluzione delle inconsistenze. Ontologia O(t) Proposte di modifica sull ontologia Ontologia O(t+1) temporanea Inconsistenze individuate Ontologia O(t+1) Esecuzione delle modifiche Controlli di consistenza Risoluzione delle inconsistenze o annullamento delle operazioni Dati rappresentati nel sistema Processi eseguiti dal sistema Dati rappresentati nel sistema forniti dall utente Interazione con l utente Fig. 1.: Fasi di uno stadio evolutivo Il linguaggio di riferimento per l implementazione del sistema è quella della Frame-Logic[4], in particolare è stato utilizzato il linguaggio Flora2 [1]. Per la lettura dei programmi presentati, elenchiamo alcuni costrutti base del linguaggio Flora2. X::Y (la classe X è sottoclasse della classe Y), X:Y (X è un istanza della classe Y), X =>Y (X è un attributo di tipo Y), X->Y (Y è il valore dell attributo X), X *=>Y (come X =>Y e l attributo è ereditato dalle sottoclassi). In Flora2, qualsiasi concatenazione di letterali alfanumerici, inizianti con un carattere, preceduti dal simbolo? rappresentano variabili(?x,?ay,?a1, etc..). I simboli :-, la virgola (, ) e il punto e virgola ( ; ) ha la stessa interpretazione degli omologhi costrutti prolog. 3 Regole di evoluzione in Frame Logic Le operazioni di revisione di un ontologia sono rappresentate nel sistema mediante regole Flora2. Un esempio di operazione è la seguente: addslot(?c,?sname,?stype,?cmin,?cmax,true,?user,?mod):- insert{(?c[?sname{?cmin:? Max}*=>?SType])@?Mod}. La regola definisce l operazione addslot che aggiunge alla classe?c lo slot?sname di tipo?stype con cardinalità minima?cmin e massima?cmax. La costante true indica che lo slot è ereditato dalle sottoclassi di?c (false altrimenti).?user è l'utente che ha eseguito l'operazione.?mod stabilisce se l operazione di revisione è definitiva per il sistema. La richiesta di un utente U di aggiungere alla classe C uno slot S di tipo T con cardinalità minima 1 e massima 2, è rappresentato nel seguente modo: ricut(u,addslot,[c,s,t,1,2,true]).
4 Per l esecuzione di ogni operazione è stata definita una funzione che individua le richieste di modifica dell ontologia (analizzando i fatti ricut/3) e attiva le operazioni di revisione corrispondente. La definizione della funzione è la seguente: excute_op:- (1) ricut(?user,?opname,?pars), (2) def_op(?user,?opname,?pars,?op), (3)?OP=..[hilog(addSlot),?Pars,?User] call(?op), (4) write_evoluzioni(?op). (5) La funzione recupera i dati relative alle richieste utente (passo 2), def_op/4 costruisce la chiamata all operazione e la mette in?op (conterrà un invocazione di tipo addslot/8), successivamente la invoca (passo 4) e infine immagazzina nella struttura Evoluzioni l operazione eseguita (passo 5). 3.2 Controllo della consistenza Nell approccio adottato, per ogni operazione di richiesta di modifica è associato uno o più controlli di consistenza. Sempre in relazione all operazione di aggiungere uno slot ad una classe, dopo il suo inserimento nell ontologia temporanea una funzione check/1 è attivata per eseguire il controllo di consistenza: check(addslot):- (1) ricut(?user, (2) addslot,[(?c,?sname,?stype,?cmin,?cmax,?inh]),?check=..[hilog(slotcheck, modc), (3)?C,?SName,?SType,?CMin,?CMax], call(?check). (4) La funzione analizza le operazioni eseguite valutando le asserzioni espresse mediante il predicato ricut/3 che descrivono le richieste degli utenti ed esegue il controllo associato. La regola check(addslot) è una particolare regola in corrispondenza della quale esiste uno specifico controllo di consistenza. Nel framework realizzato sono stati implementati altri controlli di consistenza come check(removeslot), check(addclass), check(removeclass), etc. Il sistema, in questo modo, ha una struttura estendibile che permette di aggiungere nuovi controlli di consistenza definiti dall utente. 3.3 Risoluzione delle inconsistenze Ogni revisione dell ontologia, come già riferito, può generare delle inconsistenze. Se ad esempio ad un esistente ontologia si aggiunge uno slot, con cardinalità minima CMin=1, allora tutte le istanze delle classe C sono inconsistenti, poiché ogni istanza della classe deve avere un valore assegnato per il nuovo slot. Inoltre, se lo slot è ereditato dalle sottoclassi, la stessa inconsistenza si presenta anche sulle istanze delle sottoclassi della classe C. In questi casi proponiamo delle regole di ripristino della consistenza. Ad esempio, per l inconsistenza causata della violazione delle cardinalità, abbiamo definito la regola:
5 risincosslotcmin(?c,?sname,?stype,?cmin,?cmax,?inh):- insetrule {?I:?Class[SName*->?V]:- (?Class=?C;?Class::?C),?I:?Class[not?SName*->?_], default(?stype,?v)}. La regola assegna un valore ad uno slot a tutte le istanze della classe. Abbiamo implementato altre regole di ripristino delle inconsistenze in relazione all azione di rimozione di una classe di un ontologia. In questo caso abbiamo previsto che sono possibili più tipi di soluzioni al problema: aggancio delle sottoclassi (pendenti) alla radice dell ontologia o alla superclasse più vicina alla classe eliminata oppure la loro eliminazione. Questa indeterminatezza è gestita da un interazione del framework con il revisore dell ontologia. Altre risoluzioni di inconsistenza possono essere aggiunte al sistema in maniera incrementale, ossia, senza dover modificare o cancellare le esistenti regole di ripristino. 4 Conclusioni In quest articolo abbiamo presentato un approccio per l evoluzione di ontologie con particolare attenzione ai controlli di consistenza definiti dall utente. Una metodologia ed un framework sono stati definiti per permettere a un utente di gestire le fasi di evoluzione di un ontologia: revisione, controllo e definizione delle regole di evoluzione. In questo modo l utente può personalizzare il processo di evoluzione in funzione dello specifico dominio definendo nuove operazioni e regole evolutive. Come esempio di regole definite dall utente abbiamo presentato una rappresentazione di un processo evolutivo di classi di un ontologia che descrivono specie di artefatti. References 1. Flora Project, 2. Guarino, N., Welty, C.A.: An overview of OntoClean. Handbook on ontologies, Springer Verlag, (2004) 3. Haase P., Stojanovic, L.: Consistent evolution of owl ontologies. In Proc. The Semantic Web: Research and Applications. pp (2005). 4. Kifer, M., Laursen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM. (1995). 5. OWL: Web Ontology Language, 6. Stojanovic, L.: Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe. (2004)
Esercitazione di Basi di Dati
Esercitazione di Basi di Dati Corso di Fondamenti di Informatica 6 Maggio 2004 Come costruire una ontologia Marco Pennacchiotti pennacchiotti@info.uniroma2.it Tel. 0672597334 Ing.dell Informazione, stanza
DettagliRegione Toscana. ARPA Fonte Dati. Manuale Amministratore. L. Folchi (TAI) Redatto da
ARPA Fonte Dati Regione Toscana Redatto da L. Folchi (TAI) Rivisto da Approvato da Versione 1.0 Data emissione 06/08/13 Stato DRAFT 1 Versione Data Descrizione 1,0 06/08/13 Versione Iniziale 2 Sommario
DettagliStefania Marrara - Esercitazioni di Tecnologie dei Sistemi Informativi. Integrazione di dati di sorgenti diverse
Politecnico di Milano View integration 1 Integrazione di dati di sorgenti diverse Al giorno d oggi d la mole di informazioni che viene gestita in molti contesti applicativi è enorme. In alcuni casi le
DettagliGenerazione Automatica di Asserzioni da Modelli di Specifica
UNIVERSITÀ DEGLI STUDI DI MILANO BICOCCA FACOLTÀ DI SCIENZE MATEMATICHE FISICHE E NATURALI Corso di Laurea Magistrale in Informatica Generazione Automatica di Asserzioni da Modelli di Specifica Relatore:
DettagliPiano di gestione della qualità
Piano di gestione della qualità Pianificazione della qualità Politica ed obiettivi della qualità Riferimento ad un eventuale modello di qualità adottato Controllo della qualità Procedure di controllo.
DettagliProgettaz. e sviluppo Data Base
Progettaz. e sviluppo Data Base! Progettazione Basi Dati: Metodologie e modelli!modello Entita -Relazione Progettazione Base Dati Introduzione alla Progettazione: Il ciclo di vita di un Sist. Informativo
DettagliOrganizzazione degli archivi
COSA E UN DATA-BASE (DB)? è l insieme di dati relativo ad un sistema informativo COSA CARATTERIZZA UN DB? la struttura dei dati le relazioni fra i dati I REQUISITI DI UN DB SONO: la ridondanza minima i
DettagliProgetto: ARPA Fonte Dati. ARPA Fonte Dati. Regione Toscana. Manuale Amministratore
ARPA Fonte Dati Regione Toscana 1 Redatto da L. Folchi (TAI) Rivisto da Approvato da Versione 1.1 Data emissione 09/10/13 Stato FINAL 2 Versione Data Descrizione 1,0 06/08/13 Versione Iniziale 1.1 09/10/2013
DettagliMon Ami 3000 Varianti articolo Gestione di varianti articoli
Prerequisiti Mon Ami 3000 Varianti articolo Gestione di varianti articoli L opzione Varianti articolo è disponibile per le versioni Azienda Light e Azienda Pro e include tre funzionalità distinte: 1. Gestione
DettagliIl Modello Relazionale
Il Modello Relazionale Il modello relazionale 1 Il modello relazionale Proposto da E. F. Codd nel 1970 per favorire l indipendenza dei dati e reso disponibile come modello logico in DBMS reali nel 1981
DettagliIndice generale. OOA Analisi Orientata agli Oggetti. Introduzione. Analisi
Indice generale OOA Analisi Orientata agli Oggetti Introduzione Analisi Metodi d' analisi Analisi funzionale Analisi del flusso dei dati Analisi delle informazioni Analisi Orientata agli Oggetti (OOA)
DettagliLogistica magazzino: Inventari
Logistica magazzino: Inventari Indice Premessa 2 Scheda rilevazioni 2 Registrazione rilevazioni 3 Filtro 3 Ricerca 3 Cancella 3 Stampa 4 Creazione rettifiche 4 Creazione rettifiche inventario 4 Azzeramento
DettagliGestione Turni. Introduzione
Gestione Turni Introduzione La gestione dei turni di lavoro si rende necessaria quando, per garantire la continuità del servizio di una determinata struttura, è necessario che tutto il personale afferente
DettagliAutomazione Industriale (scheduling+mms) scheduling+mms. adacher@dia.uniroma3.it
Automazione Industriale (scheduling+mms) scheduling+mms adacher@dia.uniroma3.it Introduzione Sistemi e Modelli Lo studio e l analisi di sistemi tramite una rappresentazione astratta o una sua formalizzazione
DettagliDatabase. Si ringrazia Marco Bertini per le slides
Database Si ringrazia Marco Bertini per le slides Obiettivo Concetti base dati e informazioni cos è un database terminologia Modelli organizzativi flat file database relazionali Principi e linee guida
DettagliSommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.
Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell
DettagliBASI DI DATI per la gestione dell informazione. Angelo Chianese Vincenzo Moscato Antonio Picariello Lucio Sansone
BASI DI DATI per la gestione dell informazione Angelo Chianese Vincenzo Moscato Antonio Picariello Lucio Sansone Libro di Testo 22 Chianese, Moscato, Picariello e Sansone BASI DI DATI per la Gestione dell
DettagliLezione 8. La macchina universale
Lezione 8 Algoritmi La macchina universale Un elaboratore o computer è una macchina digitale, elettronica, automatica capace di effettuare trasformazioni o elaborazioni su i dati digitale= l informazione
DettagliLezione V. Aula Multimediale - sabato 29/03/2008
Lezione V Aula Multimediale - sabato 29/03/2008 LAB utilizzo di MS Access Definire gli archivi utilizzando le regole di derivazione e descrivere le caratteristiche di ciascun archivio ASSOCIAZIONE (1:1)
DettagliManuale Utente. Gestione Richieste supporto BDAP. Versione 1.0
Manuale Utente Gestione Richieste supporto BDAP Versione 1.0 Roma, Settembre 2015 1 Indice 1 Generalità... 3 1.1 Scopo del documento... 3 1.2 Versioni del documento... 3 1.3 Documenti di Riferimento...
DettagliArtifact Centric Business Processes (I)
Introduzione Autore: Docente: Prof. Giuseppe De Giacomo Dipartimento di Informatica e Sistemistica SAPIENZA - Universitá di Roma 16 Novembre 2008 Una visione assiomatica La modellazione dei processi di
DettagliSOFTWARE A SUPPORTO DELLA GESTIONE AMMINISTRATIVA DELLO SPORTELLO UNICO SPECIFICA DEI REQUISITI UTENTE
Pag. 1 di 16 SOFTWARE A SUPPORTO DELLA (VERS. 3.1) Specifica dei Requisiti Utente Funzionalità di associazione di più Richiedenti ad un procedimento Codice Identificativo VERIFICHE ED APPROVAZIONI CONTROLLO
DettagliArchivi e database. Prof. Michele Batocchi A.S. 2013/2014
Archivi e database Prof. Michele Batocchi A.S. 2013/2014 Introduzione L esigenza di archiviare (conservare documenti, immagini, ricordi, ecc.) è un attività senza tempo che è insita nell animo umano Primi
DettagliStrumenti di modellazione. Gabriella Trucco
Strumenti di modellazione Gabriella Trucco Linguaggio di modellazione Linguaggio formale che può essere utilizzato per descrivere (modellare) un sistema Il concetto trova applicazione soprattutto nell
Dettagli(anno accademico 2008-09)
Calcolo relazionale Prof Alberto Belussi Prof. Alberto Belussi (anno accademico 2008-09) Calcolo relazionale E un linguaggio di interrogazione o e dichiarativo: at specifica le proprietà del risultato
DettagliUn gioco con tre dadi
Un gioco con tre dadi Livello scolare: biennio Abilità interessate Costruire lo spazio degli eventi in casi semplici e determinarne la cardinalità. Valutare la probabilità in diversi contesti problematici.
DettagliObject Oriented Programming
OOP Object Oriented Programming Programmazione orientata agli oggetti La programmazione orientata agli oggetti (Object Oriented Programming) è un paradigma di programmazione Permette di raggruppare in
DettagliManuale Utente. Gestione Richieste supporto Data Warehouse. Della Ragioneria Generale dello Stato. Versione 1.0. Roma, Ottobre 2015
Manuale Utente Gestione Richieste supporto Data Warehouse Della Ragioneria Generale dello Stato Versione 1.0 Roma, Ottobre 2015 1 Indice 1 Generalità... 3 1.1 Scopo del documento... 3 1.2 Versioni del
DettagliCapitolo 13. Interrogare una base di dati
Capitolo 13 Interrogare una base di dati Il database fisico La ridondanza è una cosa molto, molto, molto brutta Non si devono mai replicare informazioni scrivendole in più posti diversi nel database Per
DettagliBasi di dati. Il Modello Relazionale dei Dati. K. Donno - Il Modello Relazionale dei Dati
Basi di dati Il Modello Relazionale dei Dati Proposto da E. Codd nel 1970 per favorire l indipendenza dei dati Disponibile come modello logico in DBMS reali nel 1981 (non è facile realizzare l indipendenza
DettagliScheduling della CPU. Sistemi multiprocessori e real time Metodi di valutazione Esempi: Solaris 2 Windows 2000 Linux
Scheduling della CPU Sistemi multiprocessori e real time Metodi di valutazione Esempi: Solaris 2 Windows 2000 Linux Sistemi multiprocessori Fin qui si sono trattati i problemi di scheduling su singola
DettagliAccess. P a r t e p r i m a
Access P a r t e p r i m a 1 Esempio di gestione di database con MS Access 2 Cosa è Access? Access e un DBMS che permette di progettare e utilizzare DB relazionali Un DB Access e basato sui concetti di
DettagliCORSO ACCESS PARTE II. Esistono diversi tipi di aiuto forniti con Access, generalmente accessibili tramite la barra dei menu (?)
Ambiente Access La Guida di Access Esistono diversi tipi di aiuto forniti con Access, generalmente accessibili tramite la barra dei menu (?) Guida in linea Guida rapida Assistente di Office indicazioni
DettagliIntroduzione alla teoria dei database relazionali. Come progettare un database
Introduzione alla teoria dei database relazionali Come progettare un database La struttura delle relazioni Dopo la prima fase di individuazione concettuale delle entità e degli attributi è necessario passare
DettagliIl database management system Access
Il database management system Access Corso di autoistruzione http://www.manualipc.it/manuali/ corso/manuali.php? idcap=00&idman=17&size=12&sid= INTRODUZIONE Il concetto di base di dati, database o archivio
DettagliModello di Controllo dell Accesso basato sui ruoli (RBAC)
Modello di Controllo dell Accesso basato sui ruoli (RBAC) POLITICHE RBAC Sistemi di tipo Role Based Access Control (RBAC) assegnano i privilegi non agli utenti, ma alla funzione che questi possono svolgere
DettagliRiepilogo delle modifiche di PA-DSS dalla versione 2.0 alla 3.0
Settore delle carte di pagamento (PCI) Standard di protezione dei dati per le applicazioni di pagamento () Riepilogo delle modifiche di dalla versione 2.0 alla 3.0 Novembre 2013 Introduzione Il presente
DettagliLa Metodologia adottata nel Corso
La Metodologia adottata nel Corso 1 Mission Statement + Glossario + Lista Funzionalià 3 Descrizione 6 Funzionalità 2 Schema 4 Schema 5 concettuale Logico EA Relazionale Codice Transazioni In PL/SQL Schema
DettagliProgettazione di Basi di Dati
Progettazione di Basi di Dati Prof. Nicoletta D Alpaos & Prof. Andrea Borghesan Entità-Relazione Progettazione Logica 2 E il modo attraverso il quale i dati sono rappresentati : fa riferimento al modello
DettagliCitySoftware PROTOCOLLO. Info-Mark srl
CitySoftware PROTOCOLLO Info-Mark srl Via Rivoli, 5/1 16128 GENOVA Tel. 010/591145 Fax 010/591164 Sito internet: www.info-mark.it e-mail Info-Mark@Info-Mark.it SISTEMA DI PROTOCOLLAZIONE AUTOMATICA Realizzato
DettagliConcetti di base di ingegneria del software
Concetti di base di ingegneria del software [Dalle dispense del corso «Ingegneria del software» del prof. A. Furfaro (UNICAL)] Principali qualità del software Correttezza Affidabilità Robustezza Efficienza
DettagliPortale tirocini. Manuale utente Per la gestione del Progetto Formativo
GESTIONE PROGETTO FORMATIVO Pag. 1 di 38 Portale tirocini Manuale utente Per la gestione del Progetto Formativo GESTIONE PROGETTO FORMATIVO Pag. 2 di 38 INDICE 1. INTRODUZIONE... 3 2. ACCESSO AL SISTEMA...
DettagliGestione dei servizi all utenza. 3. Autorizzazioni
Istituto Centrale per il Catalogo Unico delle Biblioteche Italiane e per le Informazioni bibliografiche Manuali utente per SBN WEB Gestione dei servizi all utenza 3. Autorizzazioni 1 2 1. Introduzione
DettagliPag. 1. Gestione delle transazioni. Linguaggio SQL: costrutti avanzati. Esempio applicativo. Gestione delle transazioni. Prelievo. Esempio applicativo
Gestione delle transazioni Introduzione Transazioni in SQL Linguaggio SQL: costrutti avanzati 2 applicativo Operazioni bancarie operazione di prelievo dal proprio conto corrente mediante bancomat Gestione
DettagliLa gestione di un calcolatore. Sistemi Operativi primo modulo Introduzione. Sistema operativo (2) Sistema operativo (1)
La gestione di un calcolatore Sistemi Operativi primo modulo Introduzione Augusto Celentano Università Ca Foscari Venezia Corso di Laurea in Informatica Un calcolatore (sistema di elaborazione) è un sistema
DettagliDalla progettazione concettuale alla modellazione di dominio
Luca Cabibbo A P S Analisi e Progettazione del Software Dalla progettazione concettuale alla modellazione di dominio Capitolo 91 marzo 2015 Se qualcuno vi avvicinasse in un vicolo buio dicendo psst, vuoi
DettagliAnno 3. Funzioni: dominio, codominio e campo di esistenza
Anno 3 Funzioni: dominio, codominio e campo di esistenza 1 Introduzione In questa lezione parleremo delle funzioni. Ne daremo una definizione e impareremo a studiarne il dominio in relazione alle diverse
DettagliInformatica (Basi di Dati)
Corso di Laurea in Biotecnologie Informatica (Basi di Dati) Modello Entità-Relazione Anno Accademico 2009/2010 Da: Atzeni, Ceri, Paraboschi, Torlone - Basi di Dati Lucidi del Corso di Basi di Dati 1, Prof.
DettagliDatabase. Appunti di Amaranto Oronzo e Giancane Diego Lezione dell Ing. Lucia Vaira 24/04/2014
Database Appunti di Amaranto Oronzo e Giancane Diego Lezione dell Ing. Lucia Vaira 24/04/2014 Cos'è un database? È una struttura di dati composta da tabelle a loro volta composte da campi. Caratteristiche
Dettagli1. BASI DI DATI: GENERALITÀ
1. BASI DI DATI: GENERALITÀ BASE DI DATI (DATABASE, DB) Raccolta di informazioni o dati strutturati, correlati tra loro in modo da risultare fruibili in maniera ottimale. Una base di dati è usualmente
DettagliSOMMARIO... 3 INTRODUZIONE...
Sommario SOMMARIO... 3 INTRODUZIONE... 4 INTRODUZIONE ALLE FUNZIONALITÀ DEL PROGRAMMA INTRAWEB... 4 STRUTTURA DEL MANUALE... 4 INSTALLAZIONE INRAWEB VER. 11.0.0.0... 5 1 GESTIONE INTRAWEB VER 11.0.0.0...
DettagliMODELLO RELAZIONALE. Introduzione
MODELLO RELAZIONALE Introduzione E' stato proposto agli inizi degli anni 70 da Codd finalizzato alla realizzazione dell indipendenza dei dati, unisce concetti derivati dalla teoria degli insiemi (relazioni)
DettagliBasi di dati. (Sistemi Informativi) teoria e pratica con Microsoft Access. Basi di dati. Basi di dati. Basi di dati e DBMS DBMS DBMS
Basi di Basi di (Sistemi Informativi) Sono una delle applicazioni informatiche che hanno avuto il maggiore utilizzo in uffici, aziende, servizi (e oggi anche sul web) Avete già interagito (magari inconsapevolmente)
DettagliManuale LiveBox WEB ADMIN. http://www.liveboxcloud.com
2014 Manuale LiveBox WEB ADMIN http://www.liveboxcloud.com LiveBox Srl non rilascia dichiarazioni o garanzie in merito al contenuto o uso di questa documentazione e declina qualsiasi garanzia espressa
DettagliTelerilevamento e GIS Prof. Ing. Giuseppe Mussumeci
Corso di Laurea Magistrale in Ingegneria per l Ambiente e il Territorio A.A. 2014-2015 Telerilevamento e GIS Prof. Ing. Giuseppe Mussumeci Strutture di dati: DB e DBMS DATO E INFORMAZIONE Dato: insieme
DettagliRappresentazione grafica di entità e attributi
PROGETTAZIONE CONCETTUALE La progettazione concettuale, ha il compito di costruire e definire una rappresentazione corretta e completa della realtà di interesse, e il prodotto di tale attività, è lo schema
DettagliI modelli normativi. I modelli per l eccellenza. I modelli di gestione per la qualità. ! I modelli normativi. ! I modelli per l eccellenza
1 I modelli di gestione per la qualità I modelli normativi I modelli per l eccellenza Entrambi i modelli si basano sull applicazione degli otto principi del TQM 2 I modelli normativi I modelli normativi
DettagliCP Customer Portal. Sistema di gestione ticket unificato
CP Customer Portal Sistema di gestione ticket unificato Sommario CP Customer Portal...1 Sistema di gestione ticket unificato...1 Sommario...2 Flusso gestione ticket...3 Modalità di apertura ticket...3
DettagliOttimizzazione delle interrogazioni (parte I)
Ottimizzazione delle interrogazioni I Basi di Dati / Complementi di Basi di Dati 1 Ottimizzazione delle interrogazioni (parte I) Angelo Montanari Dipartimento di Matematica e Informatica Università di
DettagliFasi di creazione di un programma
Fasi di creazione di un programma 1. Studio Preliminare 2. Analisi del Sistema 6. Manutenzione e Test 3. Progettazione 5. Implementazione 4. Sviluppo 41 Sviluppo di programmi Per la costruzione di un programma
DettagliI Sistemi Informativi
I Sistemi Informativi Definizione Un Sistema Informativo è un mezzo per acquisire, organizzare, correlare, elaborare e distribuire le informazioni che riguardano una realtà che si desidera descrivere e
DettagliIl sapere tende oggi a caratterizzarsi non più come un insieme di contenuti ma come un insieme di metodi e di strategie per risolvere problemi.
E. Calabrese: Fondamenti di Informatica Problemi-1 Il sapere tende oggi a caratterizzarsi non più come un insieme di contenuti ma come un insieme di metodi e di strategie per risolvere problemi. L'informatica
DettagliCorso di Informatica
Corso di Informatica Modulo T3 1-Sottoprogrammi 1 Prerequisiti Tecnica top-down Programmazione elementare 2 1 Introduzione Lo scopo di questa Unità è utilizzare la metodologia di progettazione top-down
DettagliLinguaggi di programmazione
Linguaggi di programmazione Un calcolatore basato sul modello di von Neumann permette l esecuzione di un programma, cioè di una sequenza di istruzioni descritte nel linguaggio interpretabile dal calcolatore
DettagliISTRUZIONI PER LA GESTIONE BUDGET
ISTRUZIONI PER LA GESTIONE BUDGET 1) OPERAZIONI PRELIMINARI PER LA GESTIONE BUDGET...1 2) INSERIMENTO E GESTIONE BUDGET PER LA PREVISIONE...4 3) STAMPA DIFFERENZE CAPITOLI/BUDGET.10 4) ANNULLAMENTO BUDGET
DettagliGuida alla redazione del Fascicolo XBRL
o Europeo 2015 22.2.3 BILANCIO EUROPEO 2015 Guida alla redazione del Fascicolo XBRL Versione 22.2.3 Data Marzo 2015 Sommario GUIDA ALLA REDAZIONE DEL FASCICOLO XBRL parte 1 Premessa o Europeo e la gestione
DettagliING SW. Progetto di Ingegneria del Software. e-travel. Requisiti Utente. Specifiche Funzionali del Sistema
Pagina: 1 e-travel ING SW Progetto di Ingegneria del Software e-travel Requisiti Utente Specifiche Funzionali del Sistema e Pagina: 2 di 9 Indice dei contenuti 1 INTRODUZIONE... 3 1.1 SCOPO DEL DOCUMENTO...
Dettagli1.0 GUIDA PER L UTENTE
1.0 GUIDA PER L UTENTE COMINCIA FACILE Una volta effettuato il login vi troverete nella pagina Amministrazione in cui potrete creare e modificare le vostre liste. Una lista è semplicemnte un contenitore
DettagliManuale di Aggiornamento BOLLETTINO. Rel. 5.20.1H4. DATALOG Soluzioni Integrate a 32 Bit
Manuale di Aggiornamento BOLLETTINO Rel. 5.20.1H4 DATALOG Soluzioni Integrate a 32 Bit - 2 - Manuale di Aggiornamento Sommario 1 2 PER APPLICARE L AGGIORNAMENTO... 3 1.1 Aggiornamento Patch Storica...
DettagliLa gestione manageriale dei progetti
PROGETTAZIONE Pianificazione, programmazione temporale, gestione delle risorse umane: l organizzazione generale del progetto Dimitri Grigoriadis La gestione manageriale dei progetti Per organizzare il
DettagliAnalizzatore lessicale o scanner
Analizzatore lessicale o scanner Lo scanner rappresenta un'interfaccia fra il programma sorgente e l'analizzatore sintattico o parser. Lo scanner, attraverso un esame carattere per carattere dell'ingresso,
DettagliIntroduzione alla Programmazione Orientata agli Oggetti. Classi, Oggetti e Messaggi
Introduzione alla Programmazione Orientata agli Oggetti Classi, Oggetti e Messaggi Agenda 1. La metodologia di progettazione ad oggetti Concetti fondamentali: oggetti, classi, messaggi 2. I concetti fondamentali
DettagliArchimede ver. 3.0.0. 2013 GUIDA FUNZIONALE ARCHIMEDE VER. 3.0.0.
GUIDA FUNZIONALE ARCHIMEDE VER. 3.0.0. 1 Scopo della guida: La presente guida ha lo scopo di fornire una visione globale delle funzionalità del programma. La spiegazione particolareggiata dei campi e del
DettagliEsercizi di JavaScript
Esercizi di JavaScript JavaScript JavaScript é un linguaggio di programmazione interpretato e leggero, creato dalla Netscape. E' presente a patire da Netscape 2 in tutti i browser ed é dunque il linguaggio
DettagliLinguaggio SQL: costrutti avanzati
Linguaggio SQL: costrutti avanzati Gestione delle transazioni Introduzione Transazioni in SQL Proprietà delle transazioni 2 Pag. 1 1 Gestione delle transazioni Esempio applicativo Operazioni bancarie operazione
DettagliCon il termine Sistema operativo si fa riferimento all insieme dei moduli software di un sistema di elaborazione dati dedicati alla sua gestione.
Con il termine Sistema operativo si fa riferimento all insieme dei moduli software di un sistema di elaborazione dati dedicati alla sua gestione. Compito fondamentale di un S.O. è infatti la gestione dell
DettagliSISTEMI INFORMATIVI AVANZATI -2010/2011 1. Introduzione
SISTEMI INFORMATIVI AVANZATI -2010/2011 1 Introduzione In queste dispense, dopo aver riportato una sintesi del concetto di Dipendenza Funzionale e di Normalizzazione estratti dal libro Progetto di Basi
DettagliAlessandra Raffaetà. Basi di Dati
Lezione 2 S.I.T. PER LA VALUTAZIONE E GESTIONE DEL TERRITORIO Corso di Laurea Magistrale in Scienze Ambientali Alessandra Raffaetà Dipartimento di Informatica Università Ca Foscari Venezia Basi di Dati
DettagliDDL, VINCOLI D INTEGRITÁ, AGGIORNAMENTI E VISTE. SQL è più di un semplice linguaggio di interrogazione
SQL DDL, VINCOLI D INTEGRITÁ, AGGIORNAMENTI E VISTE SQL è più di un semplice linguaggio di interrogazione! Linguaggio di definizione dati (Data-definition language, DDL):! Crea/distrugge/modifica relazioni
DettagliStrumenti per la gestione della configurazione del software
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo ing. Luigi Suarato candidato Pasquale Palumbo Matr. 534/000021 MANUTENZIONE DEL SOFTWARE Il Configuration
DettagliINTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI
INTRODUZIONE AGLI ALGORITMI Prima di riuscire a scrivere un programma, abbiamo bisogno di conoscere un metodo risolutivo, cioè un metodo che a partire dai dati di ingresso fornisce i risultati attesi.
DettagliEsempi di algoritmi. Lezione III
Esempi di algoritmi Lezione III Scopo della lezione Implementare da zero algoritmi di media complessità. Verificare la correttezza di un algoritmo eseguendolo a mano. Imparare a valutare le prestazioni
Dettaglie-dva - eni-depth Velocity Analysis
Lo scopo dell Analisi di Velocità di Migrazione (MVA) è quello di ottenere un modello della velocità nel sottosuolo che abbia dei tempi di riflessione compatibili con quelli osservati nei dati. Ciò significa
DettagliLezione 2. Il modello entità relazione
Lezione 2 Il modello entità relazione Pag.1 Introduzione alla progettazione delle basi di dati 1. Analisi dei requisiti Quali sono le entità e le relazioni dell organizzazione? Quali informazioni su queste
DettagliIl calcolatore - Applicazioni
Alfonso Miola Il calcolatore - Applicazioni Esercitazione Dispensa B-01-E Settembre 2005 1 Contenuti Applicazioni Applicazioni e Interfacce Il pacchetto Office Word Excel Power Point Il CD per ECDL 2 Applicazioni
DettagliALF0021M MANUALE UTENTE MODULO "SETUP"
ALF0021M MANUALE UTENTE MODULO "SETUP" ALBOFORNITORI VER. 4.9.1 Revisioni Rev. Versione software Data Descrizione 0 15/11/2010 Prima emissione 1 05/09/2011 Nuovo template 2 4.8.0 22/05/2012 Visibilitá
Dettagli7. Layer e proprietà degli oggetti
7. Layer e proprietà degli oggetti LAYER 09/01/13 ing. P. Rordorf arch. D. Bruni arch. A. Chiesa ing. A. Ballarini 38(52) Le proprietà dei layer: - Nome: ogni layer ha un nome proprio che ne permette una
DettagliBase di dati e sistemi informativi
Base di dati e sistemi informativi Una base di dati è un insieme organizzato di dati opportunamente strutturato per lo svolgimento di determinate attività La base di dati è un elemento fondamentale per
DettagliObject Oriented Software Design
Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Università di Roma Object Oriented Software Design Corso di Tecniche di Programmazione Laurea in Ingegneria Informatica (Canale di Ingegneria
DettagliLe fattispecie di riuso
Le fattispecie di riuso Indice 1. PREMESSA...3 2. RIUSO IN CESSIONE SEMPLICE...4 3. RIUSO CON GESTIONE A CARICO DEL CEDENTE...5 4. RIUSO IN FACILITY MANAGEMENT...6 5. RIUSO IN ASP...7 1. Premessa Poiché
DettagliSoluzione dell esercizio del 12 Febbraio 2004
Soluzione dell esercizio del 12/2/2004 1 Soluzione dell esercizio del 12 Febbraio 2004 1. Casi d uso I casi d uso sono riportati in Figura 1. Figura 1: Diagramma dei casi d uso. 2. Modello concettuale
DettagliLight CRM. Documento Tecnico. Descrizione delle funzionalità del servizio
Documento Tecnico Light CRM Descrizione delle funzionalità del servizio Prosa S.r.l. - www.prosa.com Versione documento: 1, del 11 Luglio 2006. Redatto da: Michela Michielan, michielan@prosa.com Revisionato
DettagliSistema G.U.S. Capitolato di Gara ALLEGATO A
Procedura volta alla realizzazione di un nuovo sistema informatico, denominato G.U.S.-N., finalizzato all automazione dei processi di raccolta, condivisione ed elaborazione dei dati nazionali concernenti
DettagliREFERENZIAZIONI 2001) NUP
Agenzia del Lavoro Provincia Autonoma di Trento PROFILO FORMATIVO Profilo professionale e percorso formativo DENOMINAZIONE FIGURA PROFESSIONALE - TECNICO INFORMATICO PROGRAMMATORE SOFTWARE E APPLICAZIONI
DettagliLa specifica del problema
2.9 (Caso di studio facoltativo) Pensare a oggetti: esame del problema Iniziamo ora a esaminare il nostro caso di studio di progettazione e implementazione orientate agli oggetti. Le sezioni Pensare a
DettagliIntroduzione alle basi di dati. Gestione delle informazioni. Gestione delle informazioni. Sistema informatico
Introduzione alle basi di dati Introduzione alle basi di dati Gestione delle informazioni Base di dati Modello dei dati Indipendenza dei dati Accesso ai dati Vantaggi e svantaggi dei DBMS Gestione delle
DettagliManuale Utente Albo Pretorio GA
Manuale Utente Albo Pretorio GA IDENTIFICATIVO DOCUMENTO MU_ALBOPRETORIO-GA_1.4 Versione 1.4 Data edizione 04.04.2013 1 TABELLA DELLE VERSIONI Versione Data Paragrafo Descrizione delle modifiche apportate
DettagliCreare ontologie ONTOLOGIE, DESCRIPTION LOGIC, PROTÉGÉ STEFANO DE LUCA
Creare ontologie ONTOLOGIE, DESCRIPTION LOGIC, PROTÉGÉ STEFANO DE LUCA Punto di partenza: materia per ragionare Gli agenti intelligenti possono usare tecniche deduttive per raggiungere il goal Per fare
DettagliEVOLUZIONE DEI LINGUAGGI DI ALTO LIVELLO
EVOLUZIONE DEI LINGUAGGI DI ALTO LIVELLO Linguaggi di programmazione classificati in base alle loro caratteristiche fondamentali. Linguaggio macchina, binario e fortemente legato all architettura. Linguaggi
Dettagli