- Bank Branches
- Branching Online Shop
- CoCar
- Corona Warn App
- International Online Shop
- Mobility as a Service(MaaS) Ticket System
- Travel Planner
- Online Shop
- Simple Online Shop
- Models from TU Hamburg
This is an scenario from Seifermann et al.. It contains a banking system deployed in the US and Asia. Two actors interact with the system: A clerk that can register customers, find customers and determine a credit line for them. A manager can register celebrities or move customers between regions, in addition to the capabilities of a clerk.
There are 4 characteristic types in the model:
The Role characteristic type describes the role of an actor, and can be either Clerk or Manager.
The Location characteristic type describes the location of an actor, and can be either USA or Asia.
The Origin characteristic type describes the origin of the request, and can be either USA or Asia as well.
The Status characteristic type describes the status of the customer. It can be either Regular or Celebrity.
The two security requirements for this model are the following:
- Clerks must only access data about customers in the same region
- Only managers should be able to access data about celebrities
This is an
This is an scenario from Seifermann et al.. It models a user booking a flight with an travel planner application. Flights are queried using a travel agency that in turn communicates with the airline to determine flights. Using the flight information the user books an flight with their credit card details.
There are 2 characteristic types in the model:
The AssignedRoles characteristic type describes the role of an system component. It can be either User or Airline.
The GrantedRoles characteristic type describes the roles that can access given data. It can be either User or Airline.