Research And Implement On Modeling Tool Of Cooperative Trade Flow Based On WS-CDL

Trade flow is very complex, it involves many departments, organizations and company, etc. To describe a trade flow quickly and precisely, we need a modeling tool This paper aims at developing a modeling tool which is appropriate for a trade flow, it can help users to set up a trade flow model quickly. This tool also has a model checking function, it helps users fixing errors in the model.During the process of researching the modeling tool, this paper introduces WS-CDL. WS-CDL is a language which describes Web Service, its key point is describing interactive process among multiple participants in a global view. WS-CDL is a top-down description method, it can avoid deadlocks under a part business description effectively. In international trade flow, there are many participants, and interactions between participants are continual, and WS-CDL is just the description language fits for describing the flow.To implement the modeling tool, we design a set of notation—WS-CDL-N, it realizes a high level abstract, it has a reasonable graphic element detail, it shows choreography flow more directly. Then we choose GMF, which combines GEF and EMF, to implement the nota-tions in WS-CDL-N one by one, finally, we accomplish a modeling tool which is user friend-ly and capable of trade flow modeling.GMF can create model UI and dependence between models quickly and generate storage code based on XML. This storage format is not a standard WS-CDL, so we have to design a transformation tool to transform GMF generated code to WS-CDL. Because GMF generated code and WS-CDL are both based on XML, we use XPath and JDOM to handle XML file. During this process, how to transform GMF generated code which describes imaging rela-tionship to WS-CDL code which describes flow is one of the difficult points.After setup of the model and saving it as WS-CDL format, we need to design a checker to check whether there are errors or deadlocks in the model. In this paper, we map WS-CDL elements to the Java class, transform it to Java executable code, and then use JPF to check the correctness of the Java code. In this way, we can find errors in the WS-CDL model.