A Framework for Model Checking Web Service Compositions Based on BPEL4WS

IEEE International Conference on e-Business Engineering (ICEBE'07) ◽

10.1109/icebe.2007.11 ◽

2007 ◽

Cited By ~ 11

Author(s):

Guilan Dai ◽

Xiaoying Bai ◽

Chongchong Zhao

Keyword(s):

Model Checking ◽

Web Service

Download Full-text

Web service composition based on bounded model checking

2011 International Conference on Computer Science and Service System (CSSS) ◽

10.1109/csss.2011.5974799 ◽

2011 ◽

Author(s):

Zhi Fang ◽

Lejian Liao ◽

Ruoyu Chen

Keyword(s):

Model Checking ◽

Web Service ◽

Service Composition ◽

Bounded Model Checking ◽

Web Service Composition

Download Full-text

Predictive Web Service Monitoring using Probabilistic Model Checking

Applied Mathematics & Information Sciences ◽

10.12785/amis/071l20 ◽

2013 ◽

Vol 7 (1L) ◽

pp. 139-148 ◽

Cited By ~ 7

Author(s):

Honghao Gao ◽

Huaikou Miao ◽

Hongwei Zeng

Keyword(s):

Model Checking ◽

Web Service ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Service Monitoring

Download Full-text

Bounded Model Checking for Web Service Discovery and Composition

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ◽

10.1109/snpd.2010.38 ◽

2010 ◽

Author(s):

Zhi Fang ◽

Lejian Liao ◽

Ruoyu Chen

Keyword(s):

Model Checking ◽

Web Service ◽

Service Discovery ◽

Bounded Model Checking ◽

Web Service Discovery

Download Full-text

Probabilistic Timed Model Checking for Atomic Web Service

2011 IEEE World Congress on Services ◽

10.1109/services.2011.42 ◽

2011 ◽

Author(s):

Honghao Gao ◽

Huaikou Miao ◽

Shengbo Chen ◽

Jia Mei

Keyword(s):

Model Checking ◽

Web Service ◽

Timed Model Checking

Download Full-text

Web service composition verification based on symbol model checking and Petri nets

Developments of Artificial Intelligence Technologies in Computation and Robotics ◽

10.1142/9789811223334_0038 ◽

2020 ◽

Author(s):

Shijie Zhang ◽

Peng Xu ◽

Yang Xu

Keyword(s):

Model Checking ◽

Petri Nets ◽

Web Service ◽

Service Composition ◽

Web Service Composition

Download Full-text

Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL

Web Information Systems and Mining - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23982-3_52 ◽

2011 ◽

pp. 428-435 ◽

Cited By ~ 3

Author(s):

Guangquan Zhang ◽

Huijuan Shi ◽

Mei Rong ◽

Haojun Di

Keyword(s):

Model Checking ◽

Web Service ◽

Service Composition ◽

Web Service Composition

Download Full-text

A Framework for Model Checking Web Service Choreography Based on CWB

International Conference on Computer Technology and Development, 3rd (ICCTD 2011) ◽

10.1115/1.859919.paper348 ◽

2011 ◽

pp. 2117-2127

Keyword(s):

Model Checking ◽

Web Service ◽

Service Choreography

Download Full-text

Model Checking of Non-centralized Automaton Web Service

10.14257/astl.2016.121.58 ◽

2016 ◽

Author(s):

Rui-min Zhang ◽

Xiao-bin Li

Keyword(s):

Model Checking ◽

Web Service

Download Full-text

Model Checking Based Web Service Verification: A Systematic Literature Review

IEEE Transactions on Services Computing ◽

10.1109/tsc.2018.2845401 ◽

2018 ◽

pp. 1-1

Author(s):

Gopal N. Rai ◽

G. R. Gangadharan

Keyword(s):

Model Checking ◽

Literature Review ◽

Web Service ◽

Systematic Literature Review

Download Full-text

Formal verification for Web service composition: A model-checking approach

2015 International Symposium on Networks, Computers and Communications (ISNCC) ◽

10.1109/isncc.2015.7238576 ◽

2015 ◽

Cited By ~ 2

Author(s):

Majdi Ghannoudi ◽

Walid Chainbi

Keyword(s):

Model Checking ◽

Formal Verification ◽

Web Service ◽

Service Composition ◽

Web Service Composition

Download Full-text