Result Details

Formalism for the Systems with Roles

BURGER, T.; HRUŠKA, T. Formalism for the Systems with Roles. Proceedings of 8th International Conference ISIM'05 Information. Ostrava: Marq software s.r.o., 2005. p. 227-234. ISBN: 80-86840-09-3.
Type
conference paper
Language
English
Authors
Burger Tomáš, Mgr., Ph.D.
Hruška Tomáš, prof. Ing., CSc., DIFS (FIT)
Abstract

The article describes the vision of the systems with roles. It defines the simple formalism of them based on the lattice theory and formulate the message-dispatch problem within the systems with roles.

Keywords

roles, lattice, object-oriented programming, formalism, message dispatch

Published
2005
Pages
227–234
Proceedings
Proceedings of 8th International Conference ISIM'05 Information
Conference
8th International Conference on Information Systems Implementation and Modelling
ISBN
80-86840-09-3
Publisher
Marq software s.r.o.
Place
Ostrava
BibTeX 
@inproceedings{BUT21480,
  author="Tomáš {Burger} and Tomáš {Hruška}",
  title="Formalism for the Systems with Roles",
  booktitle="Proceedings of 8th International Conference ISIM'05 Information",
  year="2005",
  pages="227--234",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-09-3"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Research groups
Information and Database Systems Research Group (RG IS)
Departments
Department of Information Systems (DIFS)
Back to top