Formal-Based Framework for Analysis of Logical Architecture

Abstract

This paper presents a formal framework for modeling and analysis of data and control flow dependencies between components or services within remotely deployed distributed systems. This 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 and components decomposition oriented towards efficient checking of system properties as well as analysis of dependencies within a system: after analysis of the logical architecture of the system, an optimized architecture is developed following the specified algorithm. One of the key features of this approach is a semi-automatic support of the presented ideas on verification level.

(Auto)Focus approaches and their applications: A systematic review

“…This theory was further extended to have a formal model of processes that is compatible with the component/ data flow view, cf. [70,71]. In many cases, it is beneficial to specify on the same abstraction level not only system components but also processes within the system, however, if we have to apply different frameworks to analyse both views, the system model becomes hard to read and to understand.…”