XML has become the de facto standard for representing and interchanging data in web-based applications. And XML view, a virtual window for specified users, has been widely applied. In practical system, users encounter the socalled view update problem when they need update source data through the view. For a long time, the view update problem is an open question in database community. With the development of various data models, the corresponding view update problem has been widely researched. In this paper, we introduce the conception of view update problem. We survey and compare previous methods for resolving it. Especially, we emphasize the role of semantics. Focusing on the problem in XML context, we analyze it and propose a framework, which collects the semantic information at view definition time.

No abstract

No abstract

No abstract

Web service choreography specifies the interaction among multiple participant, aiming to achieve common business goals. An issue is to check for the conformance of the implementation with reference to the choreography specification. To achieve that, we seek to develop software tools and a methodology to enable conformance testing of choreography. In this paper, we present our first step in that direction. Particularly, we reduce choreography scenario in order to obtain effective testing scenarios, which will greatly decrease the cost of testing. Concretely, based on XML Schema type definition of a choreography scenario, we partition XML Schema type into subtypes, which will be transformed into the input model of combinatorial tool Cascade for generating a set of combinations of variable values. The output of Cascade will be transformed to generate reduced scenarios for testing. Moreover, a purchase order choreography example is presented to demonstrate the reduction process of choreography scenarios, and a tool has been developed for supporting automatic implementation of the testing scenarios reduction.