首页> 外文OA文献 >Binary Activity Chain Modes for Compositional Web Service and Its Compliance Verification

【2h】

Binary Activity Chain Modes for Compositional Web Service and Its Compliance Verification

机译：组合Web服务的二元活动链模式及其合规性验证

页面导航

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

著录项

作者
Bo Chen; Chungui Li; Qixian Cai;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Binary Activity Chain Modes for Compositional Web Service and Its Compliance Verification [J] . Bo Chen, Chungui Li, Qixian Cai Journal of software . 2009,第8期

机译：组合Web服务的二进制活动链模式及其符合性验证
2. Modeling and verification of Web services composition based on model transformation [J] . Zhu Yi, Huang Zhiqiu, Zhou Hang Software . 2017,第5期

机译：基于模型转换的Web服务组合建模与验证
3. Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols [J] . Warda El Kholy, Jamal Bentahar, Mohamed El Menshawy, Expert Systems with Application . 2014,第16期

机译：建模和验证由承诺协议控制的编排的基于多代理的Web服务组合
4. The Binary Behavioral Modes Based on Action Sequence and Compliance Verification for Compositional Web Service [C] . Asia-Pacific Conference on Information Processing . 2009

机译：基于动作序列和合规性验证的二进制行为模式进行组建Web服务
5. Quantifiable non-functional requirements modeling and static verification for web service compositions. [D] . Sun, Hongyu. 2010

机译：Web服务组合的可量化的非功能需求建模和静态验证。
6. A verification strategy for web services composition using enhanced stacked automata model [O] . Danapaquiame Nagamouttou, Ilavarasan Egambaram, Muthumanickam Krishnan, -1

机译：使用增强的堆栈自动机模型的Web服务组合的验证策略
7. Binary Activity Chain Modes for Compositional Web Service and Its Compliance Verification [O] . Qixian Cai, Chungui Li, Bo Chen 2009

机译：组合Web服务的二进制活动链模式及其符合性验证
8. Model Driven Development of Web Services and Dynamic Web Services Composition; Doctoral thesis [R] . Cao, F. 2005

机译：模型驱动的Web服务开发和动态Web服务组合;博士论文

Binary Activity Chain Modes for Compositional Web Service and Its Compliance Verification

著录项

引文网络

相似文献

相关主题

期刊订阅