服务编排、SBVR与时间
软件工程
2015-12-25 v1 计算与语言
摘要
我们提出在指定服务编排时使用结构化自然语言（英语），侧重于在实现业务应用场景时参与服务所需协调的“什么”而不是“如何”。我们提出的声明式方法使用OMG标准《业务词汇与规则语义》（SBVR）作为建模语言。服务编排方法已被提出用于描述参与服务接口上调用的全局顺序。因此，我们通过时间概念扩展SBVR，以参与服务之间可观察的消息交换来捕获其协调。该扩展使用SBVR中现有的建模构造完成，因此遵守标准规范。其理念是用户——领域专家而非实现专家——可以通过直接阅读SBVR使用的结构化英语来验证所请求的服务组合。同时，SBVR模型可以用形式逻辑表示，从而可以被机器解析和执行。
引用
@article{arxiv.1512.07685,
title = {Service Choreography, SBVR, and Time},
author = {Nurulhuda A. Manaf and Sotiris Moschoyiannis and Paul Krause},
journal= {arXiv preprint arXiv:1512.07685},
year = {2015}
}
备注
In Proceedings FOCLASA 2015, arXiv:1512.06947