Il linguaggio Alloy come ausilio nella specifica formale di modelli UML

UML è ampiamente considerato lo standard de facto nella fase iniziale di modellazione di sistemi software basati sul paradigma Object-Oriented; il suo diagramma delle classi è utilizzato per la rappresentazione statica strutturale di entità e relazioni che concorrono alla definizione delle specifiche del sistema; in questa fase viene utilizzato il linguaggio OCL per esprimere vincoli semantici sugli elementi del diagramma. Il linguaggio OCL però soffre della mancanza di una verifica formale sui vincoli che sono stati definiti. Il linguaggio di modellazione Alloy, inserendosi in questa fase, concettualmente può sopperire a questa mancanza perchè può descrivere con le sue entità e relazioni un diagramma delle classi UML e, tramite propri costrutti molto vicini all'espressività di OCL, può specificare vincoli semantici sul modello che verranno analizzati dal suo ambiente l'Alloy Analyzer per verificarne la consistenza. In questo lavoro di tesi dopo aver dato una panoramica generale sui costrutti principali del linguaggio Alloy, si mostrerà come è possibile creare una corrispondenza tra un diagramma delle classi UML e un modello Alloy equivalente. Si mostreranno in seguito le analogie che vi sono tra i costrutti Alloy e OCL per la definizione di vincoli formali, e le differenze, offrendo nel complesso soluzioni e tecniche che il modellatore può utilizzare per sfruttare al meglio questo nuovo approccio di verifica formale. Verranno mostrati anche i casi di incompatibilità. Infine, come complemento al lavoro svolto verrà mostrata, una tecnica per donare una dinamicità ai modelli statici Alloy.

Il recesso nella società per azioni

La tesi analizza le fattispecie di recesso introdotte dalla riforma delle società di capitali del 2003. Particolare attenzione viene dedicata alle ipotesi legali di recesso e, fra queste, a quelle inderogabili, considerate “cuore” dell’istituto anche dopo la novella del 2003. Viene in particolare sottolineata la continuità fra la “vecchia” e la “nuova” disciplina dell’istituto e, sulla base anche di questo presupposto, si privilegiano interpretazioni che confinano l’operatività del diritto di recesso ai casi “estremi” in cui alla maggioranza assembleare è attribuito il potere di modificare in modo significativo lo statuto sociale. In questo contesto è dedicata particolare attenzione a due delle nuove fattispecie introdotte dalla riforma – il recesso per “modificazioni dello statuto concernenti i diritti di voto o di partecipazione” (art. 2437, comma 1, lett. g) c.c.) e il recesso ad nutum da società contratta a tempo indeterminato (art. 2437, comma 3 c.c.) – allo scopo di porre le basi, per quanto possibile, per un’interpretazione restrittiva delle stesse, che ne eviti un’incontrollata ed eccessivamente ampia applicazione.

Studio analitico della cultura materiale fra VII e IX secolo d.C. nella Regione di Samarcanda (Uzbekistan): analisi morfo-tipologica, produzione e commercio della ceramica di Kafir Kala

Kafir Kala is a key-site to understand the historical dynamics of the Samarkand Region in the Early Middle Ages (5th - 8th centuries CE). The site is clearly associated with a Sogdian occupation, as both literature and archaeological research testify. But the chronological phase that follows the Sogdian period, as the Islamic occupation became stable, is still little known. Structures and finds (an hoard of 133 silver coins, in particular) clearly testify a new occupation of some parts of the citadel; and some rooms, dug in the northern side of it, present structures and materials connected with an Islamic activity. The study of material culture from these rooms, and from more ancient contexts, will help to understand the eventual continuity of traditions and the new productions. Besides the citadel, as a matter of fact, also some kilns have been dug, near the main site. Their material culture is very interesting because it represents an example of the typical Sogdian production (ceramics covered with white mica, and stamped). The work on the ceramic material has consisted in cataloguing and classifying all the diagnostics. Three main morphological classes have been individuated: cooking, coarse and table ware), and some other ones (lamps, ossuaries). A catalogue of the finds organized them in a typological system based on their morphology, function, fabric, and eventually decoration style. Crossing the stratigraphical data with information from this typological study, it has been possible to provide a chronological arrangement of the sites investigated by the italo-uzbek archaeological mission from 2001 to 2008.

La definizione di criminalità organizzata nella letteratura giuridica e nella normativa interna ed internazionale

Non può dirsi ancora raggiunta una completa, appagante e condivisa definizione di criminalità organizzata: eppure tale concetto viene ampiamente utilizzato, entrando nel linguaggio comune e –soprattutto- in quello normativo e giurisprudenziale. Attraverso il susseguirsi di numerosi interventi legislativi, abbiamo assistito alla progressiva elaborazione del c.d. doppio binario: di una normativa, cioè, ad hoc per i reati di criminalità organizzata, caratterizzata da un rilevante arretramento delle ordinarie soglie di garanzia previste dall’ordinamento giuridico. Alla luce di prioritarie esigenze di legalità si giustifica l’impellente necessità di giungere alla elaborazione di una precisa definizione di criminalità organizzata. A tale fine, nel corso del presente lavoro, sono stati esaminati i principali approcci definitori individuati a livello socio-criminologico, giurisprudenziale ed in ambito normativo, con particolare attenzione al diritto penale e processual-penalistico; si è inoltre proceduto all’analisi delle principali definizioni riscontrabili a livello comunitario ed internazionale.

Ruolo di interleuchina-33 sull'espressione di geni profibrotici e sull'ipertrofia dei miofibroblasti nella fibrosi intestinale

Background: Intestinal fibrosis is a serious complication of IBD, with more than a third of Crohn’s disease (CD) patients developing a fibrostenosing phenotype with formation of strictures that will require surgical intervention. Remarkably, SAMP1/YitFc (SAMP) mice, a spontaneous model of CD, develop gut fibrosis; similar to IBD patients, the pathophysiology of SAMP fibrosis is unknown. IL-33 is a member of the IL-1 cytokine family and increased expression is associated with IBD. Emerging evidence suggests its potential role in liver and cutaneous fibrosis, as well as myofibroblast-associated colonic ulcerations . Aim: The aim of this study was to evaluate the role of IL-33 as a potential mediator of profibrotic events leading to intestinal fibrosis and possible stricture formation. Methods: A detailed histologic time course study, with collagen-specific Masson trichrome staining and IHC for ST2 (IL-33 receptor), was performed on SAMP and control AKR (parental strain) mice. qRT-PCR was done on full-thickness ilea for the profibrogenic genes, collagen (coll)-1, coll-3, connective tissue growth factor (CTGF) and insulin-like growth factor 1 (IGF-1). Exogenous IL-33 (33 μg/kg, i.p.) or vehicle was administered daily for 7d to SAMP and AKR mice (N=6/exp group), and ileal tissues evaluated as above. Finally, microarray analysis was performed on full-thickness ilea from SAMP and AKR mice, and IL-33 stimulated subepithelial myofibroblasts (SEMFs). Results: SAMP mice displayed ileal skip lesions with randomly distributed strictures, preceded by typical pre-stricture dilations of the ileum. Ileal wall was visibly thickened with hypertrophy of the serosa, muscularis mucosa, muscularis propria, within which intense collagen deposition was observed, and inflammatory infiltrates in segments showing strictures. Interestingly, intense ST2 staining was present within the inflamed lamina propria of SAMP, notably localized to SEMFs. Fibrosis was first observed at 20 wks, and reached its peak by 50 wks of age. mRNA expression of coll-1 (4.74±0.69-fold; P=0.001), coll-3 (4.92±1.05-fold; P=0.01), IGF1 (12.9±3.45; P=0.006), and CTGF (3.29±0.69; P=0.004) was dramatically elevated in SAMP vs. AKR ilea. IL-33 treatment of AKR mice induced a marked increase in muscle fiber/myofibroblast cellularity and hypertrophy of the muscularis propria (4.13±0.74-fold; P<0.0001), and mRNA expression of coll-1 (5.16±0.89-fold; P=0.0009), coll-3 (1.97±0.14-fold; P=0.01), IGF-1 (9.32±2.27-fold; P=0.004), and CTGF (1.43±0.31-fold; P=0.006) vs. vehicle controls. Microarray data from SAMP ilea and IL-33-treated SEMFs confirmed these trends, displaying a global increase in profibrogenic gene expression. Conclusion: These data suggest an important role for IL-33 in intestinal fibrosis, and may represent a potential target for the treatment of IBD-associated fibrosis and stricture formation.