XAL - XML Automata Language

Home

Scritto da Francesco Spegni

Martedì 04 Novembre 2008 00:26

XAL - XML Automata Language 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.

Aggiungi questa pagina al tuo Social Network preferito

| Ancora...

Commenti

Nuovo

Cerca

RSS

Commenta

Nome:

Email:

Website:

Titolo:

UBBCode:

Please input the anti-spam code that you can read in the image.

Ultimo aggiornamento Lunedì 18 Gennaio 2010 10:24

Francesco

My Network

Delicious/francesco.spegni

Java ME Technology APIs & Docs
An interesting guide about how to write Java applications for Symbian on Windows hosts and on Linux hosts
FLOSSmarche
Sito del movimento FLOSS - Marche per l'adozione di Software Libero nella Pubblica Amministrazione della Regione. Il movimento nasce dalla consapevolezza che adottare Software Libero per i processi Informativi e Telematici della Pubblica Amministrazione non e` solo una scelta tecnica, bensi` l'unico modo per realizzare quello che e` un diritto di ogni cittadino, ovvero il libero accesso alle informazioni della sua Regione
Unfoldings: a partial-order approach ... - Google Books
A book about the technique so-called "Unfoldings" for verifying infinite state systems
Upcoming visitors
Plan of seminars at the MS Research - Centre for Computational and Systems Biology at Trento
Computational Complexity
A blog on Computational Complexity
Signs of the Next Paradigm Shift: Part II
A blog post about Multi Paradigm Programming
Java Tip 117: Transfer binary data in an XML document - JavaWorld
How to Encode a String to Base64 With Java (with pictures) - wikiHow
Treating characters as bytes means that multibyte characters, such as Japanese or Chinese, will not be correctly encoded. Therefore, we must use the getBytes() method of String in order to convert the Unicode characters of the current locale to bytes before the encoding begins. But, for example, if you're working on a Japanese document in an American English locale, you will need to specify the locale for the output of getBytes(), such as getBytes("UTF-8").
Portal - Giochi by FlashGames.it
English Prepositions

Chatta con me

Ultime notizie

I più letti

Commenti

Newsletter

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

Francesco

My Network

La striscia del giorno

Parliamo di...