DocumentCode :
3342442
Title :
The composite algebraic structure over capabilities and actions of a system
Author :
Pinkas, P. ; Kleckova, J.
fYear :
2009
fDate :
9-12 Nov. 2009
Firstpage :
1
Lastpage :
6
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Internet Technology and Secured Transactions, 2009. ICITST 2009. International Conference for
Conference_Location :
London
Print_ISBN :
978-1-4244-5647-5
Type :
conf
DOI :
10.1109/ICITST.2009.5402562
Filename :
5402562
Link To Document :
بازگشت