DocumentCode
3633228
Title
Modeling of capabilities of a system in algebraic manner
Author
Petr Pinkas;Jana Kleckova
Author_Institution
Department of Computer Science and Engineering, University of West Bohemia
fYear
2009
Firstpage
458
Lastpage
463
Abstract
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.
Keywords
"Carbon capture and storage","Calculus","Equations","Computer science","Unified modeling language","State-space methods","Mathematics"
Publisher
ieee
Conference_Titel
Networked Digital Technologies, 2009. NDT ´09. First International Conference on
ISSN
2155-8728
Print_ISBN
978-1-4244-4614-8
Electronic_ISBN
2155-8736
Type
conf
DOI
10.1109/NDT.2009.5272168
Filename
5272168
Link To Document