Towards Logical Architecture and Formal Analysis of Dependencies Between Services

TL;DR

This paper introduces a formal method for modeling and analyzing data and control dependencies between services in distributed systems, enabling efficient property verification and dependency analysis.

Contribution

It proposes a formal approach for service dependency modeling and decomposition to facilitate property checking in distributed systems.

Findings

Enables identification of critical system parts for property verification

Supports decomposition of services for efficient analysis

Provides a formal framework for dependency analysis in distributed systems

Abstract

This paper presents a formal approach to modelling and analysis of data and control flow dependencies between services within remotely deployed distributed systems of services. Our work aims at elaborating for a concrete system, which parts of the system (or system model) are necessary to check a given property. The approach allows services decomposition oriented towards efficient checking of system properties as well as analysis of dependencies within a system.