首页> 外文OA文献 >Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques

【2h】

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques

机译：使用模型检查技术自动生成正确的Web服务编排和编排

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gregorio Daz; M. Emilia Cambronero; Juan J. Pardo; O Cuartero;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal techniques for consistency checking of orchestrations of semantic Web services [J] . Hammal Youcef, Mansour Khadidja Salah, Abdelli Abdelkrim, Journal of computational science . 2020,第Jula期

机译：正式技术，用于编码Web服务编排的一致性检查
2. A study on the scalable flow model of web services choreography and orchestration based on dynamic workflow [J] . Jianhua Han, Yuan Luo, Jianping Huang International Journal of Information and Communication Technology . 2013,第3a4期

机译：基于动态工作流的Web服务编排可扩展流模型研究
3. Model checking web services choreography in process analysis toolkit [J] . 许东, 雷州, 李卫民, 上海大学学报：英文版 . 2010,第001期

机译：流程分析工具包中的模型检查Web服务编排
4. Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques [C] . Gregorio Diaz, M. Emilia Cambronero, Juan J. Pardo, Advanced International Conference on Telecommunicationas . 2006

机译：使用模型检查技术自动生成正确的Web服务编排和编排
5. Model checking: Correct Web page navigations with browser behavior. [D] . Zhao, Xiaoshan. 2004

机译：模型检查：纠正具有浏览器行为的网页导航。
6. search GenBank: interactive orchestration and ad-hoc choreography of Web services in the exploration of the biomedical resources of the National Center For Biotechnology Information [O] . Dariusz Mrozek, Bożena Małysiak-Mrozek, Artur Siążnik 2013

机译：搜索GenBank：在探索国家生物技术信息中心的生物医学资源方面Web服务的交互编排和临时编排
7. Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach [O] . Gregorio Díaz, Ismael Rodríguez 2009

机译：检查编排器在Web服务中的编排方案的一致性：一种正式的方法

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques

著录项

引文网络

相似文献

相关主题

期刊订阅