Interface theory-based formalisation and verification of orchestration in BPEL4WS

Zhenbang Chen; Ji Wang; Wei Dong; Zhichang Qi

首页> 外文期刊>International Journal of Business Process Integration and Management >Interface theory-based formalisation and verification of orchestration in BPEL4WS

【24h】

Interface theory-based formalisation and verification of orchestration in BPEL4WS

机译：BPEL4WS中基于接口理论的编排形式化和验证

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

BPEL4WS (BPEL) is a web service composition language for service-oriented computing. Service orchestration can be specified by executable processes in BPEL. However, it lacks of a formal foundation for specification and verification of service-oriented sy

机译：BPEL4WS（BPEL）是用于面向服务的计算的Web服务组合语言。可以通过BPEL中的可执行流程指定服务编排。但是，它缺乏规范和验证面向服务的系统的正式基础。

著录项

来源
《International Journal of Business Process Integration and Management》 |2007年第4期|p.262-281|共20页
作者
Zhenbang Chen; Ji Wang; Wei Dong; Zhichang Qi;
展开▼
作者单位

National Laboratory for Parallel and Distributed Processing, Changsha, China;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类管理学;
关键词
service composition; web services; transaction; BPEL4WS; interface theory; verification;

机译：服务组合Web服务事务BPEL4WS接口理论验证;
入库时间 2022-08-18 00:45:23

相似文献

外文文献
中文文献
专利

1. Implementing BPEL4WS: the architecture of a BPEL4WS implementation [J] . Francisco Curbera, Rania Khalaf, William A. Nagy, Concurrency and Computation . 2006,第10期

机译：实施BPEL4WS：BPEL4WS实施的体系结构
2. Handling B models in the PERF integrated verification framework: Formalised and certified embedding [J] . Alexandra Halchin, Yamine Ait-Ameur, Neeraj Kumar Singh, Science of Computer Programming . 2020,第Sepa15期

机译：处理B模型在PERF集成验证框架中：正式和认证嵌入
3. Formalised EMFTVM bytecode language for sound verification of model transformations [J] . Zheng Cheng, Rosemary Monahan, James F. Power Software and systems modeling . 2018,第4期

机译：正式的EMFTVM字节码语言，用于模型转换的声音验证
4. DAVO: A Domain-Adaptable, Visual BPEL4WS Orchestrator [C] . Dornemann T., Mathes M., Schwarzkopf R., Advanced Information Networking and Applications, 2009. AINA '09 . 2009

机译：DAVO：适合域的可视BPEL4WS Orchestrator
5. A theory-based usability study of the mouseover abstract interfaces. [D] . Chang, Yaowen. 2005

机译：基于鼠标悬停抽象接口的基于理论的可用性研究。
6. XPB and XPD helicases in TFIIH orchestrate DNA duplex opening and damage verification to coordinate repair with transcription and cell cycle via CAK kinase [O] . Jill O. Fuss, John A. Tainer -1

机译：在TFIIH编排DNa双链体开口和损坏验证XpB和XpD旋酶经由CaK激酶坐标与转录和细胞周期修复
7. DAVO: a domain-adaptable, visual BPEL4WS orchestrator [O] . Tim Dörnemann, Markus Mathes, Roland Schwarzkopf, 2009

机译：DaVO：适应领域的可视化BpEL4Ws协调器

Interface theory-based formalisation and verification of orchestration in BPEL4WS

摘要

著录项

相似文献

相关主题

期刊订阅