Modeling of capabilities of a system in algebraic manner
Petr Pinkas, Jana Klečková · 2009
In this paper, we offer a new approach to modeling of a system. We show that a state (from an outer point of view) can be regarded as a capability of the system to participate in interactions with the environment. In addition, we describe the capability by a mathematical object. Finally, we define a simple calculus over capabilities and show that capabilities of the system are a solution of a system of equations in the calculus.