Application-Level Profile Semantics