Text this: Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability