Towards Logical Architecture and Formal Analysis of Dependencies Between Services

Maria Spichkova,Heinrich Schmidt
DOI: https://doi.org/10.48550/arXiv.1412.3529
2014-12-11
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.
Software Engineering
What problem does this paper attempt to address?