2014/12/10 by Maria Spichkova, Heinrich Schmidt, Spichkova, Maria +1
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #Distributed systems and fault tolerance #FOS: Computer and information sciences #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE) #cs.SE
paper · pdf · doi:10.48550/arxiv.1412.3529
Preprint, The 2014 Asia-Pacific Services Computing Conference (APSCC 2014)
openalex publication_date 2014/12/10 · arxiv created 2014/12/11 · arxiv updated 2014/12/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.