{"id":1761,"date":"2025-07-31T08:49:13","date_gmt":"2025-07-31T06:49:13","guid":{"rendered":"https:\/\/robertogreco.eu\/biblioteca\/?p=1761"},"modified":"2025-08-03T16:13:43","modified_gmt":"2025-08-03T14:13:43","slug":"fact-s-for-uml","status":"publish","type":"post","link":"https:\/\/robertogreco.eu\/biblioteca\/fact-s-for-uml\/","title":{"rendered":"Fatti per l’UML (Tesi di laurea magistrale)"},"content":{"rendered":"

Originale in inglese: Roberto S. Greco, FaCT (s) for UML – Translating UML Class Diagrams into SHIQ<\/span>, to reason about them with FaCT<\/em>, [tesi di laurea magistrale]. Aachen, NRW, D. RWTH Aachen, 2001. Senza ISBN. <\/span><\/p>\n

Rif. [greco2001]<\/a><\/p>\n

NdA<\/strong>: in inglese fact<\/em> significa fatto. Ma FaCT<\/strong><\/a> di Ian Horrocks<\/a>\u00a0\u00e8 anche un sistema esperto che permette di trovare contraddizioni in un modello logico espresso in logica modale.<\/p>\n

Riassunto della Tesi Magistrale<\/h2>\n

Questa tesi magistrale, presentata nel 2001 presso il Dipartimento di Informatica del Politecnico di Aquisgrana (RWTH Aachen<\/a>), esplora l’applicazione di metodologie formali e di strumenti di ragionamento automatico alla verifica dei diagrammi di classe UML<\/a> (Unified Modeling Language<\/em>)<\/span>.<\/p>\n

L’obiettivo \u00e8 definire una semantica precisa e automatizzare il ragionamento su questi diagrammi, superando le ambiguit\u00e0 e le complessit\u00e0 dell’analisi manuale<\/span>.<\/p>\n

Introduzione<\/span><\/strong><\/h3>\n

Il capitolo introduttivo espone la motivazione alla base del lavoro: la mancanza di una semantica formale e precisa per i diagrammi di classe UML, che rende difficile l’analisi e la verifica automatizzata di tali modelli.<\/p>\n

L’obiettivo principale della tesi \u00e8 sviluppare un metodo per il ragionamento automatico sui diagrammi di classe UML attraverso la loro traduzione in logica descrittiva <\/span>SHIQ<\/span> e l’utilizzo del <\/span>reasoner<\/span><\/em> FaCT<\/span><\/a>.<\/span><\/p>\n

Diagramma di Classe UML<\/span><\/strong><\/h3>\n

Questo capitolo fornisce una panoramica dettagliata dei diagrammi di classe UML, focalizzandosi sugli elementi rilevanti per la successiva traduzione logica.<\/p>\n

Viene presentata una sintassi ristretta di UML, definendo costruttivamente gli elementi del diagramma come classi, associazioni (n-arie, binarie, di generalizzazione, aggregazione, composizione) e le loro molteplicit\u00e0<\/span>.<\/p>\n

Si discutono anche la semantica di questi elementi <\/span> e il concetto di diagramma ben formato<\/span>.<\/p>\n

Il capitolo affronta anche il meccanismo dell’ereditariet\u00e0 in UML<\/span>.<\/p>\n

La Logica Descrittiva SHIQ<\/span><\/strong><\/p>\n

Questo capitolo introduce i fondamenti della Logica Descrittiva S<\/span>H<\/span>I<\/span>Q<\/span><\/span><\/span><\/span><\/span>, il formalismo logico scelto per rappresentare i diagrammi UML.<\/p>\n

Vengono presentati la sintassi e la semantica della logica <\/span>S<\/span><\/span>H<\/span><\/span>I<\/span><\/span>Q<\/span><\/span><\/span><\/span><\/span><\/span>, che estende le logiche precedenti come <\/span>A<\/span><\/span>LC<\/span><\/span><\/span><\/span><\/span><\/span> e <\/span>S<\/span><\/span>H<\/span><\/span>I<\/span><\/span><\/span><\/span><\/span><\/span> con l’introduzione di ruoli transitivi, ruoli inversi, gerarchie di ruoli e restrizioni numeriche qualificate<\/span>.<\/p>\n

Si descrivono infine i servizi di ragionamento offerti dalla logica, come la verificabilit\u00e0 della consistenza e la sussunzione di concetti<\/span>.<\/p>\n

Traduzione di UML in SHIQ<\/span><\/strong><\/h3>\n

Questo capitolo chiave descrive in dettaglio il processo di mappatura (traduzione) di un diagramma di classe UML (nella sua forma ristretta) in un insieme equivalente di assiomi in logica S<\/span>H<\/span>I<\/span>Q<\/span><\/span><\/span><\/span><\/span>.<\/p>\n

L’obiettivo \u00e8 convertire la rappresentazione grafica e semi-formale di UML in una base di conoscenza rigorosa, sulla quale sia possibile eseguire ragionamenti automatici.<\/p>\n

FaCT per UML<\/span><\/strong><\/h3>\n

[nota dell’autore: in inglese Fact<\/em> significa fatto<\/em>. Ma FaCT<\/em> \u00e8 anche il nome del reasoner<\/em>. Da qui il gioco di parole Fact(s) for UML<\/em>, quindi Fatti per l’UML<\/em> e Fact (reasoner) per UML<\/em>]<\/p>\n

In questo capitolo, si dimostra l’utilizzo del reasoner<\/em> FaCT<\/strong> (Fast Classification of Terminologies) per eseguire operazioni di ragionamento sui diagrammi UML una volta tradotti in S<\/span>H<\/span>I<\/span>Q<\/span><\/span><\/span><\/span><\/span>.<\/p>\n

FaCT permette di verificare automaticamente la consistenza del modello UML, individuare contraddizioni logiche, inferire propriet\u00e0 implicite e rispondere a query complesse sul modello, fornendo un supporto fondamentale per la validazione della progettazione software.<\/p>\n

Lavori Futuri e Correlati<\/span><\/strong><\/h3>\n

Il capitolo conclusivo riassume i contributi principali della tesi e discute le potenziali direzioni per la ricerca futura.<\/p>\n

Vengono esplorate estensioni del framework proposto, come l’inclusione di altri tipi di diagrammi UML o l’integrazione con strumenti di sviluppo software esistenti, e si discute il contesto di lavori simili nel campo.<\/p>\n

\n

Roberto S. Greco, FaCT (s) for UML – Translating UML Class Diagrams into SHIQ<\/span>, to reason about them with FaCT<\/em>, [tesi di laurea magistrale]. Aachen, NRW, D. RWTH Aachen, 2001. Senza ISBN.<\/p>\n","protected":false},"excerpt":{"rendered":"

Originale in inglese: Roberto S. Greco, FaCT (s) for UML – Translating UML Class Diagrams into SHIQ, to reason about<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[375],"tags":[393,389,457,569,392,572,390],"class_list":["post-1761","post","type-post","status-publish","format-standard","hentry","category-libri","tag-class-diagram","tag-fact","tag-in-inglese","tag-recensioni","tag-shiq","tag-tesi","tag-uml","comments-off"],"_links":{"self":[{"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/posts\/1761","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/comments?post=1761"}],"version-history":[{"count":9,"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/posts\/1761\/revisions"}],"predecessor-version":[{"id":1972,"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/posts\/1761\/revisions\/1972"}],"wp:attachment":[{"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/media?parent=1761"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/categories?post=1761"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/robertogreco.eu\/biblioteca\/wp-json\/wp\/v2\/tags?post=1761"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}