A New Formal Framework for Service Oriented Process Communication

当前商业环境中的跨组织通信是高度动态的、流程驱动的和以Web为中心的。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.