Towards Logical Architecture and Formal Analysis of Dependencies Between Services
Software Engineering
2014-12-12 v1
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.
Keywords
Cite
@article{arxiv.1412.3529,
title = {Towards Logical Architecture and Formal Analysis of Dependencies Between Services},
author = {Maria Spichkova and Heinrich Schmidt},
journal= {arXiv preprint arXiv:1412.3529},
year = {2014}
}
Comments
Preprint, The 2014 Asia-Pacific Services Computing Conference (APSCC 2014)