You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Specificità di <strong>Alloy</strong><strong>Alloy</strong> è stato progettato per modellare classi e oggetti tipici dei linguaggi diprogrammazione orientata agli oggetti (come Java). Esistono strumenti chepermettono di tradurre modelli prodotti con altri strumenti di progettazione (peresempio Eclipse) in <strong>Alloy</strong> (UML2<strong>Alloy</strong>). Il percorso tipico di utilizzo di <strong>Alloy</strong> è ilseguente:ProgettazioneUNL→Traduzionein <strong>Alloy</strong>→Verifica delleproprietà→traduzione incodiceKodKod, prodotto dalla stessa università che ha realizzato <strong>Alloy</strong> ha una sintassimolto simile a Java (http://web.mit.edu/emina/www/kodkod.html,http://alloy.mit.edu/)22/5/2008 UNICAM - p. 9/45