Workshop on Business Processes and Software Standard: Theory and Infrastructural Foundations.

实践与研究（包括理论和系统研究）之间的对话自计算诞生以来一直是一个重要的主题。理论可用于理解、描述、规范、分析、验证、维护，以及设计机器、新语言和中间件。例如，联合类型、记录（结构）类型、指针类型等概念现在对所有程序员来说都很熟悉，只有在长期的研究基础上才有准确的理解。在软件开发中，应用程序的关键元素和标准越来越依赖于全球和开放的软件基础设施，包括Internet和万维网的基础，预计这种对话将更加重要。特别是web服务、业务协议和一般的高级业务流程，导致软件的设计和实现，其关键元素是跨组织（通常是国家边界）分布的组件之间的复杂通信：此类应用程序需要基础设施基础（包括全球标准），其含义在可能存在利益冲突的各方之间可以清楚而准确地理解。例如，考虑与政府法规相关的信贷转移金融协议的全球标准。这样的标准应该准确地描述各方的责任，参与者遵守或违反标准意味着什么，以及这样或那样的行为是否符合规定。此外，这样的描述应该是所有参与者都能准确理解的，并且应该能够产生不同的软件工具和法律讨论。这样的标准不可避免地需要开放的软件基础设施，包括运行时和设计工具，以及与专有软件的互操作。因此，我们需要清晰的理论和清晰的开放式软件开发。本次研讨会旨在提供一个论坛，专家们将围绕业务流程建模、web服务和其他与基于通信的应用相关的先进领域，讨论研究（理论和系统）如何影响与这些先进应用领域相关的未来软件基础设施和标准的可行方向。这样的基础设施开发已经在进行中，其形式包括开发高级业务流程建模语言和web服务语言、在流行的编程语言中开发高级并发性的库（api）、使用基本的并发形式化来检查安全性api、在标准的开源编译器中使用类型和虚拟isa来处理低级代码，等等。在许多这些发展中，研究成果，无论是系统还是理论，都得到了突出的应用。这些标准和基础设施的发展反映了计算范式的基本变化，这种变化来自于全球网络和Internet的爆炸性和渗透使用，随后出现了分布式应用程序的新领域，以及多核处理器时代的到来（在一个核心中包含并行CPU单元），将并发性和分布置于信息处理的核心位置。并发性和分布的复杂性使得必须充分利用来自理论和系统研究的说明，从以XML为中心的文档和消息格式的基础设施/标准，到用于描述业务协议中的通信的基础设施/标准，再到用于api和系统软件的基础设施/标准。研讨会旨在加深我们对新背景下研究与实践对话的当前方向和可能性的理解，并寻求有效的方向，分享未来的愿景。

The dialogue between practice and research (including both theoretical and systems research) has been an important subject since the inception of computing. Theories can be used for understanding, description, specifications, analysis, verification, maintenance, and for designing machines, new languages and middleware. For example such notions as union types, record (structure) types, pointer types, etc. are now familiar to all programmers, have their precise understanding only based on long-standing research. Such dialogue is expected to be all the more significant in software development where the key elements and standards for applications are more and more dependent on global and open software infrastructure including foundations of Internet and World-Wide Web. In particular web services, business protocols, and advanced business processes in general, lead to design and implementation of software whose key element is complex communications among components distributed across organizational and often national boundaries: such applications demand infrastructural foundations (including global standards) whose meaning is clearly and precisely understood among parties with possibly conflicting interests. As an example, consider a global standard for financial protocols concerning credit transfer, associated with a governmental regulation. Such a standard should precisely describe what are responsibilities of each party, what it means for a participant to conform to, or violate, the standard, and whether such and such behaviour conforms to the regulation. Moreover such description should be precisely understandable to all players and should enable generation of diverse software tools and legal discussions. Such standards inevitably demand open software infrastructure including runtime and design tools, interoperating with proprietary software. Thus we need theoretical clarity and clear open software development.This workshop is intended to offer a forum where, centring on the area of business process modelling, web services and other advanced fields associated with communication-based applications, experts will discuss feasible directions on how research (theoretical and systems) can impact the future software infrastructure and standards which are relevant to such advanced application fields. Such infrastructural development is already under way, in the form of the development of advanced business process modelling languages and web service languages, libraries (APIs) for advanced concurrency in a popular programming language, the use of a basic formalism of concurrency for checking security APIs, the use of types and virtual ISAs for low-level code in the standard open-source compiler, and alike. In many of these developments, fruits from research, both systems and theory, are used prominently. These standards and infrastructural development reflects a basic change in computing paradigm, which comes from the explosive and permeating use of world-wide webs and Internet, subsequent emergence of the new areas of distributed applications, and the advent of the age of multicore processors (which contain parallel CPU units inside one core), placing concurrency and distribution at the heart of information processing. The complexity of concurrency and distribution makes it a must to make the best use of elucidations coming from theoretical and systems research, starting from the infrastructure/standards for document and message formats centring on XML to those for describing communications in business protocols to those for APIs and systems software.The workshop aims to deepen our understanding on the current directions and possibilities of the dialogue between research and practice in this new context, and seeks to find effective directions, sharing the vision for future.