Title :
Towards Logical Architecture and Formal Analysis of Dependencies between Services
Author :
Spichkova, Maria ; Schmidt, Heinrich
Author_Institution :
Comput. Sci. & IT, RMIT Univ., Melbourne, VIC, Australia
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 :
data analysis; formal verification; concrete system; control flow dependencies analysis; data analysis; data modelling; formal approach; remotely deployed distributed systems; system properties checking; Analytical models; Computer architecture; Data models; Monitoring; Optimization; Systems architecture; Testing; decomposition; dependencies between services; formal methods; static analysis; verification;
Conference_Titel :
Services Computing Conference (APSCC), 2014 Asia-Pacific
DOI :
10.1109/APSCC.2014.29
