home *** CD-ROM | disk | FTP | other *** search
/ cs.rhul.ac.uk / www.cs.rhul.ac.uk.zip / www.cs.rhul.ac.uk / pub / CS375 / prize.csp < prev    next >
Text File  |  1999-01-22  |  559b  |  25 lines
  1. channel year1, year2, year3, pass, fail, graduate, present, prize
  2.  
  3. S = {| year1, year2, year3, pass, fail, graduate |}
  4.  
  5. P = {| pass, present |}
  6.  
  7. C = {| pass, fail, prize |}
  8.  
  9. STUDENT = year1 -> (pass -> YEAR2 [] fail -> STUDENT)
  10.  
  11. YEAR2 = year2 -> (pass -> YEAR3 [] fail -> YEAR2)
  12.  
  13. YEAR3 = year3 -> (pass -> graduate -> STOP [] fail -> YEAR3)
  14.  
  15. PARENT = pass -> present -> PARENT
  16.  
  17. COLLEGE = fail -> STOP [] pass -> C1
  18.  
  19. C1 = fail -> STOP [] pass -> C2
  20.  
  21. C2 = fail -> STOP [] pass -> prize -> STOP
  22.  
  23. SYSTEM = (STUDENT [ S || P ] PARENT) [ union(S,P) || C ] COLLEGE
  24.  
  25.