1. Development
(Documentation/Tutorial - English (United Kingdom))

... all, while metric functions return a string. This behavior is explicitly described in the automaton XML description file: for instance if we analyze the Action element related to OrderLine state metric ...

2. Test
(Documentation/Tutorial - English (United Kingdom))

... which are divided by the horizontal line: the application GUI and some debug information. Debug information will be useful in determining the current automaton state. In particular the "Current State" ...

3. Design
(Documentation/Tutorial - English (United Kingdom))

... about the order with the intent to start the activaton process. OrderLine: data related to the order have been inserted and the order has been sent (for instance via email or calling a remote webservice) ...

4. Specifications collection
(Documentation/Tutorial - English (United Kingdom))

We want to build an application which handles the process of providing a communication data line (such as ISDN, ADSL, etc...) to the customers. Our application has to satisfy the following specifications ...

5. Documentation
(Section - English (United Kingdom))

A short introduction to XAL In this tutorial we will see how to create our first XAL application. In these few lines we simulate the entire application process: specifications collection design development ...

6. Sviluppo
(Documentazione/Tutorial)

Definizione delle funzioni di metrica e di action Ora che abbiamo un'idea della "logica" della nostra applicazione, andiamo ad implementare effettivamente le funzioni di metrica e di action. Le nostre ...

7. Test
(Documentazione/Tutorial)

... dipendenza di alcune "decisioni" dal tempo di esecuzione. Le informazioni di debug sono quelle poste al di sotto della linea orizzontale che intuitivamente determina la fine dell'interfaccia utente della ...

8. Progettazione
(Documentazione/Tutorial)

... inerenti la pratica, per avviare la procedura. OrderLine: i dati della pratica sono stati inseriti e la pratica è stata spedita (ad esempio tramite mail o direttamente invocando un webservice remoto) ...

9. Specifiche
(Documentazione/Tutorial)

... linea andrà verificata. L'operatore deve poter eseguire delle verifiche (con appositi strumenti) e segnare se la linea risulta visibile in rete o no. Se la linea non risulta visibile in rete, viene segnalata ...