A business analyst (BA) is preparing a requirement package for access management system. A state diagram for entity "User" has been prepared. The BA wants to check the completeness of requirements by comparing different models. Which diagram should be used with a state diagram to verify that all functions are defined to work with entity "User" for the different roles?