Search For:

Displaying 1-3 out of 3 total
A Formal Engineering Framework for Service-Based Software Modeling
Found in: IEEE Transactions on Services Computing
By Weikai Miao,Shaoying Liu
Issue Date:October 2013
pp. 536-550
Service-based software modeling is considered as an effective technique for developing high-quality service-based systems. One major challenge of this approach is how to effectively utilize existing software services in the process of system modeling to en...
Agent based ServiceBSP Model with Superstep Service for Grid Computing
Found in: Grid and Cloud Computing, International Conference on
By Weikai Miao, Weiqin Tong
Issue Date:August 2007
pp. 255-260
This paper proposes an Agent Based ServiceBSP model with Superstep Service to support the parallel computing in grid environment. Superstep Service is an agent infrastructure handling different types of agents. In this model, the Service Selection Agent ge...
A Formal Specification-Based Testing Approach to Accurate Web Service Selection
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Weikai Miao,Shaoying Liu
Issue Date:December 2011
pp. 259-266
Currently most web services are published without sufficient functional behavior descriptions, which makes it difficult for developers to accurately select services according to the expected functions of their target systems. In this paper, we propose a fo...