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