面向服务间依赖关系的逻辑架构与形式分析
软件工程
2014-12-12 v1
摘要
本文提出了一种形式化方法，用于建模和分析远程部署的分布式服务系统中服务之间的数据流和控制流依赖关系。我们的工作旨在针对具体系统阐明：为了验证给定属性，系统的哪些部分（或系统模型）是必需的。该方法支持面向高效检查系统属性的服务分解，以及系统内部的依赖关系分析。
引用
@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}
}
备注
Preprint, The 2014 Asia-Pacific Services Computing Conference (APSCC 2014)