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|
|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|