Search For:

Displaying 1-10 out of 10 total
Exception Handling Policies for Composite Web Services and their Formal Description
Found in: Network and Parallel Computing Workshops, IFIP International Conference on
By Qin Lu, Weishi Zhang, Bo Su, Xiuguo Zhang
Issue Date:September 2007
pp. 793-798
This paper presents seven exception handling policies for composite Web services and their formal description method, which aims to formally describe events, conditions and states associated with exception handling during composite Web services execution, ...
 
Research on Behavior Adaptation of Software Component
Found in: Parallel Architectures, Algorithms and Programming, International Symposium on
By Jinyu Shi,Xiong Xie,Weishi Zhang,Xiuguo Zhang,Zhiying Cao,Huawei Zhai
Issue Date:December 2010
pp. 412-416
Behavior adaptation of Software component is a crucial problem in component-based software engineering. A general approach is proposed to solve the behavior mismatch. Firstly, the synchronous vector between component behaviors according to the abstract spe...
 
Service Interactions in CSCE Service Composition Environment
Found in: Semantics, Knowledge and Grid, International Conference on
By Xiuguo Zhang, Yingjun Zhang
Issue Date:November 2010
pp. 375-378
This paper presented a Kahn Process Network (KPN) based service composition environment called CSCE which can establish interactions among computational service nodes. KPN is a model of computation and commonly used for describing a set of cooperative proc...
 
CCML: A Novel Service Composition Language
Found in: Web Intelligence and Intelligent Agent Technology, International Conference on
By Xiuguo Zhang, Weishi Zhang
Issue Date:December 2006
pp. 109-112
This paper presents a novel service composition language called CCML. Its distinct advantage from conventional composition languages is its ability to describe behaviors of interacting services and the composition of these behaviors. Interaction rules amon...
 
Describing and Verifying Web Service Using CCS
Found in: Parallel and Distributed Computing Applications and Technologies, International Conference on
By Li Bao, Weishi Zhang, Xiuguo Zhang
Issue Date:December 2006
pp. 421-426
Formal method is an effective way for modeling and verifying concurrent system. An important research field is to describe and verify Web services by formal method. Guaranteeing the validity of Web services composition is necessary for enhancing the value ...
 
Modeling Service Interactions Using Kahn Process Network
Found in: Parallel and Distributed Computing Applications and Technologies, International Conference on
By Weishi Zhang, Xiuguo Zhang
Issue Date:December 2006
pp. 203-208
This paper proposed a Kahn Process Network(KPN) based service interaction model which can dynamically establish links between computational service nodes. Three advantages of KPN make it adequate to model service interactions: (1) parallelism and communica...
 
A Cooperative Service Composition Language and Its Formal Semantics
Found in: Parallel and Distributed Computing Applications and Technologies, International Conference on
By Xiuguo Zhang, Weishi Zhang
Issue Date:December 2006
pp. 333-338
This paper introduces a cooperative service composition language called CCML which aims to facilitate the description of services, their interfaces and their behavior, further to reduce the complexity required to compose services. Interaction rules among s...
 
CCM: A Cooperative Computation Model of Services
Found in: Computer and Computational Sciences, International Multi-Symposiums on
By Xiuguo Zhang, Yingjun Zhang
Issue Date:June 2006
pp. 632-638
This paper introduces a cooperative computation model of services called CCM which supports data flow and channel based service computation. The meta-model of CCM is described with MOF (Meta- Object Facility). CCM comes from Kahn Process Network (KPN) mode...
 
Context-Aware Web Service Composition Framework Based on Agent
Found in: 2013 International Conference on Information Technology and Applications (ITA)
By Wenxi Sun,Xiuguo Zhang,Yuan Yuan,Tingting Han
Issue Date:November 2013
pp. 30-34
With the development of network technology, Web services and Web service composition are facing with the dynamic and unpredictable change of the external environment, diversification of user requirements, etc. In order to make Web service composition perce...
 
A Novel Process Network Model for Interacting Context-Aware Web Services
Found in: IEEE Transactions on Services Computing
By Xiuguo Zhang,Hongbo Liu,Ajith Abraham
Issue Date:July 2013
pp. 344-357
Context-aware web services have been attracting significant attention as an important approach for improving the usability of web services. In this paper, we explore a novel approach to model dynamic behaviors of interacting context-aware web services, aim...
 
 1