Search For:

Displaying 1-14 out of 14 total
Building high-speed roads: Improving performance of SOAP processing for cloud services
Found in: Service-Oriented System Engineering, IEEE International Workshop on
By Huang Liu,Xudong Liu,Jianxin Li,Yongwang Zhao,Zhuqing Li
Issue Date:December 2011
pp. 72-78
With the advent of cloud computing, more services should be delivered from a cloud or datacenter to clients via Internet. Web Services has many mature specifications and has become a popular mode to support cloud application. However, the performance has b...
 
FSM4WSR: A Formal Model for Verifiable Web Service Runtime
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Zhuqing Li,Dianfu Ma,Yongwang Zhao,Jing Li,Qing Yang
Issue Date:December 2011
pp. 86-93
Web service runtime is an important infrastructure middleware for service-based applications. It processes exchanged messages according to web service protocols. Correct implementation of web service protocols is critical for ensuring the reliability of we...
 
SCENETester: A Testing Framework to Support Fault Diagnosis for Web Service Composition
Found in: Computer and Information Technology, International Conference on
By Zekun Zhu,Jianxin Li,Yongwang Zhao,Zhuqing Li
Issue Date:September 2011
pp. 109-114
With powerful features and cross platform character, web service has been applied in the field of information technology widely. To meet dynamic needs of enterprises, it tends to generate new web applications through service compositions. Due to flaw of de...
 
Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic
Found in: Engineering of Autonomic and Autonomous Systems, IEEE International Workshop on
By Yongwang Zhao, Dianfu Ma, Jing Li, Zhuqing Li
Issue Date:April 2011
pp. 40-48
Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, adaptive progr...
 
CoServices: A Service-based Collaboration Platform for Distributed Cooperative Applications
Found in: 2013 Third International Conference on Intelligent System Design and Engineering Applications (ISDEA)
By Wangyi Xie,Dianfu Ma,Zhuqing Li,Yongwang Zhao
Issue Date:January 2013
pp. 500-506
The availability of high performance network brings up a number of distributed cooperative applications. However, most of the current cooperative applications are developed in a certain domain, and the system design or the functional modules cannot be reus...
 
CoServices: A Web Service Based Middleware Framework for Interactive Cooperative Applications
Found in: 2013 Third International Conference on Intelligent System Design and Engineering Applications (ISDEA)
By Wangyi Xie,Zhuqing Li,Yongwang Zhao
Issue Date:January 2013
pp. 507-513
The availability of high performance network brings up numerous interactive distributed cooperative applications. Most of these cooperative applications are oriented a certain domain, and the system or part of its modules are difficult to be reused in any ...
 
A Policy-Based Architecture for Web Services Security Processing
Found in: 2012 IEEE 9th International Conference on e-Business Engineering (ICEBE)
By Hao Zeng,Dianfu Ma,Zhuqing Li,Yongwang Zhao
Issue Date:September 2012
pp. 163-169
With the development of the Internet, Web Services technology has gradually become the development direction of the e-business, e-government and other fields, and the corresponding security mechanism has received unprecedented attention, while how to desig...
 
Integrating Business Processes and Business Rules
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Yujing Zhao,Dianfu Ma,Yongwang Zhao,Zhuqing Li
Issue Date:December 2011
pp. 493-497
Integration between business processes and business rules is necessary for some applications which not only hold numerous business knowledge or policies but also need the intercommunication among some distributed and heterogeneous components. This paper pr...
 
SEDA4SC: A staged event-driven architecture for adaptive service computing runtime
Found in: Computers and Communications, IEEE Symposium on
By Zhuqing Li, Dianfu Ma, Dou Sun, Jian Liu
Issue Date:July 2011
pp. 994-1001
The rapid development of web service technology brings up a number of crucial requirements for designing service computing runtime, such as supporting multiple message exchange patterns, switching among different transports, integrating various extended we...
 
Towards a Formal Verification Approach for Implementation of Web Services Specifications
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li
Issue Date:December 2010
pp. 269-276
The implementation of Web services specifications is the key issue of Web services container which is the infrastructure of SOC. The specifications are always depicted in natural language, which may lead to misunderstanding or ambiguity. In this situation,...
 
A Formal Description of Web Services Container Architecture
Found in: Internet and Web Applications and Services, International Conference on
By Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun
Issue Date:May 2009
pp. 30-36
In this paper, we present a formal description of web services container architecture based on Z notation. This description major focuses on internal behavior of a web services container on processing a web services request. First, we present a formal mode...
 
A Formal Model of Web Services Transport Layer
Found in: Networking and Services, International conference on
By Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun
Issue Date:April 2009
pp. 474-480
In this paper, we present a formal model of web services transport layer based on CSP which addresses multiple transport, multiple Message Exchange Patterns (MEPs) and dynamic switching among multiple transport protocols. This approach abstracts message tr...
 
An Adaptive Transport Framework for Web Services
Found in: Computer Science and its Applications, International Symposium on
By Jian Liu, Zhuqing Li, Dianfu Ma
Issue Date:October 2008
pp. 32-37
In this paper, we present an adaptive transport framework which addresses multiple Message Exchange Patterns (MEPs) and transparent switching between multiple transports for web services. In the framework, we separate the transportation process into transp...
 
A policy-based architecture for web services authentication
Found in: 2013 IEEE Symposium on Computers and Communications (ISCC)
By Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li
Issue Date:July 2013
pp. 000417-000422
With the rapid development of the Internet, web service technology has been extensively used in distributed applications and is highly likely to replace other various technologies for the distributed application development. However, concerning most hard i...
   
 1