Linking Problem Frames and Event Sample Clauses

Linking Problem Frames and Event. B 2.1. Two alternative approaches intended to link problem frames and Event-B, namely ”▇▇▇▇▇▇▇’▇ diagrams extensions” (not to confuse with the Bosch extensions to Problem Frames described in Section 4.3) and ”the UML-B way” are described in Section 6.2.2 and Section 6.2.3. 6.2.1 The Bosch Approach - Open Issues 6.2.2 ▇▇▇▇▇▇▇’▇ diagrams extensions