• Citations Per Year
Learn More
Service oriented software systems running in a highly open, dynamic and unpredictable Internet environment are inevitable to face all kinds of uncertainty. To monitor the operation of the web services system behavior analysis and analysis whether the system behavior is consistent with the requirements is the basis to determine whether the system needs to be(More)
Widely applied and quickly developed as the SOA theory has been, the instability of distributed Web services will lead to services composition failure. Currently, a hot research topic is that when does the system can make an appropriate adjustment of the system structure dynamically to ensure the system runs at the best performance while the runtime(More)
Probabilistic model checker plays an important role in quantitative verification for required properties of probabilistic behavior model. PRISM is a well-used tool to be used as a probabilistic model checker. It takes PRISM language to describe probabilistic behavior model. But it is difficult for users of variety background to understand the PRISM language(More)
The complex requirements of E-commerce application call for selecting a set of Web services to reuse theirs business logics, where Service Oriented Architecture (SOA) provides a promising solution to the problem of cross-platform services integration. To this purpose, how to discovery services is a key to support the quick services composition, which has(More)
Service-Oriented Computing (SOC) and Service-Oriented Architecture (SOA) provide a paradigm for creating composite service with distributed web services over the Internet. Through the integration and coordination of distributed web Services, Web Service Business Process Execution Language (BPEL) can deploy a composite service rapidly. However, in a complex(More)
The language of Live Sequence Chart (LSC), a multi-modal extension of MSC, introduces the distinction between mandatory and possible on the level of the whole chart and for the chart elements. While the LSC still extend the MSC qualitatively, when it comes to capturing the quantitative behaviors, the deficiency emerges. As for the probabilistic systems,(More)
With the multimedia and network technology widely using in teaching, the multiple intelligence theory was proposed. It suggests that the traditional notion of intelligence, based on I.Q. testing, is too limited. It provides a new perspective for the curriculum development, implementation and evaluation in the multimedia and network environment. From the(More)
  • 1