|
| 1 | +## Table of Contents |
| 2 | +### Palladio Component Model (PCM) |
| 3 | +1. [Bank Branches](#bank-branches) |
| 4 | +2. [Branching Online Shop](#branching-online-shop) |
| 5 | +3. [CoCar](#cocar) |
| 6 | +4. [Corona Warn App](#corona-warn-app-cwa) |
| 7 | +5. [International Online Shop](#international-online-shop) |
| 8 | +6. [Mobility as a Service(MaaS) Ticket System](#mobility-as-a-servicemaas-ticket-system) |
| 9 | +7. [Travel Planner](#travel-planner) |
| 10 | + |
| 11 | +### Data Flow Diagrams (DFDs) |
| 12 | +1. Online Shop |
| 13 | +2. Simple Online Shop |
| 14 | +3. Models from TU Hamburg |
| 15 | + |
| 16 | + |
| 17 | + |
| 18 | +# Models |
| 19 | +## PCM Models |
| 20 | +### Bank Branches |
| 21 | +#### Overview |
| 22 | +This is an scenario from [Seifermann et al.](https://doi.org/10.1016/j.jss.2021.111138). |
| 23 | +It contains a banking system deployed in the US and Asia. |
| 24 | +Two actors interact with the system: |
| 25 | +A clerk that can register customers, find customers and determine a credit line for them. |
| 26 | +A manager can register celebrities or move customers between regions, in addition to the capabilities of a clerk. |
| 27 | + |
| 28 | +#### Characteristic Types |
| 29 | +There are 4 characteristic types in the model: |
| 30 | +The `Role` characteristic type describes the role of an actor, and can be either `Clerk` or `Manager`. |
| 31 | +The `Location` characteristic type describes the location of an actor, and can be either `USA` or `Asia`. |
| 32 | +The `Origin` characteristic type describes the origin of the request, and can be either `USA` or `Asia` as well. |
| 33 | +The `Status` characteristic type describes the status of the customer. It can be either `Regular` or `Celebrity`. |
| 34 | + |
| 35 | +#### Security Requirements |
| 36 | +The two security requirements for this model are the following: |
| 37 | +1. Clerks must only access data about customers in the same region |
| 38 | +2. Only managers should be able to access data about celebrities |
| 39 | + |
| 40 | +### Branching Online Shop |
| 41 | +#### Overview |
| 42 | +This is an |
| 43 | + |
| 44 | +### CoCar |
| 45 | + |
| 46 | +### Corona Warn App (CWA) |
| 47 | + |
| 48 | +### International Online Shop |
| 49 | + |
| 50 | +### Mobility as a Service(MaaS) Ticket System |
| 51 | + |
| 52 | +### Travel Planner |
| 53 | +#### Overview |
| 54 | +This is an scenario from [Seifermann et al.](https://doi.org/10.1109/ICSA.2019.00009). |
| 55 | +It models a user booking a flight with an travel planner application. |
| 56 | +Flights are queried using a travel agency that in turn communicates with the airline to determine flights. |
| 57 | +Using the flight information the user books an flight with their credit card details. |
| 58 | + |
| 59 | +#### Characteristic Types |
| 60 | +There are 2 characteristic types in the model: |
| 61 | +The `AssignedRoles` characteristic type describes the role of an system component. It can be either `User` or `Airline`. |
| 62 | +The `GrantedRoles` characteristic type describes the roles that can access given data. It can be either `User` or `Airline`. |
0 commit comments