Constraint Analyzer

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