[home] [info] [docu] [examples] [download] [contact] [applications] [bugs]

AGG  Business Model of a Shop

Summary

As example we use the grammar  ''Shopping``  described in  Detection of Conflicting Functional Requirements in a Use Case-Driven Approach  by Jan Hendrik Hausmann, Reiko Heckel and Gabi Taentzer. 

Screenshots

The type graph of the grammar is shown in Figure 1.

Figure 1. The type graph.


A possible start graph of the grammar is shown in Figure 2.

Figure 2. The start graph.


The rules are shown below:

Figure 3. Rule: takeCart.

Figure 4. Rule: createBill.

Figure 5. Rule: selectGood.

Figure 6. Rule: billGood.

Figure 7. Rule: payBill.

Figure 8. Rule: settleBill.

Figure 9. Rule: finish.

As example the critical pairs of rules  'payBill'  and ^M 'selectGood'  are shown in Figure 10.

The first transformation changes the attribute   total  of the   Bill  that will be used from another rule. As a consequence, the second rule cannot be applied.

^M

Figure 10. A conflict between  'payBill'  and  'selectGood' .

The upper table shows the number of critical pairs for each pair^M of rules using the type graph in Figure 1.

The critical pairs of its rules are saved here. 
^M  
 
Revision: