Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Dynamics in information systems: specification, construction, and correctness. An algebraic approach.

: Claßen, I.; Löwe, M.; Gogolla, M.

Berlin, 1996, 21 pp.
Forschungsberichte - Technische Universität Berlin, Fachbereich 20 Informatik
Fraunhofer ISST ()
algebraic graph; formal specification; information systems; temporal logic; transformation

A formal framework based on algebraic graph theory is presented that integrates specification and construction of dynamics in information systems. Specifications are based on temporal logic whose semantics are given by algebras and partial homomorphisms. Constructions are given by graph transformation rules whose ooperational nature provides a first step towards actual implementations. Both are related by a correctness notion. The formal framework is especially suited as a semantical basis for graphical notations as used in conceptual modeling, thus combining intuitiveness of such notations with the precision of formal methods.