Correctness Proof Obligation for CoCTelS Telecom Services Composition Model

2005 ◽  
Author(s):  
Z. Choukair
Keyword(s):  
Proof Obligation ◽  
Correctness Proof ◽  
Services Composition

Unified Formal Modeling and Analyzing both Functionality and QoS of Web Services Composition

2011 ◽  
Vol 22 (11) ◽  
pp. 2698-2715 ◽  
Author(s):  
Fang-Xiong XIAO ◽  
Zhi-Qiu HUANG ◽  
Zi-Ning CAO ◽  
Li-Zhong TU ◽  
Yi ZHU
Keyword(s):  
Web Services ◽  
Formal Modeling ◽  
Web Services Composition ◽  
Services Composition

scholarly journals A comparative illustration of AI planning-based web services composition

2006 ◽  
Vol 5 (5) ◽  
pp. 1-10 ◽  
Author(s):  
Seog-Chan Oh ◽  
Dongwon Lee ◽  
Soundar R. T. Kumara
Keyword(s):  
Web Services ◽  
Ai Planning ◽  
Web Services Composition ◽  
Services Composition

Design and correctness proof of a security protocol for mobile banking

2009 ◽  
Vol 14 (1) ◽  
pp. 259-265 ◽  
Author(s):  
Dalton Li ◽  
David Lin ◽  
Grace Zhao ◽  
Brian Huang
Keyword(s):  
Security Protocol ◽  
Mobile Banking ◽  
Correctness Proof
Sign in / Sign up

Export Citation Format

Share Document