A New Formal Framework for Service Oriented Process Communication

在当前的商业环境中，跨组织沟通是高度动态的、流程驱动的、以网络为中心的。web服务范例正在作为一种强大的新技术解决方案出现，用于促进企业内异构和自治系统之间以及贸易伙伴之间的复杂交互。尽管业界充斥着关于web服务的倡议，但大多数都集中在底层规范平台和技术组件上。我们看到了为面向服务的流程通信开发正式框架的巨大需求和潜力。这样一个正式框架的设计是这个项目的重点。项目成果不仅对过程规范、验证和本体论评估的基础研究问题有很大的贡献潜力，而且还将对消息传递中间件、集成平台和工作流管理系统的相关技术产生重大影响。

Cross organizational communication in current business environments is highly dynamic, process driven and web centric. The web services paradigm is emerging as a powerful new technology solution to facilitate complex interactions between heterogeneous and autonomous systems within the enterprise and often between trading partners. Although the industry is inundated with initiatives on web services, most are heavily focussed on the underlying specification platforms and technology components. We see a great need and potential for developing a formal framework for service oriented process communication. The design of such a formal framework is the focus of this project. Project outcomes not only hold great potential to contribute to fundamental research questions in process specification, validation and ontological evaluation, but will also deliver significant impact on related technologies of messaging middleware, integration platforms and workflow management systems.