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

TL;DR

This paper introduces a mathematical system model for distributed information processing systems, providing a formal foundation to unify various description techniques in software engineering.

Contribution

It presents a comprehensive formal model that captures multiple views of information systems, enabling precise semantics for diverse description methods.

Findings

Formalized semantics for object diagrams and automata

Unified view of system components and their relationships

Foundation for rigorous software engineering methods

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.