• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Workshop on Abstract State Machines(ASM 2004); 20040524-20040528; Wittenberg; DE >Specification and Validation of the Business Process Execution Language for Web Services
【24h】

Specification and Validation of the Business Process Execution Language for Web Services

机译：Web服务业务流程执行语言的规范和验证

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We formally define an abstract executable semantics for the Business Process Execution Language for Web Services in terms of a distributed ASM. The goal of this work is to support the design and standardization of the language. "There is a need for formalism. It will allow us to not only reason about the current specification and related issues, but also uncover issues that would otherwise go unnoticed. Empirical deduction is not sufficient." - Issue #42, OASIS WSBPEL TC. The language definition assumes an infrastructure for running Web services on some asynchronous communication architecture. A business process is built on top of a collection of Web services performing continuous interactions with the outside world by sending and receiving messages over a communication network. The underlying execution model is characterized by its concurrent and reactive behavior making it particularly difficult to predict dynamic system properties with a sufficient degree of detail and precision under all circumstances.
机译：我们根据分布式ASM正式定义了Web服务的业务流程执行语言的抽象可执行语义。这项工作的目标是支持语言的设计和标准化。 “存在形式主义的需求。它将使我们不仅能够对当前的规范和相关问题进行推理，而且还可以发现那些本来不会引起注意的问题。凭经验得出的结论是不够的。” -OASIS WSBPEL TC，第42期。语言定义假定了用于在某些异步通信体系结构上运行Web服务的基础结构。业务流程建立在Web服务集合的顶部，该Web服务通过在通信网络上发送和接收消息来与外界进行持续的交互。基础执行模型的特征在于其并发和响应行为，这使得在任何情况下都很难以足够的详细程度和精度来预测动态系统属性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号