1. In a computer system operating at least one application, a method for providing assured denotation of application semantics associated with the application, the method comprising: receiving a graphical operation for the application, the graphical operation including at least one argument; intercepting the argument for the graphical operation; and modifying the argument for the graphical operation to provide an indication of at least one application semantic associated with the application.