SuccessfulPurchase@CreditAgency.spr

Clone Tools
  • last updated a few minutes ago
Constraints
Constraints: committers
 
Constraints: files
Constraints: dates
Fix issue where use of 'ns<num>' style prefixes were causing problems with BPMN2 model usage

  1. … 21 more files in changeset.
SAVARA-332 - added prefix to the Type information

  1. … 31 more files in changeset.
SAVARA-332 - added Type annotation on the protocol

  1. … 33 more files in changeset.
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
    ./SuccessfulPurchase@CreditAgency.spr
  1. … 15 more files in changeset.