Hoisl et al.
Enables modeling of secure object flows in process-driven service oriented architectures.
Security DSLs provided by the Tool
Name
Description
Provides modeling support for confidentiality and integrity properties of object flows at the PIM level.
Security Checks provided by the Tool
Name
Description
Verifies that constraints in the designed object flows hold, i.e., that the flows are secure