Definiamo un linguaggio che consenta di programmare un'applicazione a stati, dalla sua progettazione alla sua implementazione. Traendo spunto un po' dall'idea degli statecharts di D.Harel e un po' dallo state pattern, cerchiamo di fornire al programmatore strumenti aggiuntivi con cui possa continuare a scrivere codice nel linguaggio che predilige, ma in qualche misura lo guidi nella definizione della sua applicazione.

I "paletti" che chiediamo al programmatore di rispettare diventano, dunque, una forma di astrazione del suo programma. In questo modo, infatti, il programmatore viene "aiutato" a riconoscere gli stati significativi della sua applicazione, e smette di preoccuparsi di come dover comunicare i dati condivisi da tali stati. Cerchiamo,  così anche di poter svolgere delle inferenze logiche sulla sicurezza del codice prodotto.

Il lavoro prevede:

• definizione del linguaggio (sintassi e semantica)
• realizzazione dell'interprete (sulla base della semantica sopra specificata)
• arricchimento del linguaggio con un sistema logico e sperimentazione circa le verifiche che con esso si possono compiere

Il lavoro è stato pubblicato in un articolo dal titolo: "XAL: A Web Oriented Programming Language Based on Timed-Automata", apparso in "Web Intelligence 2008 - Sydney".

Al sito http://www.computervaritt.it/xal troverete invece maggiore documentazione sul progetto, un tutorial e potrete scaricare l'interprete e l'IDE del linguaggio.

| Ancora...

Commenti

Nuovo Cerca RSS

Commenta
Nome:
Email:	do not notifynotify
Website:
Titolo:
UBBCode:	-colore-acquaneroblufucsiagrigioverdelimemarronenavyoliveporporarossoargentocelestebiancogiallo -dimensione-micropiccolomediograndeenorme
	Please input the anti-spam code that you can read in the image.

Powered by !JoomlaComment 3.26

3.26 Copyright (C) 2008 Compojoom.com / Copyright (C) 2007 Alain Georgette / Copyright (C) 2006 Frantisek Hliva. All rights reserved."