服务组合中的抽象过程契约
Contracts for Abstract Processes in Service Composition
摘要：
契约是描述和分析Web服务组合行为方面的一种成熟方法。契约理论配备了客户端和服务器之间的兼容性概念，确保兼容客户端和服务器之间的每一个可能的交互都能成功完成。人们普遍认为，实际的应用程序通常需要能够公开其行为的部分描述，这通常被称为抽象过程。我们提出了一个正式的表征抽象的扩展通常的符号互模拟，我们恢复的概念，抽象的合同的背景下。
英文摘要：
Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
