[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




Properties






Policy