Typed formal model for WS-CDL specification of web services composition

被引：0
|
作者：
Gu, Xiwu [1 ]
Li, Ruixuan [1 ]
Lu, Zhengding [1 ]
机构：
[1] College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China
来源：
Journal of Southeast University (English Edition) | 2008年 / 24卷 / 03期
关键词：
Description languages - Mapping rules - Merging algorithms - Operational semantics - Run-time errors - Set extension - Typing rules - Web services composition;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：300 / 307
相关论文
共 50 条
  • [11] 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
  • [12] A formal specification for web services composition and verification
    Shi, YL
    Zhang, L
    Liu, B
    Liu, FF
    Lin, LL
    Shi, BL
    Fifth International Conference on Computer and Information Technology - Proceedings, 2005, : 252 - 256
  • [13] 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
  • [14] Formal Specification of Adaptable Semantic Web Services Composition
    Ben Lamine, Rihab
    Ben Jemaa, Raoudha
    Ben Amor, Ikram Amous
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2018, 13 (04) : 14 - 34
  • [15] Realizing model driven security for inter-organizational workflows with WS-CDL and UML 2.0 - Bringing web services, security and UML together
    Hafner, M
    Breu, R
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 39 - 53
  • [16] Verifying WS-CDL-based Web Services Collaboration by Model Checking
    Kang, Zuling
    Wang, Hongbing
    2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 554 - 561
  • [17] Formal specification of a Web services protocol
    Johnson, James E.
    Langworthy, David E.
    Lamport, Leslie
    Vogt, Friedrich H.
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 70 (01): : 34 - 52
  • [18] Formal Specification of the Assurance Point Web Service Composition Model
    Gao, Le
    Urban, Susan D.
    Rodriguez, Jonathan
    Warkhade, Abhijit
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2014, 23 (04)
  • [19] Web服务编排描述语言WS-CDL的形式化模型框架
    辜希武
    卢正鼎
    计算机科学, 2007, (09) : 5 - 11
  • [20] Web服务组合规范WS-CDL的类型化形式化模型(英文)
    辜希武
    李瑞轩
    卢正鼎
    Journal of Southeast University(English Edition), 2008, (03) : 300 - 307
12345