source: examples/python_tests/alumni_rt1/README @ f824a9e

mei_rt2mei_rt2_fix_1
Last change on this file since f824a9e was f824a9e, checked in by Mei <mei@…>, 12 years ago

1) add more doc to python_tests

  • Property mode set to 100755
File size: 1.3 KB
RevLine 
[669b481]1#
[f824a9e]2# This example shows an example of reasoning about a role's parameters with
3# a range constraint.  There are 4 principals StateU, Bob, Maryann, and Joe.
4# StateU wants to establish a  set of founding alum based on the year of
5# graduation.  On graduation each alum has previously been issued a
6# credential parameterized with their major and graduation year.  StateU
7# sets up a policy that says that a principal is a founding alum if they
8# graduated in 1955 through 1958 inclusive no matter what major the
9# principal had.  This policy is expressed in Credential 1.
[669b481]10#
11# Credentials 2, 3, and 4 each assign a diploma credential to Bob (a 1960
12# mathematics degree), Joe (a 1955 zoology degree) and Maryann (a 1956
13# psychology degree).
14#
[f824a9e]15# The query.py file asks if each of these principals are favored
[669b481]16# alums and Joe and Maryann are.
17
[f824a9e]18# alumni_rt1
[669b481]19
[f824a9e]20# Credential 1
[669b481]21# [keyid:stateU].role:foundingAlumni
22#                   <- [keyid:stateU].role:diploma([?], [integer:?Year:[1955..1958]])
23
24# Credential 2
[f824a9e]25# [keyid:stateU].role:diploma([string:'mathmatics'],[integer:1960]) <- [keyid:bob]
[669b481]26
27# Credential 3
[f824a9e]28# [keyid:stateU].role:diploma([string:'zoology'],[integer:1955]) <- [keyid:joe]
[669b481]29
30# Credential 4
31# [keyid:stateU].role:diploma([string:'psychology'],[integer:1956]) <- [keyid:maryann]
Note: See TracBrowser for help on using the repository browser.