Detail výsledku

Formalism for the Systems with Roles

BURGER, T.; HRUŠKA, T. Formalism for the Systems with Roles. papers from the AAAI Fall Symposium. Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems. Menlo Park, California: American Association for Artificial Intelligence, 2005. p. 26-30. ISBN: 978-1-57735-254-9.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Burger Tomáš, Mgr., Ph.D., FIT (FIT), UIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., UIFS (FIT)
Abstrakt

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.

Klíčová slova

inheritance, roles

Rok
2005
Strany
26–30
Sborník
papers from the AAAI Fall Symposium
Řada
Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems
Konference
AAAI 2005 Fall Symposia
ISBN
978-1-57735-254-9
Vydavatel
American Association for Artificial Intelligence
Místo
Menlo Park, California
BibTeX 
@inproceedings{BUT18287,
  author="Tomáš {Burger} and Tomáš {Hruška}",
  title="Formalism for the Systems with Roles",
  booktitle="papers from the AAAI Fall Symposium",
  year="2005",
  series="Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems",
  pages="26--30",
  publisher="American Association for Artificial Intelligence",
  address="Menlo Park, California",
  isbn="978-1-57735-254-9"
}
Projekty
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru