Learn More
BACKGROUND - Predicting defect-prone software components is an economically important activity and so has received a good deal of attention. However, making sense of the many, and sometimes seemingly inconsistent, results is difficult. OBJECTIVE - We propose and evaluate a general framework for software defect prediction that supports 1) unbiased and 2)(More)
Web services (WSs) can cooperate with each other to provide more valuable WSs. Current approaches for WS cooperation have typically assumed that WSs are always willing to participate in some form of cooperation, and have undermined the fact that WSs are autonomous in this open environment. This assumption, however, becomes more problematic in(More)
As a new type of software architecture, service-oriented architecture (SOA) provides a blueprint to solve software reuse and enterprise system integration issues. With the emergence and the rapid development of Web services technologies, SOA has been paid an increasing attention and gained a wide application. For the purpose of supporting service-oriented(More)
BPEL is widely used to specify Web service composition and it's correctness is very important in B2B and B2C domains. However, the correctness of BPEL can only be verified at runtime. This paper presents a model-based verification framework, which can verify BPEL modeled by UML activity diagram with software model checking technology in the design phase.(More)
In order to improve the quality of a software system, software defect prediction aims to automatically identify defective software modules for efficient software test. To predict software defect, those classification methods with static code attributes have attracted a great deal of attention. In recent years, machine learning techniques have been applied(More)
Differences in the bacterial community structure associated with 7 skin sites in 71 healthy people over five days showed significant correlations with age, gender, physical skin parameters, and whether participants lived in urban or rural locations in the same city. While body site explained the majority of the variance in bacterial community structure, the(More)
Service Oriented Architecture (SOA) is a new form of distributed software architecture. In SOA, the coarse-grained, discoverable, loosely coupled, autonomous services are its basic constitutional units. This makes the SOA different from other architectures for its special architecture elements (services) and its dynamic and evolving structure. How to model(More)
Constraint solution reuse is an effective approach to save the time of constraint solving in symbolic execution. Most of the existing reuse approaches are based on syntactic or semantic equivalence of constraints. For example, the Green framework can reuse constraints which have different representations but are semantically equivalent, through canonizing(More)
A factor limiting the take up of Web services based business processes is that the mutability of business rules embedded in the business logic cannot be effectively handled. The major Web service composition languages, such as WS-BPEL and BPML, lack constructs that can be used to specify business rules. Hence, the business process is interleaved with the(More)