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 条
  • [31] Component specification model for the web services
    Kim, Haeng-Kon
    Park, Eun-Ju
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2006, PT 4, 2006, 3983 : 927 - 936
  • [32] WS-specification: Specifying web services using UDDI improvements
    Overhage, S
    Thomas, P
    WEB, WEB-SERVICES, AND DATABASE SYSTEMS, 2003, 2593 : 100 - 119
  • [33] COMPOSITION OF WEB SERVICES BASED ON DATA DEPENDENCY SPECIFICATION
    Quan Lixin
    2011 3RD INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT (ICCTD 2011), VOL 3, 2012, : 7 - 11
  • [34] Document flow model:: a formal notation for modelling asynchronous web services composition
    Yang, JT
    Cîrstea, C
    Henderson, P
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: OTM 2005 WORKSHOPS, PROCEEDINGS, 2005, 3762 : 39 - 48
  • [35] RESTful Services and Web-OS Middleware: a Formal Specification Approach
    Bravetti, Mario
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2017, 23 (09) : 808 - 844
  • [36] A formal model for Web service composition
    Lecue, Freddy
    Leger, Alain
    LEADING THE WEB IN CONCURRENT ENGINEERING: NEXT GENERATION CONCURRENT ENGINEERING, 2006, 143 : 37 - 46
  • [37] A Model for Specification, Composition and Verification of Access Control Policies and Its Application to Web Services
    Derakhshandeh, Zahra
    Ladani, Behrouz Tork
    ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2011, 3 (02): : 103 - 120
  • [38] An object-oriented approach to specification and composition of web services
    Sach, LT
    Cao, TH
    Thang, LN
    Son, LT
    MODELLING, SIMULATION AND OPTIMIZATION OF COMPLEX PROCESSES, 2005, : 427 - 440
  • [39] A Formal Model for Abstracting the Interaction of Web Services
    Bao, Li
    Zhang, Weishi
    Xie, Xiong
    JOURNAL OF COMPUTERS, 2010, 5 (01) : 91 - 98
  • [40] A Formal Model of Web Services Transport Layer
    Liu, Jian
    Ma, Dianfu
    Li, Zhuqing
    Sun, Dou
    ICNS: 2009 FIFTH INTERNATIONAL CONFERENCE ON NETWORKING AND SERVICES, 2009, : 474 - 480
12345