Advertisement

A stream-based mathematical model for distributed information processing systems - the SysLab system model -

  • Cornel Klein
  • Bernhard Rumpe
  • Manfred Broy
Chapter
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)

Abstract

In the SysLab-project, we develop a software engineering method based on a thorough mathematical foundation. The SysLab system model serves as an abstract mathematical model for information systems and their components. It is used to formalize the semantics of all used description techniques, such as object diagrams, state automata, sequence charts or data-flow diagrams. The system model hence is the key to the semantic integration of the method. Based on the requirements for such a reference model, we define the system model including its different views and their relationships.

Keywords

Semantic Model Refinement Decomposition Streams Data-flow Software Development Method 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Broy, M., Dederichs, F., Dendorfer, C. and Weber, R. (1991). Characterizing the behaviour of reactive systems by trace sets, Technical Report SFB 342/2/91 A, TUM-19102, Technische Universität München, Institut für Informatik.Google Scholar
  2. Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T. and Weber, R. (1993). The Design of Distributed Systems - An Introduction to FOCUS, Technical Report SFB 342/2/92 A, Technische Universität München, Institut für Informatik.Google Scholar
  3. Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F. and Jeremaes, P. (1994). Object-Oriented Development - The Fusion Method, Prentice Hall, Inc., Englewood Cliffs, New Jersey.Google Scholar
  4. Grosu, R. and Rumpe, B. (1995). Concurrent timed port automata, Technical Report TUM-I 9533, Technische Universität München.Google Scholar
  5. Grosu, R. and StOlen, K. (1995). A Denotational Model for Mobile Point-toPoint Dataflow Networks, Technical Report TUM-I 9527, Technische Universität München.Google Scholar
  6. Lynch, N. and Stark, E. (1989). A proof of the kahn principle for input/output automata, Information and Computation 82: 81–92.CrossRefMathSciNetzbMATHGoogle Scholar
  7. Milner, R. (1989). Communication and Concurrency, Prentice Hall, Inc., Englewood Cliffs, New Jersey.zbMATHGoogle Scholar
  8. Milner, R. (1991). The polyadic 7r-calculus: A tutorial, Technical Report ECSLFCS-91–180, Department of Computer Science, University of Edinburgh, The King’s Buildings, Edinburg EH9 3JZ.Google Scholar
  9. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W. (1992). Object-Oriented Modeling and Design, Prentice Hall, Inc., Englewood Cliffs, New Jersey.Google Scholar

Copyright information

© IFIP International Federation for Information Processing 1997

Authors and Affiliations

  • Cornel Klein
    • 1
  • Bernhard Rumpe
    • 1
  • Manfred Broy
    • 1
  1. 1.Fakultät für InformatikTechnische Universität MünchenMunichGermany

Personalised recommendations