Formalism for the Systems with Roles

Contents

In this paper we present a mathematical formalism for the so called systems with roles. We sketch the main problems and challenges for the research to be solved and we develop the generic algebraic structure, called “lattice with inheritance” and use it to describe the system with roles and to deal with the so called message dispatch problem.