上下文感知服务协议中基于数据的并发处理
Handling Data-Based Concurrency in Context-Aware Service Protocols
摘要：
依赖性分析是一种识别和确定服务协议之间的数据依赖性的技术。如果存在数据依赖，则在服务组合中并发演化的协议需要在它们的执行中强加一个顺序。在这项工作中，我们描述了一个模型来正式上下文感知服务协议。我们还提出了一种组合语言来处理动态的并发执行的协议。这种语言使用基于数据语义匹配的机制，解决了在同一用户设备上同时执行的多个协议之间的数据依赖性问题。我们的方法旨在帮助用户建立这些依赖关系之间的优先级，避免死锁情况的发生。然而，这个过程是容易出错的，因为它需要人为干预。因此，我们还提出了验证技术，以自动检测可能的不一致，同时建立数据依赖集的用户指定。我们的方法是支持我们已经实现的原型工具。
英文摘要：
Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this work, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols. This language addresses data dependency issues among several protocols concurrently executed on the same user device, using mechanisms based on data semantic matching. Our approach aims at assisting the user in establishing priorities between these dependencies, avoiding the occurrence of deadlock situations. Nevertheless, this process is error-prone, since it requires human intervention. Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set. Our approach is supported by a prototype tool we have implemented.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
