This tool checks whether one profile constrains another (i.e. whether the set of messages defined by one is a subset of the set of messages defined by the other).
It was originally created as David Kong's undergraduate thesis at Queen's University, and is now part of HAPI.
| Constraint Rules | Documentation regarding the rules that define whether a profile constrains another profile. |
| Binaries | JAR containing the compiled version of the system |
| Source | Coming soon |
| JavaDocs | Browsable API documentation |
| Profiles | Example static profiles |
| UML | Several UML diagrams of sysem components |
| Presentation | Presentation (.ppt) for the original project |
| Paper | Thesis paper for the original project |