Requirement modeling is an important procedure in software requirement engineering. Different from current requirement modeling methodology, this paper presents a new software behavior-oriented requirement description language----Behavior Description Language (BDL) and a modeling methodology, and introduces a prototype system implementing the methodology. By using the modeling methodology, effective behaviors of the target system can be extracted from the user's requirement information, and then the behavior model (or requirement model) of target system can be built. This behavior model helps the software users and developers to understand the behaviors of the target system more thoroughly, and establishes a foundation for automatically checking some characters of the target system.

No abstract

More and more enterprises rely on web services as an important channel for conducing business process and some changes to web services might occur for various reasons, efficiently managing services change becomes crucial. In this paper, we proposes a web service change management framework based on Bayesian Network, which enable representing the inside causal and probabilities semantics of dynamic changes to web services. The framework implement change management effectively in a heuristic way, by analyzing and identifying the detail of change as well as providing some meaningful knowledge to the following reaction. With the continuous evolution of the associated Bayesian Network, the efficiency and applicability of the web service change management network can be improved to a satisfied extent.