THM-NET: an approach to office systems modeling

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.

REFERENCES

• Barr82: John Barron, Dialogue and process design for interactive information systems using Taxis, Proceedings of the SIGOA conference on Office information systems, p.12-20, June 21-23, 1982, Philadelphia, Pennsylvannia, United States
• Brod81: Michael L. Brodie, Association: A Database Abstraction for Semantic Modelling, Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis, p.577-602, October 12-14, 1981
• BrPe83: Giampio Bracchi , Barbara Pernici, SOS: A Conceptual Model for Office Information Systems, Databases for Business and Office Applications, Database Week, p.108-116, May 23-26, 1983 [doi>10.1145/647004.711873]
• Elli83: Ellis, C.A.: Formal and Informal Models of Office Activi ty in: Mason (ed.): Information Processing 83, Elsevier Science Publishers B.V. (North-Holland), 1983
• ElNu80: Clarence A. Ellis , Gary J. Nutt, Office Information Systems and Computer Science, ACM Computing Surveys (CSUR), v.12 n.1, p.27-60, March 1980 [doi>10.1145/356802.356805]
• GeLa81: Genrich, H.J.; Lautenbach, K.: System Modelling with High-Level Petri Nets, in- Theoretical Computer Science 13 (1981), 109-136
• HaMc81: Michael Hammer , Dennis Mc Leod, Database description with SDM: a semantic database model, ACM Transactions on Database Systems (TODS), v.6 n.3, p.351-386, Sept. 1981 [doi>10.1145/319587.319588]
• HoSY85: Horndasch, A.; Studer, R.; Yasdi, R.: An Approach to ConceptuaT Schema Design of Information Systems, in: Sernadas et al. (eds.): Proc. IF IP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, North-Holland Publ. Co., 1985
• LeLu81: Leonard, M.; Luong, B.T." Information Systems Design Approach Integrating Data and Transactions, in: Proc. 7th Int. Conf. on Very Large Data Bases, Cannes, 1981.
• Naff81: Najah Naffah, Office Information Systems, Elsevier Science Inc., New York, NY, 1982
• Olle82: T. William Olle , A. A. Verrijn Stuart , H. G. Sol, Information Systems Design Methodologies; A Comparative Review: Proceedings of the IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies, Noordwijkerhout, the Netherlands, 10-14 May 1982, Elsevier Science Inc., New York, NY, 1982
• Preu84: Preuhs, Th.: Design of a Communication and Co-operation Model for Teams of Software Engineers, University of Stuttgart, Institut fur Informatik, Master Thesis, 1984 (in German ).
• Rich81a: Richter, G.: IML-inscribed Nets for Modeling Text Processing and Data (Base) Management Systems, in: Proc. 7th Int. Conf. on Very Large Data Bases, Cannes, 1981.
• Rich81b: Richter, G." Ut~Tization of Data Access and Manipulation in Conceptual Schema Definitions, i n: Information Systems 6, (1981), 53-71.
• RiDu82: Richter, G.; Durchholz, R.: IML-Inscribed High-Level Petri Nets, in" Olle et al (eds.) Information Systems Design Methodologies: A Comparative Review, North-Holland Publ. Co., 1982.
• Schi83: Ulrich Schiel, An Abstract Introduction to the Temporal-Hierarchic Data Model (THM), Proceedings of the 9th International Conference on Very Large Data Bases, p.322-330, October 31-November 02, 1983
• Schi84: Schiel, U.: A Semantic Data Model for Conceptual Schemas and their Mapping to internal Relational Schemas (in German), University of Stuttgart, Doctoral Thesis, 1984.
• Stud84: Studer, R.: Modeling Office Information Systems by Using Timed THM-Nets, University of Stuttgart, Institut fEJr Informatik, Technical Report, 1984.
• Zism77: Zisman, M.D.: Office Conversation as an Information Medium, Ph.D. Dissertation, Wharton School, Univ. Pennsylvania, Philadelphia, Pa., 1977.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

General Terms:
Design, Theory