InsufficientCredit@CreditAgency.spr

Clone Tools
  • last updated a few minutes ago
Constraints
Constraints: committers
 
Constraints: files
Constraints: dates
SAVARA-330 - define interface details when deriving local and global protocols from scenarios

  1. … 32 more files in changeset.
SAVARA-329 - added request/response correlation annotations when deriving protocols from scenarios

  1. … 32 more files in changeset.
SAVARA-305 Add conversion of scenario into a set of local protocol models, each representing the message trace of a particular role in the scenario. This creates a canonical representation of the message trace for use in the aggregation algorithm.

    • -0
    • +6
    ./InsufficientCredit@CreditAgency.spr
  1. … 15 more files in changeset.