Formal Description and Verification of Web Service Composition Based on OOPN

Lecture Notes in Computer Science - Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues ◽

10.1007/978-3-540-87442-3_80 ◽

2008 ◽

pp. 644-652

Author(s):

Jindian Su ◽

Shanshan Yu ◽

Heqing Guo

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Formal Description

Download Full-text

Research on web service formal description and web service composition

Computer, Intelligent Computing and Education Technology ◽

10.1201/b16698-97 ◽

2014 ◽

pp. 451-455

Author(s):

Li An ◽

Ming-Fu Tuo ◽

Xue-Mei Ye ◽

Rui Zhu

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Formal Description

Download Full-text

Research on web service formal description and web service composition

Computer, Intelligent Computing and Education Technology ◽

10.1201/9781315760827-98 ◽

2014 ◽

pp. 474-479

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Formal Description

Download Full-text

A formal description framework and a matchmaking technique for web service composition

International Journal of Web Information Systems ◽

10.1108/17440081011034475 ◽

2010 ◽

Vol 6 (1) ◽

pp. 24-54 ◽

Author(s):

Rajesh Karunamurthy ◽

Ferhat Khendek ◽

Roch H. Glitho

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Formal Description ◽

Description Framework

Download Full-text

A formal context-aware model for web service composition

Control Engineering and Electronics Engineering ◽

10.2495/cceee140451 ◽

2014 ◽

Author(s):

Li Bao ◽

Zhiqiang Liu ◽

Yonghong Tian

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Formal Context ◽

Download Full-text

Application of Perfect Domination in Logistics Services Using Web Service Composition

Journal of Computer and Mathematical Sciences ◽

10.29055/jcms/994 ◽

2019 ◽

Vol 10 (1) ◽

pp. 207-214

Author(s):

S. Chitra ◽

A. Bhuvaneswari

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Logistics Services

Download Full-text

Web Service Composition Based on Modified Particle Swarm Optimization

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2013.01031 ◽

2014 ◽

Vol 36 (5) ◽

pp. 1031-1046 ◽

Author(s):

Tao WEN ◽

Guo-Jun SHENG ◽

Quan GUO ◽

Ying-Qiu LI

Keyword(s):

Particle Swarm Optimization ◽

Web Service ◽

Service Composition ◽

Particle Swarm ◽

Web Service Composition ◽

Swarm Optimization ◽

Modified Particle Swarm Optimization

Download Full-text

Semantic Web Service Composition Based on Dynamic Description Logics

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2013.02468 ◽

2014 ◽

Vol 36 (12) ◽

pp. 2468-2478 ◽

Author(s):

Liang CHANG ◽

Jin LIU ◽

Tian-Long GU ◽

Zhong-Zhi SHI

Keyword(s):

Semantic Web ◽

Web Service ◽

Service Composition ◽

Description Logics ◽

Web Service Composition ◽

Semantic Web Service ◽

Dynamic Description ◽

Semantic Web Service Composition

Download Full-text

User-oriented Web service composition method

Journal of Computer Applications ◽

10.3724/sp.j.1087.2009.03120 ◽

2009 ◽

Vol 29 (11) ◽

pp. 3120-3123 ◽

Author(s):

Peng LI ◽

De-chen ZHAN ◽

Guo-zhong LIU ◽

Lan-shun NIE ◽

Jin-dan FENG

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Composition Method

Download Full-text

Collaborative Web service composition based on distributed Hash table

Journal of Computer Applications ◽

10.3724/sp.j.1087.2013.01197 ◽

2013 ◽

Vol 33 (5) ◽

pp. 1197-1202

Author(s):

Xi CHEN ◽

Huashen ZENG ◽

Tao WU

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Distributed Hash Table

Download Full-text

Research on Modeling and Transformation Method of Web Service Composition Based on Petri Net

2021 6th International Conference on Intelligent Computing and Signal Processing (ICSP) ◽

10.1109/icsp51882.2021.9408819 ◽

2021 ◽

Author(s):

Huaizhou Yang ◽

Wenbo Shi

Keyword(s):

Web Service ◽

Petri Net ◽

Service Composition ◽

Transformation Method ◽

Web Service Composition

Download Full-text