Search For:

Displaying 1-8 out of 8 total
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 Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic
Found in: Advanced Information Networking and Applications, International Conference on
By Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma
Issue Date:March 2011
pp. 240-247
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, assurance of h...
 
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine
Found in: Computers and Communications, IEEE Symposium on
By Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma
Issue Date:June 2010
pp. 744-749
Current BPEL engine products are difficult to meet the highly concurrent demands of increasing mission-critical business processes application. We follow the ideas of SEDA and propose a new architecture for high-concurrency BPEL engine, which we call SEDA4...
 
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...
 
An Approach to Preserving Consistency of SOAs in Dynamic Evolution
Found in: Internet and Web Applications and Services, International Conference on
By Min Liu, Dianfu Ma, Yongwang Zhao, Dou Sun
Issue Date:May 2009
pp. 505-509
Service oriented system is very popular in both academic and industry. One reason is that a new complex application can be agilely implemented via the collaboration of the existent services. In the dynamic web service environment, the web service based app...
 
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...
 
Reliability Quantification of the Tree Structure Based Distributed System
Found in: Pacific Rim International Symposium on Dependable Computing, IEEE
By Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun
Issue Date:December 2008
pp. 351-352
Due to unpredictable failures in the network or the components, tree-structure, one of the common structures of distributed system, is partial fault-tolerance. A simple but effective method to enhance the reliability of a tree is to maintain a neighbor set...
 
Dependability of the System Based on Structured Service Collaboration Model
Found in: Next Generation Web Services Practices, International Conference on
By Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun
Issue Date:October 2008
pp. 28-32
The collaboration of web services is often required to realize larger and more complex distributed applications. One of the problems that should be dealt with in the service collaboration is unpredictable failures of individual service. We present in our p...
 
 1