Conference -
 Bernhard Rumpe
A stream-based mathematical model for distributed information processing systems - SysLab system model -

FMOODS'96, Formal Methods for Open Object-based Distributed Systems



Author(s): Cornel Klein, Bernhard Rumpe, Manfred Broy
Year: 1996
Publisher: ENST France Telecom
Editor: Elie Naijm, Jean-Bernard Stefani
Abstract:In the SysLab-project, we develop a software engineering method based on a 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. Based on the requirements for such a reference model, we define the system model including its different views and their relationships.


Available as pdf


BibTeX-Entry:
@inproceedings{ KleinRumpeBroy_FMfO1996, author = {Cornel Klein and Bernhard Rumpe and Manfred Broy}, title = {A stream-based mathematical model for distributed information processing systems - SysLab system model -}, booktitle = {FMOODS'96, Formal Methods for Open Object-based Distributed Systems}, year = {1996}, publisher = {ENST France Telecom}, editor = {Elie Naijm and Jean-Bernard Stefani} }

Bernhard Rumpe