rule “Sequence – Decomposition”
when
$s: Sequence($sId:=placeholderid, $pA:=placeholdera, $pB:=placeholderb,$orchLink:=orchlink)
Property($sId:=subject, $prname:=propertyname, $prcategory:=category, $prvalue1:=value, satisfied==false)
then
insert(new Property($rId,$prname+$prcategory+$pA,$prname, “required”, $prcategory, $prvalue1, “datastate”, $pA, “verificationtype”, “means”, false));
insert(new Property($rId,$prname+$prcategory+$pB,$prname, “required”, $prcategory, $prvalue1, “datastate”, $pB, “verificationtype”, “means”, false));
insert(new Property($rId,$prname+$prcategory+$orchLink,$prname, “required”, $prcategory, $prvalue1, “datastate”, $orchLink, “verificationtype”, “means”, false));
end
rule “Sequence Bandwidth Verification”
when
Placeholder($pA:=placeholderid)
Property ($pA:=subject, category==“qosbandwidth”, $prvalue1:=value, satisfied==true)
Placeholder($pB:=placeholderid)
Property ($pB:=subject, category==“qosbandwidth”, $prvalue2:=value, satisfied==true)
Link ($orchLink:=linkid)
Property ($orchLink:=subject, category==“qosbandwidth”, $prvalue3:=value, satisfied==true)
Sequence($sId:=placeholderid, $pA:=placeholdera, $pB:=placeholderb, $orchLink:=orchlink)
$PR: Property ($sId:=subject, category==“qosbandwidth”, $prvalue4:=value, $prvalue4<=$prvalue1, $prvalue4<=$prvalue2, $prvalue4<=$prvalue3, satisfied==false)
then
modify($PR){satisfied=true};
end
