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 条
  • [41] A goal specification language for automated discovery and composition of web services
    Agarwal, Sudhir
    PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE: WI 2007, 2007, : 528 - 534
  • [42] Web Services-BusinessActivity-Initiator (WS-BA-I) protocol: an extension to the Web Services-BusinessActivity specification
    Erven, Hannes
    Hicker, Georg
    Huemer, Christian
    Zaptletal, Marco
    2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 216 - +
  • [43] A formal model for semantic Web service composition
    Lecue, Freddy
    Leger, Alain
    SEMANTIC WEB - ISEC 2006, PROCEEDINGS, 2006, 4273 : 385 - 398
  • [44] Model checking behavioral specification of BPEL web services
    Dong, Rongsheng
    Wei, Zhao
    Luo, Xiangyu
    WORLD CONGRESS ON ENGINEERING 2008, VOLS I-II, 2008, : 198 - 203
  • [45] Using the functional model for customizable web services specification
    Sam, Yacine
    Boucelma, Omar
    2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 1220 - +
  • [46] A Mediation Based Approach for Formal Verification of Web Services Composition
    Maraoui, Raoudha
    Cariou, Eric
    2017 INTERNATIONAL CONFERENCE ON ENGINEERING & MIS (ICEMIS), 2017,
  • [47] A Framework for the composition and formal verification of adaptable semantic Web services
    Ben Lamine, Rihab
    Ben Djemaa, Raoudha
    Amous, Ikram
    16TH INTERNATIONAL CONFERENCE ON ADVANCES IN MOBILE COMPUTING AND MULTIMEDIA (MOMM 2018), 2014, : 25 - 33
  • [48] A theorem proving framework for the formal verification of Web Services Composition
    Papapanagiotou, Petros
    Fleuriot, Jacques D.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61): : 1 - 16
  • [49] A Formal Method Support for Resource Modeling of Web Services Composition
    Zhu, Yi
    Huang, Zhiqiu
    ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 1, PROCEEDINGS, 2008, : 370 - 375
  • [50] The study of Web services composition model
    Liang, Wen-Yau
    IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 899 - 903
12345