[Impressum] [Datenschutz] [E-Mail] [Back to the main project page]

Modeling a simplified Travel Planner Application with IFlow

  1. Component Diagram

  2. Sequence Diagram

  3. Properties

  4. Policy

  5. Message Diagram

  6. formal specification (proofs are contained in the Properties specification)

  7. Reference implementation

This version consists of only one app (the travel planner app) and omits the credit card center app. The credit card details are simply stored in the travel planner app. They are declassified after confirmation.

Component Diagram






Message Diagram






Sequence Diagrams




Properties






Policy