An Automatic Configuration Algorithm for Distributed Service Process Engine Based on Fuzzy Control

2008 ◽  
Author(s):  
Jian Cao ◽  
Yi Wang ◽  
Xin'an Ding ◽  
Minglu Li
Keyword(s):  
Fuzzy Control ◽  
Service Process ◽  
Distributed Service ◽  
Process Engine

Discrete Event Models for Web Service Processes

2012 ◽  
pp. 91-132
Author(s):  
Yuhong Yan ◽  
May Haydar
Keyword(s):  
Web Service ◽  
Business Processes ◽  
Discrete Event ◽  
Expressive Power ◽  
Discrete Event System ◽  
Service Process ◽  
System Models ◽  
Event System ◽  
Process Engine ◽  
Description Languages

Web service processes are business processes composed of individual Web services. Web service process description languages, used in both choreography and orchestration, are influenced by techniques from workflow modeling, formal methods and software engineering. Since such languages are based on software scripts to be executed by a process engine, their expressive power indeed is beyond classic discrete event system models, such as process algebra and Petri nets. This chapter analyzes and compares different Web service process description languages, discusses the issues in using discrete event system models to model Web service processes, and also compares Web service processes with workflow processes. The chapter also discusses the suitable methods based on the formal models for various computing tasks, such as verification and validation.

A dynamically self-configurable service process engine

2010 ◽  
Vol 13 (4) ◽  
pp. 475-495 ◽  
Author(s):  
Jian Cao ◽  
Haiyan Zhao ◽  
Minglu Li ◽  
Jie Wang
Keyword(s):  
Service Process ◽  
Process Engine
Sign in / Sign up

Export Citation Format

Share Document