独奏家 swMATH ID: 16438 软件作者: Bianculli D、Ghezzi C、Pietro PS 描述: SOLOIST的故事:服务组合交互的规范语言。基于服务的应用程序是一类新的软件系统,它为企业按照面向服务的体系结构的原则构建信息系统提供了基础。这些软件系统通常通过协调远程第三方服务来实现,以提供称为服务组合的增值应用程序。服务组合中涉及的服务的分布式所有权和不断演变的性质使得验证活动至关重要。与验证同等重要的是正式指定服务组合与第三方服务的交互,以及平衡表达能力和支持自动验证的相关问题。本文展示了SOLOIST,一种用于形式化服务组合交互的规范语言。SOLOIST的设计主要目的是表达基于服务的应用程序规范中最重要的规范模式。该语言基于多排序的一阶度量时态逻辑,并扩展了新的时态模式,支持特定时间窗口中发生的事件的聚合运算符。我们还展示了在某些假设下,如何将该语言简化为线性时序逻辑,从而为在设计时和运行时使用SOLOIST和已建立的验证技术铺平了道路。 主页: http://rd.springer.com/chapter/10.1007%2F978-3-642-35861-6_4 相关软件: PostgreSQL;洛拉;蒙保利 引用于: 1文件 4位作者引用 1 David A.Basin。 1 费利克斯·克莱特克 1 斯尔詹·马里诺维奇 1 尤根·兹利内斯库 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文