Information Technology Reference
In-Depth Information
Orchestration Stage
. The optimal configuration is deployed in the
execution environment. The Web service orchestration and deploy-
ment are done with the CIMFlow-System [135], which is a formerly
developed central workflow management system. In CIMFlow-
System, we use a process modeler module to establish a workflow
model and task allocator module to receive the task allocation
request and assign tasks to specific Web service interfaces.
Execution Stage
. After deployment, the business process can be
executed and supported by the workflow engine in CIMFlow-
System. When a transaction instance is generated, the service
configuration manager determines which services should be used
in the configuration by interacting with the CIMFlow-System. The
optimal configuration information is sent back to CIMFlow-System
for dynamic binding. Run-time performance analysis and optimi-
zation are also conducted with the CIMFlow-System, for example,
the turnaround time calculation and optimal execution path selec-
tion [136].
5.6 SUMMARY
The Web service framework ushers in a new revolution in traditional
computing. By assembling service components, the service component
architecture provides a programming model for the creation and
assembly of business systems using a service-oriented architecture.
However, many Web service-related problems still remain open, includ-
ing Web service modeling, service discovery, service selection, service
configuration, service deployment, and execution. This work deals with
functional and nonfunctional constraint modeling and configuration of
services under constraints. This work can be treated as a complement to
the SCA policy framework to support the specification of functional
requirement and QoS expectations.
This chapter presents a service functional configuration net based
on Petri nets for the Web service presentation and automatic assembly.
The configuration specifications for the module and component services
are described through the structure of disassembly Petri nets. The
candidate configurations are generated automatically through firing
the transitions in such Petri nets. Next, by carefully analyzing the
structure of the configuration net and the algebraic property of the state-
