THM-NET: an approach to office systems modeling

  • Authors:
  • Angelika Horndasch;Rudi Studer

  • Affiliations:
  • IBM Deutschland GmbH, Pascalstr. 100, D-7000 Stuttgart 80, Fed. Rep. of Germany;Institut für Informatik, University of Stuttgart, Azenbergstr. 12, D-7000 Stuttgart 1, Fed. Rep. of Germany

  • Venue:
  • CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
  • Year:
  • 1985

Quantified Score

Hi-index 0.00

Visualization

Abstract

A formal model for office systems analysis and modeling is proposed. It aims at describing the static as well as the dynamic aspects of an office (information) system. The modeling concepts are based on general net theory, i.e. predicate/transition nets, and the concepts of the semantic data model THM. Whereas the places of the so-called THM-net are used to represent entities, relationships, and events, the transitions, described by pre-/post-conditions, specify the consumption/generation of entities, relationships, and events, respectively. The THM-net is supplemented with a THM data schema description.Thus our approach provides the modeling power of modern semantic data models without neglecting the dynamic aspects which are very crucial for office (information) systems.