Robust/rolebasedcomputation

   1 Input:
   2 trigger role specification for tasks:
   3 role mutator operation:
   4 role definition:
   5
   6 Generate:
   7 Role transition diagram
   8
   9
  10 Initial features:
  11 methods
  12 structs
  13 type system
  14
  15 Language features:
  16 Single Inheritance
  17 Virtual methods
  18 Objects
  19
  20 object metastate:
  21 1. flags: flag role1
  22 2. tags: tag tag1
  23
  24 tag operations:
  25 tag tag1=new tag;
  26 tag tag2=incrementtag(tag tag1);
  27 tag tag3=no tag;
  28
  29 metastate operations:
  30
  31 task foo(type1 o1{role1||role2}, type2 o2{role3}) {
  32
  33   exit(o1{role1'=false},o2{role3'=false},onew{role4=true});
  34 }