Modeling of Capabilities of a System in Algebraic Manner
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F09%3A00502461" target="_blank" >RIV/49777513:23520/09:00502461 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Modeling of Capabilities of a System in Algebraic Manner
Popis výsledku v původním jazyce
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 capabilityby 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.
Název v anglickém jazyce
Modeling of Capabilities of a System in Algebraic Manner
Popis výsledku anglicky
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 capabilityby 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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Networked Digital Technologies (NDT 2009)
ISBN
978-1-4244-4614-8
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
—
Název nakladatele
IEEE
Místo vydání
New York
Místo konání akce
Ostrava
Datum konání akce
1. 1. 2009
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000279656200078