Toward an Algebraic Structure over Capabilities of a System
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F12%3A43916740" target="_blank" >RIV/49777513:23520/12:43916740 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Toward an Algebraic Structure over Capabilities of a System
Original language description
The effort to rigorously modeling critical systems is becoming more and more common. However, we see also other systems that come into account, i.e. systems of independently developed systems. 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. Furthermore, we describe the capability by a mathematical object and discuss strictness of this description. 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.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
The International Journal of Information Studies
ISSN
1911-8414
e-ISSN
—
Volume of the periodical
2
Issue of the periodical within the volume
3
Country of publishing house
US - UNITED STATES
Number of pages
10
Pages from-to
134-143
UT code for WoS article
—
EID of the result in the Scopus database
—