Toward an Algebraic Structure over Capabilities of a System
Petr Pinkas, Jana KleÃƒÂ©kova
International Journal of Information Studies, Vol. 2, No. 3, 2010.
DOI: 
Link: http://www.istudies.net/journal/sites/default/files/Toward%20an%20Algebraic%20Structure%20over%20Capabilities%20of%20a%20System.pdf
Abstract:
The effort to rigorously modeling critical systems is becoming more and more common. However, we see also other systems that come into account, i.e. systems of independently developed systems. 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. Furthermore, we describe the capability by a mathematical object and discuss strictness of this description. 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.