A formal framework for WS-CDL based on process algebra

被引：0
|
作者：
Li, Shenghong [1 ,2 ]
Miao, Huaikou [1 ]
机构：
[1] School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
[2] School of Information and Technology, Jiangxi University of Finance and Economics, Nanchang 330013, China
来源：
Journal of Information and Computational Science | 2009年 / 6卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：497 / 505
相关论文
共 50 条
  • [31] A model-driven approach to predicting dependability of WS-CDL based service composition
    Xia, Yunni
    Dai, Gang
    Li, Jia
    Sun, Tianhao
    Zhu, Qingsheng
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (10): : 1127 - 1145
  • [32] 基于进程代数WS-CDL交互模式建模研究
    袁晓月
    万珍珍
    冯星
    江西科学, 2014, 32 (06) : 878 - 883
  • [33] A comparative study between WSCI, WS-CDL, and OWL-S
    Emilia Cambronero, Maria
    Diaz, Gregorio
    Martinez, Enrique
    Valero, Valentin
    ICEBE 2009: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2009, : 377 - 382
  • [34] Integrating quality of service aspects in top-down business process development using WS-CDL and WS-BPEL
    Rosenberg, Florian
    Enzi, Christian
    Michlmayr, Anton
    Platzer, Christian
    Dustdar, Schahram
    11TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2007, : 15 - 26
  • [35] Formal Framework for Cost Analysis Based on Process Algebra
    Nishizaki, Shin-ya
    Kiyoto, Hiroki
    COMMUNICATIONS AND INFORMATION PROCESSING, PT 1, 2012, 288 : 110 - 117
  • [36] WS-CDL: Coordinating Ubiquitous Devices in Pervasive Environments Using a Web Standard
    Testa, Oscar A.
    Fonseca C, Efrain R.
    Montejano, German
    Debnath, Narayan C.
    Dieste, Oscar
    2020 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2020, : 1007 - 1012
  • [37] WS-CDL编排到BPEL编制的转换与实现
    周洁颖
    阮彤
    张弘
    华东理工大学学报(自然科学版), 2012, 38 (02) : 239 - 246
  • [38] WS-CDL的形式化模型和执行过程研究
    梁智远
    张为群
    黄娟
    计算机科学, 2009, 36 (05) : 151 - 153+162
  • [39] 基于Pi-演算的WS-CDL编舞的描述和验证
    靖红叶
    余雪丽
    计算机工程与应用 , 2008, (13) : 39 - 43
  • [40] 基于Petri网的挖掘WS-CDL编排并行性的方法
    陈凤强
    赵文卓
    代飞
    计算机应用研究, 2017, 34 (06) : 1750 - 1755+1761
12345