SoD-TEAM: Tools and Techniques for On-the-Fly Design of Business Process Integration

计算机与信息科学与工程理事会（CISE）计算机与网络系统（CNS）设计科学（SoD）项目提案号：0613998 P/I：苏建文皮系：计算机科学机构：加州大学圣巴巴拉分校奖励：20万美元头衔：“SoD- team”：“这个项目的重点是开发一个正式的框架和工具集合，帮助设计（或重新设计）和管理业务流程和业务流程集成（BPI），即企业内部和企业之间的流程和人员。在软件工程领域内，目标是减少开发时间，并在企业软件中产生更高质量的代码，这些代码由于不断变化的业务需求和管理计划而不断发展。该项目建立并补充了过去十年中开发的工具和技术，例如：面向服务的体系结构（SOA）、模型驱动的体系结构（MDA）和相关标准（主要来自可扩展标记语言（XML）、web服务、统一建模语言（UML）和对象管理组（OMG）社区）。SOA和MDA范例主要关注业务流程和BPI环境的过程表示。这项研究的前提是，可以通过开发一个有针对性的声明性框架来指定业务流程和相关工件的属性，包括它们可能的行为和对环境的可能影响，从而为BPI增加价值。这种声明性方法可能产生的两个改进是：(1)精度，因为在许多情况下，过程规范，特别是在更高的抽象级别上，以微妙和不那么微妙的方式是模糊的；(2)灵活性，因为它将提供比过程方法更多种类的不完整规范。流程规范语言（Process Specification Language， PSL）是BPI声明性框架的基础，PSL是一种基于一阶逻辑的ISO标准，用于指定、分析和集成最初引入制造业的流程。支持这个项目的知识领域在很大程度上是项目团队成员前期研究的结果，包括PSL的设计和开发。所有四个研究合作者在开发Web服务（流）的first逻辑本体中发挥了核心作用，该本体构成了语义Web服务框架（SWSF）的一部分。FLOWS是PSL的正式扩展，它显式地将语义web服务的关键构建块合并到一个声明性框架中并使之公式化。流（以及它下面的PSL）为支持BPI设计的声明性框架的开发提供了一个起点。通过以面向服务范式的业务流程设计和管理为目标，该项目可以提高业务流程管理和集成的效率和生产力，并为SOA研究奠定基础，使其成为迈向服务科学的一步。项目经理：Anita J. La SalleDate: 2006年7月18日

Directorate for Computer and Information Science and Engineering (CISE)Division Computer and Network Systems (CNS)Science of Design (SoD) ProgramProposal Number: 0613998 P/I: Su, Jianwen PI's Department: Computer Science Institution: University of California - Santa Barbara Award: $ 200,000 Title: "SoD-TEAM: Tools and Techniques for On-the-fly Design of Business Process Integration"The focus of this project is on developing a formal framework and collection of tools that aid in the design (or re-design) and management of business processes and business process integration (BPI) - that is, processes and people that are within and between enterprises. Within the software engineering domain, the goal is to reduce development times and produce higher quality code in enterprise software that is continually evolving due to changing business needs and management initiatives. This project builds upon and compliments tools and technologies developed over the past decade such as: Services Oriented Architecture (SOA), Model Driven Architecture (MDA), and associated standards (primarily from the Extensible Markup Language (XML), web services, Unified Modeling Language (UML), and Object Management Group (OMG) communities). The SOA and MDA paradigms focus primarily on procedural representations of business processes and BPI environments. The premise of this research is that value can be added to BPI by developing a targeted declarative framework for specifying the properties of business processes and associated artifacts, including their possible behaviors and possible impacts on their environment. Two improvements that this declarative approach may produce are: (1) precision, because in many cases the procedural specifications, especially when at a higher level of abstraction, are ambiguous in subtle and not-so-subtle ways, and (2) flexibility, because it will afford many more kinds of incomplete specification than available from the procedural approaches. The foundation of the declarative framework for BPI is provided by the Process Specification Language (PSL), a first-order logic based ISO standard developed for specifying, analyzing, and integrating processes, initially introduced manufacturing. The domain of knowledge that supports this project is, to a large extent, the result of prior research by project team members including the design and development of PSL. All four research collaborators played a central role in the development of the Firstorder Logic Ontology for Web Services (FLOWS), which forms part of the Semantic Web Services Framework (SWSF). FLOWS is a formal extension of PSL, which explicitly incorporates and axiomatizes in a declarative framework the key building blocks of semantic web services. FLOWS (and PSL beneath it) provide a starting point for the development of a declarative framework for supporting BPI design. By targeting on the design and management of business processes with the service-oriented paradigm, this project may improve the efficiency and productivity of business process management and integration and lay a foundation for SOA research as a step towards service science. Program Manager: Anita J. La SalleDate: July 18, 2006