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

业务流程和软件标准研讨会：理论和基础设施基础。

• 批准号: EP/F029799/1
• 负责人: Kohei Honda
• 金额: $ 3.4万
• 依托单位: Queen Mary University of London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2007
• 资助国家: 英国
• 起止时间: 2007 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FF029799%2F1
• 关键词: Workshop; Business; Processes; Software; Standard

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.

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