摘要: We present a language for specifying web service interfaces. A interface puts three kinds of constraints on the users service. First, specifies methods that can be called by client, together with types input and output parameters; these are signature constraints. Second, may specify propositional method calls values occur in conversation; consistency Third, temporal ordering calls; protocol The interfaces used to check, first, if two or more services compatible, second, safely substituted B. algorithm compatibility checking verifies fulfill each others' substitutivity demands fewer fulfills than
core.ac.uk
acm.org
sosy-lab.org参考文章(24)
James E. Hanson, David W. Levine, Prabir Nandi, Conversation-enabled Web Services for Agents and e-Business. international conference on internet computing. pp. 791- 796 ,(2002)
Shin Nakajima, Model-Checking of Safety and Security Aspects in Web Service Flows Lecture Notes in Computer Science. pp. 488- 501 ,(2004) , 10.1007/978-3-540-27834-4_60
Xiang Fu, Tevfik Bultan, Jianwen Su, WSAT: A Tool for Formal Analysis of Web Services Computer Aided Verification. pp. 510- 514 ,(2004) , 10.1007/978-3-540-27813-9_48
Luca de Alfaro, Thomas A. Henzinger, Interface Theories for Component-Based Design embedded software. pp. 148- 165 ,(2001) , 10.1007/3-540-45449-7_11
Rachid Hamadi, Boualem Benatallah, A Petri net-based model for web service composition australasian database conference. pp. 191- 200 ,(2003)
C.K. Chang, Jia Zhang, S.W. Kim, Jen-Yao Chung, WS-Net: a Petri-net based specification model for Web services international conference on web services. pp. 420- 427 ,(2004) , 10.1109/ICWS.2004.132
S. Uchitel, J. Kramer, J. Magee, H. Foster, Compatibility verification for Web service choreography international conference on web services. pp. 738- 741 ,(2004) , 10.1109/ICWS.2004.36
Daniela Florescu, Andreas Grünhagen, Donald Kossmann, XL: an XML programming language for web service specification and composition the web conference. pp. 65- 76 ,(2002) , 10.1145/511446.511456
Jianwen Su, Xiang Fu, T. Bultan, Realizability of conversation protocols with message contents international conference on web services. pp. 96- 103 ,(2004) , 10.1109/ICWS.2004.92
K.J. Kochut, Xiaochuan Yi, A CP-nets-based design and verification framework for Web services composition international conference on web services. pp. 756- 760 ,(2004) , 10.1109/ICWS.2004.2