Advances in Enterprise Information Systems II

Figure 2. The equivalent test run for the OR-Split.

Figure 3. Credit Card data form.

presented by Figure 8. After the user clicks OK, the process goes forward, reaching an OR-Join, as

shown in Figure 9.

Since BDD tools are used for implementing this proof of concept, GWT constructs were written

“by hand”, however, each BP representation must have a specific language for accompany it. For

instance, for Statechart Diagrams, tags State-Event-Action may be used to map from the graphical

representation to the test set, as shown in Code 3.

172

Figure 4. Message ...