DEVELOPMENT OF A FORMAL FRAMEWORK FOR USABLE OPERATIONS SUPPORT