DocumentCode
3599778
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
fYear
2014
Firstpage
121
Lastpage
128
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Computing Conference (APSCC), 2014 Asia-Pacific
Type
conf
DOI
10.1109/APSCC.2014.29
Filename
7175505
Link To Document