服务组合中的抽象过程合同
摘要：合同是描述和分析网络服务组合行为方面的成熟方法。合同理论具有客户与服务器之间的兼容性概念，确保兼容的客户和服务器之间的每个可能的交互都能成功完成。一般认为，实际应用通常需要能够仅暴露其部分行为描述的能力，通常称为抽象过程。我们提出了对抽象的形式化描述，作为传统符号双向模拟的扩展，并在合同的背景下恢复了抽象的概念。
作者：Maria Grazia Buscemi, Hern''an Melgratti
论文ID：1101.4732
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-01-26