Common use of Running Example Clause in Contracts

Running Example. In the rest of the paper, we will illustrate our logic and results based on a contract commonly used in the lit- erature, that of a plane boarding system, based on e.g. (Azzopardi et al., 2014). In this section we present this use case — an agreement between the passenger and airline company, regulating the plane boarding process, from check-in till the flight, including time constraints. The use case is a simplified version based on the Madrid ▇▇▇▇▇▇▇ airport regulations. 1. The passenger is permitted to use the check-in desk within two hours before the plane takes off (t0). 2. At the check-in desk, the passenger is obliged to present her boarding pass whitin 5 minutes. 3. After presenting the boarding pass, the passenger must show her passport, she has 5 minutes for this purpose.

Running Example. In the rest of the paper, we will illustrate our logic and results based on a contract commonly used in the lit- eratureliterature, that of a plane boarding system, based on e.g. ([Azzopardi et al., 2014)]. In this section we present this use case — an agreement agree- ment between the passenger and airline companycom- pany, regulating the plane boarding process, from check-in till the flight, including time constraints. The use case is a simplified version based on the Madrid ▇▇▇▇▇▇▇ airport regulations. 1. The passenger is permitted to use the check-in desk within two hours before the plane takes off off (t0). 2. At the check-in desk, the passenger is obliged to present her boarding pass whitin 5 minutes. 3. After presenting the boarding pass, the passenger must show her passport, she has 5 minutes for this purpose.

Running Example. In the rest of the paper, we will illustrate our logic and results based on a contract commonly used in the lit- eratureliterature, that of a plane boarding system, based on e.g. ([Azzopardi et al., 2014)]. In this section we present this use case — an agreement between the passenger and airline company, regulating the plane boarding process, from check-in till the flight, including includ- ing time constraints. The use case is a simplified version ver- sion based on the Madrid ▇▇▇▇▇▇▇ airport regulations. 1. The passenger is permitted to use the check-in desk within two hours before the plane takes off (t0). 2. At the check-in desk, the passenger is obliged to present her boarding pass whitin 5 minutes. 3. After presenting the boarding pass, the passenger must show her passport, she has 5 minutes for this purpose.