论文部分内容阅读
贸易流程十分复杂,牵涉到很多部门、组织和公司等。快速而又准确的描述一个贸易流程可以极大的提高工作的效率,这时候就需要一个好的流程建模工具。本文的研究重点就是开发一个适合贸易流程的建模工具,让用户可以快速建立贸易流程的模型。该工具还具有模型验证功能,可以帮助用户修正模型中存在的错误。本文在研究建模工具的过程中引入了WS-CDL。WS-CDL是一种对Web Service的描述语言,它的重点在于从全局的观点来描述多个参与者之间的交互过程。WS-CDL是一种自顶向下的描述方法,可以有效避免局部业务描述可能导致的死锁。在国际贸易流程中,会有多个参与者,并且参与者之间会有频繁的交互,WS-CDL恰好适合作为这种流程的描述语言。为了实现流程建模工具,本文设计了一套图形化标记——WS-CDL-N,它实现了高层次的抽象,元素细节图形化合理,编排流程表示直观。接下来选择结合了GEF与EMF的GMF框架来制作建模工具,将WS-CDL-N中定义的标记一一实现,最终完成了一个界面简洁友好、符合贸易流程建模要求的建模工具。GMF可以快速定制模型界面以及模型间的依赖关系,并且生成基于XML的存储代码。这种存储格式并不是标准的WS-CDL,因此还要设计一个转换工具,将GMF生成的代码转换为标准的WS-CDL格式。由于GMF生成的代码与WS-CDL都是基于XML的,本文使用XPath和JDOM相结合的方法来处理XML文件。在转换过程中,把GMF生成的用于描述图形化关系的代码转换为用于描述流程的WS-CDL代码将是研究的难点之一。在用户建立模型并将其存储为WS-CDL格式之后,本文还设计了一个检测器,用于验证用户定义的模型是否存在错误或者死锁。本文将WS-CDL文档中的元素映射到Java的类,并将其转换为Java的可执行代码,再通过JPF来验证Java代码的正确性,从而找到WS-CDL模型中出现的错误。