1. XAL
(Documentation/Introduction - English (United Kingdom))

... collection and a transitions set between these states: a transition is perfomed when a particular event arises. XAL allows to define temporal constraints that have to be statisfied in order that specific ...

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

... respectively set to “CANCEL_TASK”, “KO_CARR” and “PROCESSING”. These are the values that orderLineMetric can return and it is exactly what the related method code could possibly return. Another important ...

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

... the time constraints specified for a regular activation. Now we perform these steps using the application GUI: 1. Process Beginning/Start -[START]-> 2. Order Creation/NewOrder (scegli "ISDN") -[SEND]-> ...

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

... to the operator. Now we enumerate these (main) states: Start: the application main page; a login form is shown to the operator NewOrder: the operator has been identified and he/she inserts information ...

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

... set. We enumerate these specifications with the intent to refer them later:the application should provide a login page in order to authenticate terminal operator. After the login phase the application ...

6. Who we are
('Uncategorised Content')

... on xml-schema or DTD. This feature means making development and debugging activities easier. XAL allows to define an application as a states collection and a transitions set between these states: a ...

7. 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 ...