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

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.