Toward an Algebraic Structure over Capabilities of a System

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Toward an Algebraic Structure over Capabilities of a System

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Toward an Algebraic Structure over Capabilities of a System

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

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ů

Název periodika

The International Journal of Information Studies

ISSN

1911-8414

e-ISSN

—

Svazek periodika

2

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

10

Strana od-do

134-143

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—