独奏者

独奏者的故事:服务组合交互的规范语言。基于服务的应用程序是一类新的软件系统,它通过遵循面向服务的体系结构的原则为企业构建信息系统提供了基础。这些软件系统通常通过协调远程第三方服务来实现,以提供称为服务组合的附加值应用程序。服务组合中涉及的服务的分布式所有权和不断发展的性质使得验证活动至关重要。与验证同等重要的还有正式指定服务组合的交互(与第三方服务)的问题,以及平衡表达性和支持自动验证的相关问题。本文展示了SOLOIST,一种规范化服务组合交互的语言。SOLOIST的主要目标是表达基于服务的应用程序规范中最重要的规范模式。该语言基于许多排序的一阶度量时态逻辑,扩展了新的时态模式,支持在特定时间窗口中发生的事件的聚合运算符。我们还展示了在某些假设条件下,语言如何被简化为线性时序逻辑,为在设计时和运行时使用SOLOIST验证技术铺平了道路。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换