Specification for Concurrency and Communication Characteristic of Grid Service Composition using Pi-calculus

2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06) ◽

10.1109/gcc.2006.87 ◽

2006 ◽

Cited By ~ 1

Author(s):

Jing Zhou ◽

Guosun Zeng

Keyword(s):

Service Composition ◽

Grid Service ◽

Pi Calculus

Download Full-text

Coordination-theoretic approach to modelling grid service composition process

Journal of Systems Engineering and Electronics ◽

10.3969/j.issn.1004-4132.2010.04.027 ◽

2010 ◽

Vol 21 (4) ◽

pp. 713-720 ◽

Cited By ~ 2

Author(s):

Meng Qian ◽

Zhong Liu ◽

Jing Wang ◽

Li Yao ◽

Weiming Zhang

Keyword(s):

Service Composition ◽

Grid Service ◽

Theoretic Approach ◽

Composition Process

Download Full-text

A Novel Approach to Grid Service Composition with QoS Global Optimization

2009 Sixth Web Information Systems and Applications Conference ◽

10.1109/wisa.2009.11 ◽

2009 ◽

Author(s):

Wei Huang ◽

Peifeng Li ◽

Qiaoming Zhu

Keyword(s):

Global Optimization ◽

Service Composition ◽

Grid Service ◽

Novel Approach

Download Full-text

Analysis of grid service composition with BPEL4WS

18th International Conference on Advanced Information Networking and Applications, 2004. AINA 2004. ◽

10.1109/aina.2004.1283925 ◽

2004 ◽

Cited By ~ 17

Author(s):

Kuo-Ming Chao ◽

M. Younas ◽

N. Griffiths ◽

I. Awan ◽

R. Anane ◽

...

Keyword(s):

Service Composition ◽

Grid Service

Download Full-text

Formal Modeling of Trust Web Service Composition Using Pi-calculus

TELKOMNIKA Indonesian Journal of Electrical Engineering ◽

10.11591/telkomnika.v11i8.3039 ◽

2013 ◽

Vol 11 (8) ◽

Cited By ~ 1

Author(s):

Bensheng YUN

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Formal Modeling ◽

Pi Calculus

Download Full-text

A mechanism for grid service composition behavior specification and verification

Future Generation Computer Systems ◽

10.1016/j.future.2008.02.013 ◽

2009 ◽

Vol 25 (3) ◽

pp. 378-383 ◽

Cited By ~ 5

Author(s):

Jing Zhou ◽

Guosun Zeng

Keyword(s):

Service Composition ◽

Grid Service ◽

Behavior Specification ◽

Specification And Verification

Download Full-text

Automatic Service Composition Verification Based on Pi-Calculus

2009 International Conference on E-Business and Information System Security ◽

10.1109/ebiss.2009.5137943 ◽

2009 ◽

Cited By ~ 7

Author(s):

Yanbin Peng ◽

Lv Ye ◽

Zhijun Zheng ◽

Jian Xiang ◽

Ji Gao ◽

...

Keyword(s):

Service Composition ◽

Pi Calculus ◽

Automatic Service Composition

Download Full-text

BNQM: A Bayesian Network based QoS Model for Grid service composition

Expert Systems with Applications ◽

10.1016/j.eswa.2015.04.045 ◽

2015 ◽

Vol 42 (20) ◽

pp. 6828-6843 ◽

Cited By ~ 10

Author(s):

Ali Asghar Pourhaji Kazem ◽

Hossein Pedram ◽

Hassan Abolhassani

Keyword(s):

Bayesian Network ◽

Service Composition ◽

Grid Service

Download Full-text

Study of the extension to BPEL4Grid for grid service composition

Proceedings 2011 IEEE International Conference on Spatial Data Mining and Geographical Knowledge Services ◽

10.1109/icsdm.2011.5969103 ◽

2011 ◽

Author(s):

Xiaozhu Wu ◽

Haisheng Yang ◽

Chongcheng Chen

Keyword(s):

Service Composition ◽

Grid Service

Download Full-text

A Novel Ant Colony Optimization Algorithm for QoS-Aware Grid Service Composition

International Conference on Advanced Computer Theory and Engineering, 4th (ICACTE 2011) ◽

10.1115/1.859933.paper175 ◽

2011 ◽

pp. 789-792

Keyword(s):

Ant Colony Optimization ◽

Optimization Algorithm ◽

Service Composition ◽

Ant Colony ◽

Grid Service ◽

Ant Colony Optimization Algorithm

Download Full-text

GridPML: a process modeling language and history capture system for grid service composition

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

10.1109/icebe.2005.69 ◽

2005 ◽

Cited By ~ 1

Author(s):

Hua Ma ◽

S.D. Urban ◽

Yang Xiao ◽

S.W. Dietrich

Keyword(s):

Process Modeling ◽

Service Composition ◽

Grid Service ◽

Modeling Language

Download Full-text