//CPFSTool Metamodel
abstract SecurityProblemFrame
abstract ConcretizedSecurityProblemFrame
abstract NecessaryCondition
abstract Domain
isGiven ?
isMachine ?
abstract CausalDomain : Domain
abstract BiddableDomain : Domain
enum PhenomenonType = causal | symbolic | event
abstract RequirementTemplate
abstract RequirementReference