Towards Logical Architecture and Formal Analysis of Dependencies Between Services
This work addresses the challenge of verifying properties in distributed systems for developers and engineers, but it appears incremental as it builds on existing formal methods without introducing a new paradigm.
The paper tackles the problem of modeling and analyzing data and control flow dependencies in distributed service systems, presenting a formal approach that identifies necessary system parts for property checking and enables efficient decomposition and dependency analysis.
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.