Running Example Sample Clauses
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. This section introduces a running example to have a consistent scenario to relate the sources to. The example chosen for this is the import and export of goods through a port. Specifically as seen through the viewpoint of a container terminal. First of is the import scenario, which is illustrated in Figure 3.1. In this case, the following service is provided: a full container will be transported from the port it arrives in to a location of the customer, where it can be unloaded. The empty container will then be transported to a depot, where its carrier can reuse it. In this process, the following steps are taken:
(1) The service provider receives an order for the service, including required documents
(2) The service provider receives a notice of the estimated time of arrival
(3) The service provider plans the transports for the provided service
(4) The ship carrying the container arrives at the port and is unloaded
(5) The service provider receives documentation for the release of the container
(6) A barge is used to transport the container from the port to the container terminal, where the container is weighed
(7) A truck is used to transport the container to the customer’s location
(8) The container is unloaded
(9) The truck returns the empty container to the container terminal
(10) The empty container is transported to a depot via barge The export scenario is quite similar and provides the following service, as illustrated in Figure 3.2: an empty container is transported to the customer’s
Running Example. The example in Figure 4.3a is described by a random-walk Markov model in Figure 4.2 (left) where each state denotes a location on the map, if the true state at timestamp t is s1, then sxt = s1 =[1 0 0 0 0 0], pt =[1 0 0 0 0 0]. Measurement Query. At each timestamp, a measurement query f : S → Rd about current state is evaluated. We denote the space containing all possible outputs of f by measurement space. Example 4.2 (Measurement Query). Let f : S → R2 be two quantities about f1 : temperatue of current state – fl f2 : noise level of current state Then f can be expressed as f(s) = corresponds the answer of a state, e.g. f(s1) = [1, 0]|, f(s2) = [2, 1]|. Above answer can be denoted in measurement space, as in Figure 4.2 (right).
Running Example. Throughout this paper, we will use a running example to illustrate our ideas. The architectural description of this example can be found in the models in Figures 10.2, 10.3, 10.4 and 10.5. A small company, named ArchiSurance, sells insurance products to cus- tomers. Figure 10.2 contains a Business View of the company. Two roles are involved, namely the insurance company and the customer, which work together in two collaborations, namely negotiation, i.e. the set of activities performed in order to come to an appropriate insurance for a customer by discussion and consultation, and contracting, i.e. the set of activities per- formed in order to register a new customer and let it sign a contract for an insurance policy. Within Figure 10.3, the business process for selling an insurance product to a customer is shown, together with the roles and/or collaborations that 10.3. RUNNING EXAMPLE 217 Insurance Company Customer Contracting Negotiation View requests Edit policies ArchiSure PrintWise InterMed Edit requests Print contracts are involved in executing the individual steps within the process. Figure 10.4 shows the software products (components) that are used within the ArchiSurance company and the services they offer. ArchiSure is a custom-made software application for the administration of insurance products, customers and premium collecting. PrintWise is a out-of-the-box tool for official document layout and printing. Intermed is an old application, originally meant for intermediaries to have the possibility to enter formal re- quests for insurance products for their customers. The application is now used by employees of the insurance company, since no intermediaries are in- volved in selling insurance products anymore. Actually, the company would like to phase out this application. In Figure 10.5, the process for selling products is shown again, together with the services that are used within each step. Request for insurance Investigate Formalize request Create contract Check contract Sign contract Register policy Customer Negotiation Insurance Company Contracting Figure 10.4: an Application View of ArchiSurance Request for insurance Investigate Formalize request Create contract Check contract Sign contract Register policy Edit requests View requests Edit policies Print contracts Figure 10.5: a Service View of ArchiSurance
10.3.1 An XML description of the example Though the four views are depicted separately, they are clearly related to each other via the ...