亚历山德罗·拉帕杜拉；罗萨里奥·普格利泽；弗朗西斯科·蒂齐 规范面向服务应用程序中的数据交换。 （英语） Zbl 1141.68509号 Arbab，Farhad（编辑）等人，软件工程基础国际研讨会。国际研讨会，FSEN 2007，伊朗德黑兰，2007年4月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75697-2/pbk）。计算机科学课堂讲稿4767223-239（2007）。 摘要：我们为COWS定义了一个类型系统，这是一种用于指定和组合服务的形式，同时为其动态行为建模。我们的类型允许用附加到每个单一数据的服务合作伙伴名称集来表示限制数据交换的策略。服务程序员显式地只编写必要的注释，以指定可通信数据的所需策略，而类型推理系统（静态地）派生最小的附加注释，以确保服务初始配置的一致性。然后，语言动态语义只执行非常简单的检查来授权或阻止通信。我们证明了类型系统和操作语义是正确的。因此，我们具有以下数据保护属性：服务始终遵守管理交互服务之间数据交换的策略。我们通过一个简化但现实的基于服务的电子市场场景来说明我们的方法。关于整个系列，请参见[Zbl 1138.68001号]. 引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68米10 计算机系统中的网络设计和通信 软件：奶牛 PDF格式BibTeX公司 XML格式引用 \textit{A.Lapadula}等人，Lect。注释计算。科学。4767223-239（2007年；兹bl 1141.68509） 全文： 内政部 链接