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