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.
This paper originated in the SysLab project, which is supported by the DFG under the Leibnizprogramme and by Siemens-Nixdorf.
Chapter PDF
Similar content being viewed by others
References
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.
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.
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.
Grosu, R. and Rumpe, B. (1995). Concurrent timed port automata, Technical Report TUM-I 9533, Technische Universität München.
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.
Lynch, N. and Stark, E. (1989). A proof of the kahn principle for input/output automata, Information and Computation 82: 81–92.
Milner, R. (1989). Communication and Concurrency, Prentice Hall, Inc., Englewood Cliffs, New Jersey.
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.
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W. (1992). Object-Oriented Modeling and Design, Prentice Hall, Inc., Englewood Cliffs, New Jersey.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Klein, C., Rumpe, B., Broy, M. (1997). A stream-based mathematical model for distributed information processing systems - the SysLab system model -. In: Najm, E., Stefani, JB. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35082-0_23
Download citation
DOI: https://doi.org/10.1007/978-0-387-35082-0_23
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2875-9
Online ISBN: 978-0-387-35082-0
eBook Packages: Springer Book Archive