Search

Different cloud services need different resources, how to use the resources efficiently has become one of the hot research topics about cloud computing. In order to improve the utilization of resources in cloud, this paper proposes an automatic cloud service classification method, which uses an artificial neural network to predict the type of service resource requirements, and classifies services based on the predicting result. In this paper, we do classification experiments on three groups of Web services on Web service site. The experiment results show that, the method is effective and can predict the type of resource requirements for Web services automatically.

Software requirements validation is one of the hot problems of software engineering field, for the formal verification of software acceptability, this paper presents a formal verification software acceptability method. This method uses the 4-variable model to character the software system requirements and the software behavior, and gives a formal description of the 4-variable model based on the generic model of Tabular expression, and converts the Tabular expression into predicate logic knowledge base to verify the software acceptability. The analysis shows that the proposed method is effective, and the software acceptability can be verified.