Formalism for the Systems With Roles

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56560" target="_blank" >RIV/00216305:26230/05:PU56560 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Formalism for the Systems With Roles
Popis výsledku v původním jazyce
In this paper we preset a mathematical formalism for the so called systmes with roles. We sketch the main problems and challenges for the research to be solved and we develop the generic alegebraic structure, called "lattice with inheritance" and use it to describe the system with roles and to deal with so called message dispatch problem.
Název v anglickém jazyce
Formalism for the Systems With Roles
Popis výsledku anglicky
In this paper we preset a mathematical formalism for the so called systmes with roles. We sketch the main problems and challenges for the research to be solved and we develop the generic alegebraic structure, called "lattice with inheritance" and use it to describe the system with roles and to deal with so called message dispatch problem.

Projekt
<a href="/cs/project/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2005
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ů

Podobné výsledky(10)