Abstract—Organizations having a large number of employees face several difficulties to separate job assignments to individual users. The situation becomes more complex when job assignments are delegated to those users who fulfill some explicit conditions. The delegation models developed so far discuss various issues regarding delegation of roles, but no mechanism has been developed to specify and validate constraints which are applied in course of temporary delegating (temporal delegation) and revoking a role to and from a user. This paper proposes a validation mechanism for flexible delegation and revocation of job roles to and from users with specific conditions. Also, we attempt to specify and validate n-level delegation and cascading/non-cascading revocation processes in an organization.
Mohsin Ali Memon* is with is with the Dept. of Computer Systems and Software Engineering, Mehran University of Engineering and Technology, Jamshoro, Pakistan, email: firstname.lastname@example.org
Manzoor Hashmani** is with is with the Dept. of Computer Systems and Software Engineering, Mehran University of Engineering and Technology, Jamshoro, Pakistan, email: email@example.com
Karsten Sohr*** is with Dept. of Mathematics & Computer Science, University of Bremen, Germany, e-mail: firstname.lastname@example.org).
Cite: Mohsin Ali Memon, Manzoor Hashmani and Karsten Sohr, "Validation of Temporary Delegation and Revocation of Roles with UML and OCL," International Journal of Computer Theory and Engineering vol. 2, no. 1, pp. 6-11, 2010.