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 条
  • [21] Managing distributed architecture with extended WS-CDL
    Dusza, Konrad
    Krawczyk, Henryk
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2008, 4967 : 281 - 290
  • [22] Automatic translation of WS-CDL choreographies to timed automata
    Diaz, G
    Pardo, JJ
    Cambronero, ME
    Valero, V
    Cuartero, F
    FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS, 2005, 3670 : 230 - 242
  • [23] Coordination of Ubiquitous Devices in Pervasive Environments: A Proposal Based on WS-CDL
    Testa, Oscar A.
    Fonseca C, Efrain R.
    Montejano, German
    Dieste, Oscar
    2019 38TH INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC), 2019,
  • [24] Mapping UML Diagrams for generating WS-CDL code
    Alor-Hernandez, Giner
    Machorro-Cano, Isaac
    Gomez, Juan Miguel
    Cruz-Ahuactzi, Jesus
    Posada-Gomez, Ruben
    Mencke, Myriam
    Juarez-Martinez, Ulises
    THIRD INTERNATIONAL CONFERENCE ON DIGITAL SOCIETY: ICDS 2009, PROCEEDINGS, 2009, : 229 - 234
  • [25] Using UML/WS-CDL for modeling negotiation scenarios
    Piotrowski, Michal
    Krawczyk, Henryk
    PERVASIVE COLLABORATIVE NETWORKS, 2008, 283 : 119 - 126
  • [26] A barred operational semantics for a subset of WS-CDL with time restrictions
    Valero, Valentin
    Diaz, Gregorio
    Emilia Cambronero, Maria
    Macia, Hermenegilda
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (08): : 730 - 748
  • [27] A Graphical Representation for WS-CDL Supporting Multi Levels of Abstraction
    Etehadi, Mehdi
    Mardukhi, Farhad
    2009 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC 2009), 2009, : 324 - +
  • [28] WS-CDL测试路径的生成与排序
    刘翠翠
    邱栋
    李必信
    东南大学学报(自然科学版), 2012, 42 (03) : 428 - 434
  • [29] Modeling and Verifying WS-CDL Using Event-B
    Hong Anh Le
    Ninh Thuan Truong
    Context-Aware Systems and Applications, (ICCASA 2012), 2013, 109 : 290 - 299
  • [30] From inter-organizational workflows to process execution: Generating BPEL from WS-CDL
    Mendling, J
    Hafner, M
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: OTM 2005 WORKSHOPS, PROCEEDINGS, 2005, 3762 : 506 - 515
12345