Modeling of Capabilities of a System in Algebraic Manner

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Modeling of Capabilities of a System in Algebraic Manner

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2009

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Networked Digital Technologies (NDT 2009)

ISBN

978-1-4244-4614-8

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

—

Publisher name

IEEE

Place of publication

New York

Event location

Ostrava

Event date

Jan 1, 2009

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000279656200078