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

Modeling an even more 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)

This version consists of only one app (the travel planner app) and uses no declassification.

Component Diagram

Message Diagram

Sequence Diagrams