1% ectest/ec_reader_test_includes.e:1 2% translate: begining File: ectest/ec_reader_test_includes.e.pro 3% 4% 5% 6% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 7% ; FILE: includes/SaaSPatterns/sorts.e 8% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 9% ectest/ec_reader_test_includes.e:7 10% sort rule,subject,object,action,ruleeffect,policy,policyset 11sort(rule). 12 13sort(subject). 14 15sort(object). 16 17sort(action). 18 19sort(ruleeffect). 20 21sort(policy). 22 23sort(policyset). 24 25% 26% 27% 28% 29% 30% ectest/ec_reader_test_includes.e:13 31% 32% 33% 34% 35% 36% 37% ectest/ec_reader_test_includes.e:19 38% 39% 40% 41% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 42% ; FILE: includes/SaaSPatterns/RulesPatterns/ruleOutput.e 43% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 44% ectest/ec_reader_test_includes.e:25 45% fluent F_RuleDenied(rule) 46fluent(f_ruleDenied(rule)). 47 48% fluent F_RulePermitted(rule) 49fluent(f_rulePermitted(rule)). 50 51% 52% event Epermit(rule) 53event(epermit(rule)). 54 55% event EDeny(rule) 56event(eDeny(rule)). 57 58% 59% ectest/ec_reader_test_includes.e:31 60% [rule,time] % Initiates(EDeny(rule),F_RuleDenied(rule),time). 61initiates(eDeny(Rule), f_ruleDenied(Rule), Time). 62 63% 64% ectest/ec_reader_test_includes.e:32 65% [rule,time] % Initiates(Epermit(rule),F_RulePermitted(rule),time). 66initiates(epermit(Rule), f_rulePermitted(Rule), Time). 67 68% 69% 70% 71% ectest/ec_reader_test_includes.e:35 72% [rule] % !HoldsAt(F_RulePermitted(rule),0). 73not(holds_at(f_rulePermitted(Rule), 0)). 74 75% 76% ectest/ec_reader_test_includes.e:36 77% [rule] % !HoldsAt(F_RuleDenied(rule),0). 78not(holds_at(f_ruleDenied(Rule), 0)). 79 80% 81% 82% 83% 84% 85% 86% ectest/ec_reader_test_includes.e:42 87% 88% 89% 90% 91% 92% 93% ectest/ec_reader_test_includes.e:48 94% 95% ;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3). 96% ;[rule,time] Happens(RuleDeny(rule), time) | Happens(RulePermit(rule), time) -> time=2. 97% 98% 99% 100% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 101% ; FILE: includes/SaaSPatterns/RulesPatterns/targetHolds.e 102% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 103% ectest/ec_reader_test_includes.e:57 104% fluent F_TargetHolds(rule) 105fluent(f_targetHolds(rule)). 106 107% fluent F_TargetDoesntHolds(rule) 108fluent(f_targetDoesntHolds(rule)). 109 110% 111% event E_MatchRuleParametters(rule) 112event(e_matchRuleParametters(rule)). 113 114% event E_DontMatchRuleParametters(rule) 115event(e_dontMatchRuleParametters(rule)). 116 117% 118% ectest/ec_reader_test_includes.e:63 119% [rule,time] % Initiates(E_MatchRuleParametters(rule),F_TargetHolds(rule),time). 120initiates(e_matchRuleParametters(Rule), f_targetHolds(Rule), Time). 121 122% 123% ectest/ec_reader_test_includes.e:64 124% [rule,time] % Initiates(E_DontMatchRuleParametters(rule),F_TargetDoesntHolds(rule),time). 125initiates(e_dontMatchRuleParametters(Rule), f_targetDoesntHolds(Rule), Time). 126 127% 128% 129% ectest/ec_reader_test_includes.e:66 130% [rule,time] % Happens(E_MatchRuleParametters(rule), time) -> !HoldsAt(F_TargetHolds(rule),time). 131happens(e_matchRuleParametters(Rule), Time) -> 132 not(holds_at(f_targetHolds(Rule), Time)). 133 134% 135% ectest/ec_reader_test_includes.e:67 136% [rule,time] % Happens(E_DontMatchRuleParametters(rule), time) -> !HoldsAt(F_TargetDoesntHolds(rule),time). 137happens(e_dontMatchRuleParametters(Rule), Time) -> 138 not(holds_at(f_targetDoesntHolds(Rule), Time)). 139 140% 141% 142% 143% ectest/ec_reader_test_includes.e:70 144% [rule] % !HoldsAt(F_TargetHolds(rule),0). 145not(holds_at(f_targetHolds(Rule), 0)). 146 147% 148% ectest/ec_reader_test_includes.e:71 149% [rule] % !HoldsAt(F_TargetDoesntHolds(rule),0). 150not(holds_at(f_targetDoesntHolds(Rule), 0)). 151 152% 153% 154% 155% 156% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 157% ; FILE: includes/SaaSPatterns/RulesPatterns/ConditionsVerification.e 158% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 159% ectest/ec_reader_test_includes.e:78 160% fluent F_ConditionSatisfied(rule) 161fluent(f_conditionSatisfied(rule)). 162 163% ;event E_ConditionSatisfied(rule) 164% 165% 166% ;[rule,time] Initiates(E_ConditionSatisfied(rule),F_ConditionSatisfied(rule),time). 167% 168% ;[rule,time] Happens(E_ConditionSatisfied(rule),time) -> HoldsAt(F_TargetHolds(rule),time). 169% ectest/ec_reader_test_includes.e:85 170% 171% ;[rule,time] Happens(E_ConditionSatisfied(rule), time) -> !HoldsAt(F_ConditionSatisfied(rule),time). 172% 173% 174% ectest/ec_reader_test_includes.e:89 175% [rule] % HoldsAt(F_ConditionSatisfied(rule),0). 176holds_at(f_conditionSatisfied(Rule), 0). 177 178% 179% 180% 181% 182% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 183% ; FILE: includes/SaaSPatterns/RulesPatterns/ruleModel.e 184% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 185% ectest/ec_reader_test_includes.e:96 186% fluent F_RuleEffectPermitted(rule) 187fluent(f_ruleEffectPermitted(rule)). 188 189% ; prédéfinies 190% fluent F_RuleEffectNOTpermitted(rule) 191fluent(f_ruleEffectNOTpermitted(rule)). 192 193% ;prédéfinies 194% 195% 196% ectest/ec_reader_test_includes.e:102 197% fluent F_RuleDenied(rule) 198fluent(f_ruleDenied(rule)). 199 200% fluent F_RulePermitted(rule) 201fluent(f_rulePermitted(rule)). 202 203% fluent F_RuleNotApplicable(rule) 204fluent(f_ruleNotApplicable(rule)). 205 206% 207% 208% 209% ectest/ec_reader_test_includes.e:108 210% event Epermit(rule) 211event(epermit(rule)). 212 213% event EDeny(rule) 214event(eDeny(rule)). 215 216% event ERuleDoesNotApply(rule) 217event(eRuleDoesNotApply(rule)). 218 219% 220% 221% ectest/ec_reader_test_includes.e:113 222% [rule,time] % Initiates(EDeny(rule),F_RuleDenied(rule),time). 223initiates(eDeny(Rule), f_ruleDenied(Rule), Time). 224 225% 226% ectest/ec_reader_test_includes.e:114 227% [rule,time] % Initiates(Epermit(rule),F_RulePermitted(rule),time). 228initiates(epermit(Rule), f_rulePermitted(Rule), Time). 229 230% 231% ectest/ec_reader_test_includes.e:115 232% [rule,time] % Initiates(ERuleDoesNotApply(rule),F_RuleNotApplicable(rule),time). 233initiates(eRuleDoesNotApply(Rule), f_ruleNotApplicable(Rule), Time). 234 235% 236% 237% 238% ectest/ec_reader_test_includes.e:118 239% [rule,time] % Happens(EDeny(rule),time) -> HoldsAt(F_TargetHolds(rule),time) 240% & HoldsAt(F_ConditionSatisfied(rule),time) 241% & HoldsAt(F_RuleEffectNOTpermitted(rule),time). 242happens(eDeny(Rule), Time) -> 243 holds_at(f_targetHolds(Rule), Time), 244 holds_at(f_conditionSatisfied(Rule), Time), 245 holds_at(f_ruleEffectNOTpermitted(Rule), Time). 246 247% 248% 249% 250% ectest/ec_reader_test_includes.e:123 251% [rule,time] % Happens(Epermit(rule),time) -> HoldsAt(F_TargetHolds(rule),time) 252% & HoldsAt(F_ConditionSatisfied(rule),time) 253% & HoldsAt(F_RuleEffectPermitted(rule),time). 254happens(epermit(Rule), Time) -> 255 holds_at(f_targetHolds(Rule), Time), 256 holds_at(f_conditionSatisfied(Rule), Time), 257 holds_at(f_ruleEffectPermitted(Rule), Time). 258 259% 260% 261% ectest/ec_reader_test_includes.e:127 262% [rule,time] % Happens(ERuleDoesNotApply(rule),time) -> HoldsAt(F_TargetDoesntHolds(rule),time). 263happens(eRuleDoesNotApply(Rule), Time) -> 264 holds_at(f_targetDoesntHolds(Rule), Time). 265 266% 267% 268% 269% 270% ectest/ec_reader_test_includes.e:131 271% [rule] % !HoldsAt(F_RulePermitted(rule),0). 272not(holds_at(f_rulePermitted(Rule), 0)). 273 274% 275% ectest/ec_reader_test_includes.e:132 276% [rule] % !HoldsAt(F_RuleDenied(rule),0). 277not(holds_at(f_ruleDenied(Rule), 0)). 278 279% 280% ectest/ec_reader_test_includes.e:133 281% [rule] % !HoldsAt(F_RuleNotApplicable(rule),0). 282not(holds_at(f_ruleNotApplicable(Rule), 0)). 283 284% 285% 286% 287% 288% 289% ;******************************************************************************************************************** 290% ;-------------------------------------------------------------------------------------------------------------------- 291% ;******************************************************************************************************************** 292% ectest/ec_reader_test_includes.e:141 293% 294% ;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3). 295% 296% 297% 298% 299% ;[rule,time] Happens(RuleDeny(rule), time) | Happens(RulePermit(rule), time) -> time=2. 300% ectest/ec_reader_test_includes.e:148 301% 302% ;[rule,time,ruleeffect] Happens(EDeny(rule),time) -> HoldsAt(F_TargetHolds(rule),time) 303 304% ; & HoldsAt(F_ConditionSatisfied(rule),time) 305 306% ; & ruleeffect=Deny. 307% 308% 309% ;[rule,time,ruleeffect] Happens(Epermit(rule),time) -> HoldsAt(F_TargetHolds(rule),time) 310 311% ; & HoldsAt(F_ConditionSatisfied(rule),time) 312 313% ; & ruleeffect=Permit. 314% ectest/ec_reader_test_includes.e:157 315% 316% 317% 318% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 319% ; FILE: includes/SaaSPatterns/ordering.e 320% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 321% ectest/ec_reader_test_includes.e:163 322% [rule,time] % Happens(E_MatchRuleParametters(rule), time) | Happens(E_DontMatchRuleParametters(rule), time) -> time = 0. 323( happens(e_matchRuleParametters(Rule), Time) 324; ( ( happens(e_matchRuleParametters(Rule), Time) 325; happens(e_dontMatchRuleParametters(Rule), Time) 326-> Time=0 327). 328 329% 330% 331% ectest/ec_reader_test_includes.e:165 332% [rule,time] % Happens(EDeny(rule), time) | Happens(Epermit(rule), time) | Happens(ERuleDoesNotApply(rule), time) -> time = 1. 333( happens(eDeny(Rule), Time) 334; happens(epermit(Rule), Time) 335; ( ( happens(eDeny(Rule), Time) 336; happens(epermit(Rule), Time) 337; happens(eRuleDoesNotApply(Rule), Time) 338-> Time=1 339). 340 341% 342% 343% ;[policy,time] Happens(E_policyPermit(policy), time) | Happens(E_policyDeny(policy), time) | Happens(E_PolicyDoesNotApply(policy),time) -> time = 2. 344% 345% 346% ;[policyset,time] Happens(E_policysetPermit(policyset), time) | Happens(E_policysetDeny(policyset), time) | Happens(E_policysetDontApply(policyset),time) -> time = 3. 347% ectest/ec_reader_test_includes.e:171 348% 349% 350% 351% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 352% ; FILE: includes/SaaSPatterns/PolicySetPatterns/policySetModel.e 353% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 354% ectest/ec_reader_test_includes.e:177 355% event E_policysetPermit(policyset) 356event(e_policysetPermit(policyset)). 357 358% event E_policysetDeny(policyset) 359event(e_policysetDeny(policyset)). 360 361% event E_policysetDontApply(policyset) 362event(e_policysetDontApply(policyset)). 363 364% 365% fluent F_policysetPermitted(policyset) 366fluent(f_policysetPermitted(policyset)). 367 368% fluent F_policysetDenied(policyset) 369fluent(f_policysetDenied(policyset)). 370 371% ectest/ec_reader_test_includes.e:183 372% fluent F_policySetNotApplicable(policyset) 373fluent(f_policySetNotApplicable(policyset)). 374 375% 376% predicate PolicysetHaspolicies(policyset,policy) 377predicate(policysetHaspolicies(policyset, policy)). 378 379% 380% 381% ectest/ec_reader_test_includes.e:188 382% [policyset,time] % Initiates(E_policysetPermit(policyset),F_policysetPermitted(policyset),time). 383initiates(e_policysetPermit(Policyset), f_policysetPermitted(Policyset), Time). 384 385% 386% ectest/ec_reader_test_includes.e:189 387% [policyset,time] % Initiates(E_policysetDeny(policyset),F_policysetDenied(policyset),time). 388initiates(e_policysetDeny(Policyset), f_policysetDenied(Policyset), Time). 389 390% 391% ectest/ec_reader_test_includes.e:190 392% [policyset,time] % Initiates(E_policysetDontApply(policyset),F_policySetNotApplicable(policyset),time). 393initiates(e_policysetDontApply(Policyset), f_policySetNotApplicable(Policyset), Time). 394 395% 396% 397% 398% 399% ; 'policies combaning algorithm (stategy) : All Permit' 400% ectest/ec_reader_test_includes.e:195 401% [policyset,policy,time] % Happens(E_policysetPermit(policyset),time) & PolicysetHaspolicies(policyset,policy) -> HoldsAt(F_policyPermitted(policy),time). 402happens(e_policysetPermit(Policyset), Time), policysetHaspolicies(Policyset, Policy) -> 403 holds_at(f_policyPermitted(Policy), Time). 404 405% 406% 407% 408% ; 'policies combaning algorithm (stategy) : Deny override' 409% ectest/ec_reader_test_includes.e:199 410% [policyset,time] % Happens(E_policysetDeny(policyset),time) -> {policy} PolicysetHaspolicies(policyset,policy) & HoldsAt(F_policyDenied(policy),time). 411happens(e_policysetDeny(Policyset), Time) -> 412 exists([Policy], 413 (policysetHaspolicies(Policyset, Policy), holds_at(f_policyDenied(Policy), Time))). 414 415% 416% 417% 418% ; 'policies combaning algorithm (stategy) : All Permit' 419% ectest/ec_reader_test_includes.e:203 420% [policyset,policy,time] % Happens(E_policysetDontApply(policyset),time) & PolicysetHaspolicies(policyset,policy) -> HoldsAt(F_policyNotApplicable(policy),time). 421happens(e_policysetDontApply(Policyset), Time), policysetHaspolicies(Policyset, Policy) -> 422 holds_at(f_policyNotApplicable(Policy), Time). 423 424% 425% 426% 427% ectest/ec_reader_test_includes.e:206 428% [policyset]% !HoldsAt(F_policysetPermitted(policyset),0). 429not(holds_at(f_policysetPermitted(Policyset), 0)). 430 431% 432% ectest/ec_reader_test_includes.e:207 433% [policyset]% !HoldsAt(F_policysetDenied(policyset),0). 434not(holds_at(f_policysetDenied(Policyset), 0)). 435 436% 437% ectest/ec_reader_test_includes.e:208 438% [policyset]% !HoldsAt(F_policySetNotApplicable(policyset),0). 439not(holds_at(f_policySetNotApplicable(Policyset), 0)). 440 441% 442% 443% 444% 445% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 446% ; FILE: includes/SaaSPatterns/PolicyPatterns/policyModel.e 447% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 448% ectest/ec_reader_test_includes.e:215 449% event E_policyPermit(policy) 450event(e_policyPermit(policy)). 451 452% event E_policyDeny(policy) 453event(e_policyDeny(policy)). 454 455% event E_PolicyDoesNotApply(policy) 456event(e_policyDoesNotApply(policy)). 457 458% 459% fluent F_policyPermitted(policy) 460fluent(f_policyPermitted(policy)). 461 462% fluent F_policyDenied(policy) 463fluent(f_policyDenied(policy)). 464 465% ectest/ec_reader_test_includes.e:221 466% fluent F_policyNotApplicable(policy) 467fluent(f_policyNotApplicable(policy)). 468 469% 470% predicate PolicyHasRules(policy,rule) 471predicate(policyHasRules(policy, rule)). 472 473% 474% 475% ectest/ec_reader_test_includes.e:226 476% [policy,time] % Initiates(E_policyPermit(policy),F_policyPermitted(policy),time). 477initiates(e_policyPermit(Policy), f_policyPermitted(Policy), Time). 478 479% 480% ectest/ec_reader_test_includes.e:227 481% [policy,time] % Initiates(E_policyDeny(policy),F_policyDenied(policy),time). 482initiates(e_policyDeny(Policy), f_policyDenied(Policy), Time). 483 484% 485% ectest/ec_reader_test_includes.e:228 486% [policy,time] % Initiates(E_PolicyDoesNotApply(policy),F_policyNotApplicable(policy),time). 487initiates(e_policyDoesNotApply(Policy), f_policyNotApplicable(Policy), Time). 488 489% 490% 491% 492% 493% ; 'Rule combaning algorithm (stategy) : All Permit' 494% ectest/ec_reader_test_includes.e:233 495% [policy,rule,time] % Happens(E_policyPermit(policy),time) & PolicyHasRules(policy,rule) -> HoldsAt(F_RulePermitted(rule),time). 496happens(e_policyPermit(Policy), Time), policyHasRules(Policy, Rule) -> 497 holds_at(f_rulePermitted(Rule), Time). 498 499% 500% 501% 502% ; 'Rule combaning algorithm (stategy) : Deny override (s il existe au moin une règle satisfaite)' 503% ectest/ec_reader_test_includes.e:237 504% [policy,time] % Happens(E_policyDeny(policy),time) -> {rule} PolicyHasRules(policy,rule) & HoldsAt(F_RuleDenied(rule),time). 505happens(e_policyDeny(Policy), Time) -> 506 exists([Rule], 507 (policyHasRules(Policy, Rule), holds_at(f_ruleDenied(Rule), Time))). 508 509% 510% 511% 512% ; 'Rule combaning algorithm (stategy) : All not Applicable' 513% ectest/ec_reader_test_includes.e:241 514% [policy,time,rule] % Happens(E_PolicyDoesNotApply(policy),time) & PolicyHasRules(policy,rule) -> HoldsAt(F_RuleNotApplicable(rule),time). 515happens(e_policyDoesNotApply(Policy), Time), policyHasRules(Policy, Rule) -> 516 holds_at(f_ruleNotApplicable(Rule), Time). 517 518% 519% 520% 521% ectest/ec_reader_test_includes.e:244 522% [policy]% !HoldsAt(F_policyPermitted(policy),0). 523not(holds_at(f_policyPermitted(Policy), 0)). 524 525% 526% ectest/ec_reader_test_includes.e:245 527% [policy]% !HoldsAt(F_policyDenied(policy),0). 528not(holds_at(f_policyDenied(Policy), 0)). 529 530% 531% ectest/ec_reader_test_includes.e:246 532% [policy]% !HoldsAt(F_policyNotApplicable(policy),0). 533not(holds_at(f_policyNotApplicable(Policy), 0)). 534 535% 536% 537% 538% 539% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 540% ; FILE: includes/SaaSPatterns/input.e 541% ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 542% ectest/ec_reader_test_includes.e:253 543% subject Navas 544t(subject, navas). 545 546% object Gloves 547t(object, gloves). 548 549% action Get 550t(action, get). 551 552% 553% ectest/ec_reader_test_includes.e:257 554% translate: ending File: ectest/ec_reader_test_includes.e.pro