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 :
بازگشت