CPFSTool Metamodel

//CPFSTool Metamodel
abstract SecurityProblemFrame
name : string
intent : string
informalDescription : string
effect -> Effect
spfFrameDiagram -> FrameDiagram
abstract ConcretizedSecurityProblemFrame
name : string
intent : string
informalDescription : string
cspfFrameDiagram -> FrameDiagram
necessaryCondition -> NecessaryCondition *
abstract FrameDiagram
domains -> Domain 3..*
interfaces -> Interface 2..*
requirementReferences -> RequirementReference 2..*
requirementTemplate -> RequirementTemplate
[ some d : domains | d.isMachine ]
[ some i : interfaces | some d : domains | some m : domains | m.isMachine && i in m.isConnectedBy && i in d.isConnectedBy ]
[ some i : interfaces | some d : i.connects | d.isMachine && some p : i.contains | p.isControlledBy.isMachine ]
[ all d : domains | some i : interfaces | i in d.isConnectedBy ]
[ all d : domains | all p : d.controls | some i : d.isConnectedBy | p in i.contains ]
[ all d : domains | d.isConnectedBy in interfaces ]
[ some d : domains | no d.isMachine => d.isConstrainedByUsing in requirementReferences ]
[ all disj d1; d2 : domains | d1.name.ref != d2.name.ref ]
[ all disj d1; d2 : domains | d1.abbreviation.ref != d2.abbreviation.ref ]
[ all d : domains | all i : interfaces | all p : i.contains | p.name != d.name ]
[ all i : interfaces | i.connects in domains ]
[ all i : interfaces | all p : i.contains | one d : domains | p in d.controls && d in i.connects ]
[ requirementTemplate.constrainsUsing in requirementReferences ]
[ requirementReferences in requirementTemplate.refersToUsing ]
[ all rr : requirementReferences | rr.isConnectedToReq = requirementTemplate ]
[ all rr : requirementReferences | rr.isConnectedToDomain in domains ]
abstract Effect
formulaE -> Formula +
abstract NecessaryCondition
formulaNC -> Formula +
abstract Formula
content : string
informalDescription : string
abstract Domain
name : string
abbreviation : string
isGiven ?
isMachine ?
controls -> InterfacePhenomenon *
[ parent in this.isControlledBy ]
isConstrainedByUsing -> ConstrainingRequirementReference ?
isReferredToByUsing -> RequirementReference ?
[ parent in this.isConnectedToDomain ]
isConnectedBy -> Interface +
[ parent in this.connects ]
[ isMachine => no isGiven ]
[ isMachine => no isReferredToByUsing ]
[ isMachine => no isConstrainedByUsing ]
abstract CausalDomain : Domain
abstract BiddableDomain : Domain
[ isGiven ]
[ no isMachine ]
[ no isConstrainedByUsing ]
abstract LexicalDomain : CausalDomain
[ no isMachine ]
abstract DisplayDomain : CausalDomain
abstract Interface
name : string
contains -> InterfacePhenomenon +
connects -> Domain 2..*
[ parent in this.isConnectedBy ]
[ all p : contains | one d : connects | p.isControlledBy = d ]
enum PhenomenonType = causal | symbolic | event
abstract Phenomenon
name : string
type -> PhenomenonType
abstract InterfacePhenomenon : Phenomenon
isControlledBy -> Domain
[ parent in this.controls ]
isContainedInIf -> Interface +
[ parent in this.contains ]
[ isControlledBy in isContainedInIf.connects ]
abstract RequirementPhenomenon : Phenomenon
abstract RequirementTemplate
content : string
constrainsUsing -> ConstrainingRequirementReference +
refersToUsing -> RequirementReference *
[ parent in this.isConnectedToReq ]
abstract RequirementReference
name : string
contains -> RequirementPhenomenon +
isConnectedToReq -> RequirementTemplate
[ parent in this.refersToUsing ]
isConnectedToDomain -> Domain
[ parent in this.isReferredToByUsing ]
[ no isConnectedToDomain.isMachine ]
abstract ConstrainingRequirementReference : RequirementReference
related -> SecurityProblemFrame *
refined -> SecurityProblemFrame *
[ no isConnectedToDomain.isMachine ]
var gwr=document.getElementById('graphWithRefs0'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none'; var gwr=document.getElementById('graphWithRefs0'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none'; -4,4 -4,-304.3 1037.38,-304.3 1037.38,4 -4,4 c0_SecurityProblemFrame abstract SecurityProblemFrame 11.00 c0_Effect abstract Effect 11.00 c0_SecurityProblemFrame->c0_Effect effect transparent c0_FrameDiagram abstract FrameDiagram 11.00 c0_SecurityProblemFrame->c0_FrameDiagram spfFrameDiagram transparent c0_Formula abstract Formula 11.00 c0_Effect->c0_Formula formulaE transparent c0_Domain abstract Domain 11.00 c0_FrameDiagram->c0_Domain domains transparent c0_Interface abstract Interface 11.00 c0_FrameDiagram->c0_Interface interfaces transparent c0_RequirementReference abstract RequirementReference 11.00 c0_FrameDiagram->c0_RequirementReference requirementReferences transparent c0_RequirementTemplate abstract RequirementTemplate 11.00 c0_FrameDiagram->c0_RequirementTemplate requirementTemplate transparent c0_ConcretizedSecurityProblemFrame abstract ConcretizedSecurityProblemFrame 11.00 c0_ConcretizedSecurityProblemFrame->c0_FrameDiagram cspfFrameDiagram transparent c0_NecessaryCondition abstract NecessaryCondition 11.00 c0_ConcretizedSecurityProblemFrame->c0_NecessaryCondition necessaryCondition transparent c0_NecessaryCondition->c0_Formula formulaNC transparent c0_Domain->c0_Interface isConnectedBy transparent c0_Domain->c0_RequirementReference isReferredToByUsing transparent c0_InterfacePhenomenon abstract InterfacePhenomenon : Phenomenon 11.00 c0_Domain->c0_InterfacePhenomenon controls transparent c0_ConstrainingRequirementReference abstract ConstrainingRequirementReference : RequirementReference 11.00 c0_Domain->c0_ConstrainingRequirementReference isConstrainedByUsing transparent c0_Interface->c0_Domain connects transparent c0_Interface->c0_InterfacePhenomenon contains transparent c0_RequirementReference->c0_Domain isConnectedToDomain transparent c0_RequirementReference->c0_RequirementTemplate isConnectedToReq transparent c0_RequirementPhenomenon abstract RequirementPhenomenon : Phenomenon 11.00 c0_RequirementReference->c0_RequirementPhenomenon contains transparent c0_RequirementTemplate->c0_RequirementReference refersToUsing transparent c0_RequirementTemplate->c0_ConstrainingRequirementReference constrainsUsing transparent c0_InterfacePhenomenon->c0_Domain isControlledBy transparent c0_InterfacePhenomenon->c0_Interface isContainedInIf transparent c0_Phenomenon abstract Phenomenon 11.00 c0_InterfacePhenomenon->c0_Phenomenon 707.47,-227.02 703.28,-236.75 712.62,-231.76 707.47,-227.02 c0_ConstrainingRequirementReference->c0_SecurityProblemFrame related transparent c0_ConstrainingRequirementReference->c0_SecurityProblemFrame refined transparent c0_ConstrainingRequirementReference->c0_RequirementReference 248.52,-164.55 257.03,-158.23 246.44,-157.87 248.52,-164.55 c0_CausalDomain abstract CausalDomain : Domain 11.00 c0_CausalDomain->c0_Domain 696.62,-88.53 687.84,-94.47 698.4,-95.3 696.62,-88.53 c0_BiddableDomain abstract BiddableDomain : Domain 11.00 c0_BiddableDomain->c0_Domain 657.69,-83.4 661.19,-93.4 664.69,-83.4 657.69,-83.4 c0_LexicalDomain abstract LexicalDomain : CausalDomain 11.00 c0_LexicalDomain->c0_CausalDomain 807.48,-45.62 818.04,-46.55 810.37,-39.24 807.48,-45.62 c0_DisplayDomain abstract DisplayDomain : CausalDomain 11.00 c0_DisplayDomain->c0_CausalDomain 858.01,-39.24 850.34,-46.55 860.9,-45.62 858.01,-39.24 c0_PhenomenonType c0_PhenomenonType 11.00 c0_Phenomenon->c0_PhenomenonType type transparent c0_RequirementPhenomenon->c0_Phenomenon
Module Statistics: | All clafers: 64 | Abstract: 19 | Concrete: 45 | Reference: 40 | Constraints: 36 | Goals: 0 | Global scope: 1..* | Can skip name resolver: no |

Module Downloads: | [.cfr] | [.html] |