Web Service Interaction Modeling with Colored Petri Nets

2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) ◽

10.1109/idaacs.2019.8924400 ◽

2019 ◽

Author(s):

Aleksandr Gozhyj ◽

Irina Kalinina ◽

Victor Gozhyj ◽

Victoria Vysotska

Keyword(s):

Web Service ◽

Colored Petri Nets ◽

Service Interaction ◽

Interaction Modeling

Download Full-text

Test case generation for BPEL-based web service composition using Colored Petri Nets

2016 International Conference on Progress in Informatics and Computing (PIC) ◽

10.1109/pic.2016.7949575 ◽

2016 ◽

Author(s):

Hosney Jahan ◽

Sana Rao ◽

Dongmei Liu

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Colored Petri Nets ◽

Test Case Generation ◽

Download Full-text

Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets

2009 IEEE International Symposium on Parallel and Distributed Processing with Applications ◽

10.1109/ispa.2009.21 ◽

2009 ◽

Author(s):

Yaojun Han ◽

Xumei Luo

Keyword(s):

Web Service ◽

Colored Petri Nets ◽

Timed Colored Petri Nets

Download Full-text

Web Service Automatic Composition Model Based on Colored Petri Nets

Communications and Network ◽

10.4236/cn.2013.51b023 ◽

2013 ◽

Vol 05 (01) ◽

pp. 101-105 ◽

Author(s):

Kai Nie ◽

Houxiang Wang ◽

Xiaopei Jing ◽

Zhihao Xie

Keyword(s):

Web Service ◽

Colored Petri Nets ◽

Model Based ◽

Automatic Composition

Download Full-text

Analyzing Web Service Choreography Specifications Using Colored Petri Nets

Service-Oriented Perspectives in Design Science Research - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20633-7_30 ◽

2011 ◽

pp. 412-426 ◽

Author(s):

Enrique Caliz ◽

Karthikeyan Umapathy ◽

Arturo J. Sánchez-Ruíz ◽

Sherif A. Elfayoumy

Keyword(s):

Web Service ◽

Colored Petri Nets ◽

Service Choreography

Download Full-text

Modeling Web Service Choreography and Orchestration with Colored Petri Nets

Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) ◽

10.1109/snpd.2007.486 ◽

2007 ◽

Author(s):

Xinguo Deng ◽

Ziyu Lin ◽

Weiqing Cheng ◽

Ruliang Xiao ◽

Lina Fang ◽

...

Keyword(s):

Web Service ◽

Colored Petri Nets ◽

Service Choreography

Download Full-text

Modeling and verifying web service composition using colored petri nets based on WSCI

2007 IEEE International Conference on Industrial Engineering and Engineering Management ◽

10.1109/ieem.2007.4419515 ◽

2007 ◽

Author(s):

Xinguo Deng ◽

Ziyu Lin ◽

Weiqing Cheng ◽

Ruliang Xiao ◽

Ling Li ◽

...

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Colored Petri Nets

Download Full-text

Modeling and Verifying Composite Semantic Web Service Based on Colored Petri Nets

Sixth International Conference on Advanced Language Processing and Web Information Technology (ALPIT 2007) ◽

10.1109/alpit.2007.43 ◽

2007 ◽

Author(s):

Yong-shang Cheng ◽

Zhi-jian Wang ◽

Cong-ming Wang ◽

Long-ye Tang ◽

Ling Shang

Keyword(s):

Semantic Web ◽

Web Service ◽

Colored Petri Nets ◽

Semantic Web Service

Download Full-text

A Reliability Calculation Method for Web Service Composition Using Fuzzy Reasoning Colored Petri Nets and Its Application on Supercomputing Cloud Platform

Future Internet ◽

10.3390/fi8040047 ◽

2016 ◽

Vol 8 (4) ◽

pp. 47 ◽

Author(s):

Ziyun Deng ◽

Lei Chen ◽

Tingqing He ◽

Tao Meng

Keyword(s):

Web Service ◽

Service Composition ◽

Calculation Method ◽

Fuzzy Reasoning ◽

Web Service Composition ◽

Colored Petri Nets ◽

Cloud Platform ◽

Reliability Calculation

Download Full-text

Web Service Interaction Modeling and Verification Using Recursive Composition Algebra

IEEE Transactions on Services Computing ◽

10.1109/tsc.2018.2789454 ◽

2018 ◽

pp. 1-1 ◽

Author(s):

Gopal N. Rai ◽

G. R. Gangadharan ◽

Vineet Padmanabhan ◽

Rajkumar Buyya

Keyword(s):

Web Service ◽

Composition Algebra ◽

Service Interaction ◽

Interaction Modeling ◽

Recursive Composition

Download Full-text

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

JOURNAL OF ELECTRONICS INFORMATION TECHNOLOGY ◽

10.3724/sp.j.1146.2013.00090 ◽

2014 ◽

Vol 35 (11) ◽

pp. 2608-2614

Author(s):

Xiang Gao ◽

Yue-fei Zhu ◽

Sheng-li Liu

Keyword(s):

Colored Petri Nets ◽

Download Full-text