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 |