Title :
The composite algebraic structure over capabilities and actions of a system
Author :
Pinkas, P. ; Kleckova, J.
Abstract :
In this paper, we propose a different approach to modeling of a system that focuses on the capability of the system to participate in interactions with its environment. Furthermore, we use mathematical object to describe this capability. In addition, we show an equivalency (from an outer point of view) between capabilities and states. Finally, we define a composite algebraic structure and then show that capabilities of the system are a solution of a system of equations in this algebraic structure.
Keywords :
pi calculus; process algebra; ??-calculus; composite algebraic structure; mathematical object; system equation; system modelling; Calculus; Carbon capture and storage; Computer science; Equations; Mathematics; State-space methods; Unified modeling language;
Conference_Titel :
Internet Technology and Secured Transactions, 2009. ICITST 2009. International Conference for
Conference_Location :
London
Print_ISBN :
978-1-4244-5647-5
DOI :
10.1109/ICITST.2009.5402562