Business Process Standards – Current Landscape (Landkarte aktueller Standards zur Beschreibung von Geschäftsprozessen: WS-BPEL, BPEL4People, BPEL-SPE, BPELJ, SCA)

2008 ◽  
Vol 50 (2) ◽  
Author(s):  
Matthias Kloppmann ◽  
Dieter König ◽  
Gerhard Pfau
Keyword(s):  
Life Cycle ◽  
Business Process ◽  
Business Processes ◽  
Business Process Execution Language ◽  
Service Component ◽  
Human Interactions ◽  
Service Component Architecture ◽  
Component Architecture ◽  
Business Process Execution ◽  
The Web

SummaryThe landscape of current specifications for the description of business processes consists of the Web Services Business Process Execution Language (WS-BPEL) as an adopted standard, and a number of functional extensions allowing for human interactions (BPEL4People), sub-processes with life-cycle coupling (BPEL-SPE), and Java integration (BPELJ). Also relevant for the assembly of portable, executable applications is the Service Component Architecture (SCA) which provides a model for service-based components complementing WS-BPEL. This paper provides an overview of the current business process standards landscape and its further evolution.

The Dichotomy of Modeling and Execution

2011 ◽  
pp. 70-91 ◽  
Author(s):  
Matthias Kloppmann ◽  
Dieter Koenig ◽  
Simon Moser
Keyword(s):  
Business Process ◽  
Process Modeling ◽  
Process Management ◽  
Business Processes ◽  
Graphical Modeling ◽  
Service Component Architecture ◽  
Component Architecture ◽  
Business Process Execution ◽  
Business Process Modeling Notation ◽  
User Tasks

This chapter introduces a set of languages intended to model and run business processes. The Business Process Modeling Notation 1.1 (BPMN) is a notation used to graphically depict business processes. BPMN is able to express choreographies, i.e. the cooperation of separate, autonomous business processes to jointly achieve a larger scenario. Since BPMN is only a notation, there is no specification for a meta-model that allows rendering BPMN choreographies into an executable form. This chapter describes how the Service Component Architecture (SCA) and the Web Services Business Process Execution Language (WS-BPEL) help to close that gap. BPMN, SCA and WS-BPEL can jointly be used and combined to model, deploy and execute business process choreographies. We will also integrate the related BPEL4People specification, since BPMN allows human ‘user tasks’, but WS-BPEL focuses only on automated business process. The authors argue that, based on these specifications, the dichotomy between modeling and execution can be addressed efficiently. In this chapter, we will show that a key aspect of the future of Business Process Management is to combine graphical modeling (via BPMN) with a precise specification of an executable business process (via WS-BPEL and related standards).

Specifying Business-Level Protocols for Web Services Based Collaborative Processes

2013 ◽  
pp. 137-154
Author(s):  
W. L. Yeung
Keyword(s):  
Web Services ◽  
Web Service ◽  
Business Process ◽  
Specification Languages ◽  
Business Process Execution Language ◽  
Negotiation Protocol ◽  
Collaborative Processes ◽  
Process Specification ◽  
Business Process Execution ◽  
The Web

Business collaboration is increasingly conducted over the Internet. Trading parties require business-level protocols for enabling their collaborative processes and a number of standardised languages, and approaches have been proposed for specifying business-level protocols. To illustrate the specification of web services based collaborative processes, three inter-related specification languages, namely, the ebXML Business Process Specification Schema (BPSS), the Web Service Business Process Execution Language (WSBPEL), and the Web Services Conversations Language (WSCL) are discussed in this chapter. A contract negotiation protocol is used as an example to illustrate the concepts involved in the specification. The chapter also discusses different strategies for deploying these specification languages.

Verifiable Model Construction for Business Processes

2021 ◽  
Vol 31 (07) ◽  
pp. 1017-1042
Author(s):  
Shunhui Ji ◽  
Liming Hu ◽  
Yihan Cao ◽  
Pengcheng Zhang ◽  
Jerry Gao
Keyword(s):  
Business Process ◽  
Business Processes ◽  
Control Flow ◽  
Service Description ◽  
Data Types ◽  
Input Language ◽  
Business Process Execution Language ◽  
Composite Service ◽  
Business Process Execution

Business process specified in Business Process Execution Language (BPEL), which integrates existing services to develop composite service for offering more complicated function, is error-prone. Verification and testing are necessary to ensure the correctness of business processes. SPIN, for which the input language is PROcess MEta-LAnguage (Promela), is one of the most popular tools for detecting software defects and can be used both in verification and testing. In this paper, an automatic approach is proposed to construct the verifiable model for BPEL-based business process with Promela language. Business process is translated to an intermediate two-level representation, in which eXtended Control Flow Graph (XCFG) describes the behavior of BPEL process in the first level and Web Service Description Models (WSDM) depict the interface information of composite service and partner services in the second level. With XCFG of BPEL process, XCFGs for partner services are generated to describe their behavior. Promela model is constructed by defining data types based on WSDM and defining channels, variables and processes based on XCFGs. The constructed Promela model is closed, containing not only the BPEL process but also its execution environment. Case study shows that the proposed approach is effective.

Making the Business Process Execution Language (BPEL) Flexible

2010 ◽  
pp. 1-20
Author(s):  
Daniela Wolff ◽  
Nishant Singh
Keyword(s):  
Business Process ◽  
Process Modeling ◽  
Business Processes ◽  
Semantic Technologies ◽  
Business Process Execution Language ◽  
Limited Degree ◽  
Process Execution ◽  
Business Process Execution ◽  
Knowledge Intensive ◽  
Execution Order

The Business Process Execution Language (BPEL) is a process modeling language which uses standard control constructs to define a workflow. But, today‘s enterprises need to be agile to cope with increasing change, uncertainty and unpredictability. Therefore, automating agile business processes is still a challenge as they are normally knowledge intensive and can be planned to a limited degree. The execution order depends heavily on the case, which has to be performed. So instead of modeling all possible cases and situations which might occur in a knowledge intensive process we introduced an approach which uses semantic technologies and rules. Business rules can be utilized to allow for case-specific adaptation of process steps. A component was developed which allow during run-time rules to automatically detect the state of the case and to determine the necessary process adaptations.

Dot Net and J2EE for Web Services

2011 ◽  
pp. 223-227
Author(s):  
Andrew Chen
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
Business Process ◽  
Business Processes ◽  
Future Research ◽  
Semantic Matching ◽  
Business Applications ◽  
Good Review ◽  
Business Process Execution ◽  
The Web

The capabilities of Internet technologies continue to evolve as businesses learn and implement more sophisticated e-business applications in order to adapt to dynamic environments. Web services are an industry-wide response to the need for a more flexible and efficient business collaboration environment. Supported by major institutions and industry leaders, Web services have become the promising method for making e-business information and applications programmatically available via the Internet. Web services are self-contained, modular business applications that have open, Internet-oriented, and standards-based interfaces. Chen, Chen, and Shao (2003) provide a good review of the implications and impacts of Web services to electronic-commerce research and practices. In order for the Web-services idea to become a working reality, there must be a common agreement on how they will work. Web services rely on a set of standards to support interoperability among applications developed in different languages and running on different platforms or operating systems. Core Web-services standards include SOAP (simple object access protocol), WSDL (Web services description language), and UDDI (universal description, discovery, and integration). The basic idea of Web services is the use of the SOAP messaging protocol to invoke software methods in remote systems. A WSDL file contains service definitions for distributed systems to support the automatic creation of client-side links and the binding to the Web services. UDDI is a registry standard for Web-services providers to publish their Web services. It then can be used by a Web-services consumer to discover (search) Web services developed by Web-services providers. The grand vision of Web-services-oriented architecture is that Web services can be composed and invoked dynamically to support business processes within and across enterprises. A number of new standards have been introduced to address this Web-services composition issue, including BPEL4WS (business process execution language for Web services), WSCI (Web services choreography interface), and BPML (business process modeling language; Arkin, 2002; Arkin et al., 2002). Semantic matching and Semantic Web are other developments that enable greater access to services on the Web (Berners-Lee, Hendler, & Lassila, 2001; McIlraith, Son, & Zeng, 2001). The purposes for the development of an ontology of services, DAML-S (DAML Services Coalition, 2003) under the DARPA agent markup language (DAML) program, are closely related to various Web-services standards. There are very limited interactions between Web-services standards and semantic-Web research. Adding ontology support to UDDI to facilitate Web-services search is a promising direction for future research.

A New Business Process Verification Approach for E-Commerce Using Petri Nets

2020 ◽  
Vol 16 (1) ◽  
pp. 92-107
Author(s):  
Mei Zhang ◽  
Fei Feng ◽  
Zhilong Zhang ◽  
Jinghua Wen
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Business Processes ◽  
Formal Method ◽  
Business Process Execution Language ◽  
Process Verification ◽  
Process Characteristics ◽  
New Business ◽  
Business Process Execution ◽  
Logic System

The design, modeling, optimization, reengineering, and coupling of business processes in e-commerce environment have gradually become a hot research topic. Business processes must be strictly described and validated by formal methods to ensure their reliability and efficiency. This paper systematically studies the introduction of new business process characteristics into behavioral temporal logic and extend TLA to obtain a new logic system PTLA, which enriches the theoretical system of formal method of business process under the environment of e-commerce. The paper also discusses Petri nets and show how to convert Petri nets into TLA. A parallel Petri net model was built to represent the dynamic, concurrency and flexibility, and cross-organizational e-commerce business process. Finally, the use of simulation to extend the business process execution language BPEL to TLA.

scholarly journals Performance Evaluation of BPEL4People Specifications Integrate Human Interactions Into Business Process

2010 ◽  
Author(s):  
Henrique Jorge Holanda ◽  
José Javier Merseguer ◽  
Giovanni Cordeiro Barroso ◽  
A. B. Serra
Keyword(s):  
Human Activity ◽  
Business Process ◽  
Petri Net ◽  
Stochastic Petri Nets ◽  
Business Process Execution Language ◽  
Performance Verification ◽  
Human Interactions ◽  
Model Method ◽  
Generalized Stochastic Petri Nets ◽  
Business Process Execution

WS-BPEL Extension for People (BPEL4People) introduces human activity to Web Services Business Process Execution Language (WS-BPEL/BPEL). Some works have been done on the performance verification of WS-BPEL, but there aren't works on the performance verification of WS-BPEL4People. In this paper, we propose a model method for the transformation of WS-BPEL4People/BPEL4People into Generalized Stochastic Petri Nets (GSPN) and this way evaluate its performance. During the transformation, Petri Net is used to model BPEL activities and the human activity of a human task. Then, by validating the generated model, some potential problems with performance of WS-BPEL4People can be detected.

Formal Verification of WS-BPEL Using Timed Trace Theory

2014 ◽  
Vol 931-932 ◽  
pp. 1452-1456 ◽  
Author(s):  
Wutthipong Kongburan ◽  
Denduang Pradubsuwun
Keyword(s):  
Formal Verification ◽  
Web Service ◽  
Service Composition ◽  
Business Processes ◽  
Web Service Composition ◽  
Business Process Execution Language ◽  
Trace Theory ◽  
Business Process Execution ◽  
Reservation System ◽  
The Web

A web service composition is able to create a new service by incorporating some existing web services. Currently, Web Service Business Process Execution Language or WS-BPEL is a promising language used to describe the web service composition. Since in the real world most of business processes have been involved temporal context and they are quite complex interaction, it is impossible to completely eliminate all failures in them. Therefore, a formal verification is required to assure the correctness and reliability of the web service composition. In this paper, timed trace theory has been applied to verify the web service composition with temporal constraints. Both safety and timing failures can be examined. Experimenting with a ticket reservation system, the proposed approach shows its effectiveness.

Sign in / Sign up

Export Citation Format

Share Document