Tau 存在或 Tau 不存在？——服务兼容性与可替换性的视角

面向服务计算中主要的开放研究问题之一是提出自动化技术来分析服务接口。第一个问题称为兼容性，旨在确定一组服务（本文中为两个）是否能够组合在一起并按预期进行交互。另一个相关问题是检查一个服务对另一个服务的可替换性。当服务接口中考虑行为描述（即消息调用及其顺序）时，这些问题变得尤为困难。接口应尽可能忠实地捕获服务行为，以使其自动分析成为可能，同时不暴露实现细节。在这篇立场论文中，我们选择标号变迁系统来指定服务接口的行为部分。特别是，我们证明了在这些变迁系统中，内部行为（tau 迁移）是必要的，以便检测将一组服务组合在一起时可能发生的细微错误。我们还表明，在兼容性和可替换性问题中，tau 迁移的处理方式应有所不同：前者需要检查在一个接口中每次遍历 tau 迁移时兼容性是否得以保持，而后者则需要对 tau 分支进行精确分析，以使替换能够保留替换前已确保的属性（例如兼容性概念）。