A stream-based mathematical model for distributed information processing systems - SysLab system model
This work provides a foundational model for software engineering in distributed systems, but it appears incremental as it builds on existing description techniques without claiming broad new capabilities.
The paper tackles the problem of formalizing semantics for diverse description techniques in information systems by introducing the SysLab system model, which serves as an abstract mathematical foundation for distributed information processing systems.
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.