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.

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.

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.

scholarly journals Business Process Improvement of Production Systems Using Coloured Petri Nets

2018 ◽  
Vol 7 (1) ◽  
pp. 102-112 ◽  
Author(s):  
Imam Mukhlash ◽  
Widya Nilam Rumana ◽  
Dieky Adzkiya ◽  
Riyanarto Sarno
Keyword(s):  
Petri Nets ◽  
Business Process ◽  
Business Performance ◽  
Business Processes ◽  
Production Systems ◽  
Coloured Petri Nets ◽  
Manufacturing Companies ◽  
Fundamental Factor ◽  
Bottleneck Analysis

The quality of information systems affects the company's business performance. Therefore, it is necessary to analyze business processes to determine any discrepancies between the planned business processes and the actual ones. Based on the results of this analysis, the business process can be improved. The fundamental factor of manufacturing companies is production process. In reality, there are many discrepancies between the actual business processes with the pre-planned, so that there should be analyzed. The analysis can be performed by modeling the business process using Coloured Petri Nets (CPN). In this study, the objectives are to determine the level of conformance checking of business processes, reachability graph and the bottleneck analysis. The results of the analysis are used to construct a recommended model. Based on the analysis of the case study, e.g. a steel industry in Indonesia, the recommended model has a better value than initial model.

Representation Type Preferences in Operational Business Process Redesign

2013 ◽  
pp. 126-149
Author(s):  
Ned Kock
Keyword(s):  
Business Process ◽  
Business Processes ◽  
The Other ◽  
Business Process Redesign ◽  
Process Redesign ◽  
Process Representation ◽  
New Business ◽  
Quasi Experimental ◽  
Communication Flow ◽  
Representation Types

This paper reports on a quasi-experimental field study in which business process redesign groups in four different US organizations used two different business process representation types. One of the representation types emphasized an activity flow (or workflow) view of business processes, which appears to currently be the most prevalent in actual operational-level business process redesign projects; the other emphasized a communication flow view. The study suggests that, contrary to assumptions likely underlying most of the current business process redesign practice, communication flow-oriented representations of business processes are perceived by those involved in their redesign as significantly more useful in the following aspects than activity flow-oriented representations: identification of opportunities for process improvement, application of process redesign guidelines, visualization of process changes, and development of generic information technology solutions to implement new business processes. Important implications for managers and researchers stemming from these results are discussed.

Reengineering a Green Business

2013 ◽  
pp. 1-11
Author(s):  
Yi-Chen Lan
Keyword(s):  
Business Process ◽  
Performance Monitoring ◽  
Business Processes ◽  
Life Cycles ◽  
Future Research ◽  
Environmentally Sustainable ◽  
Process Characteristics ◽  
Sustainable Operation ◽  
Green Business ◽  
Corporate Social

A green environment is a social as well as business issue. Business enterprises, as a large part of the global community, are obliged to make endeavours toward an environmentally sustainable operation that reflects their corporate social responsibility. One of the effective approaches of making business operations more environmental friendly is to undertake business process reengineering with the strategic focus on green perspective. This paper discusses the reengineering of a green business from its process viewpoint. This reengineering of business processes is undertaken in the context of five areas of green business characteristics (necessary, effective, efficient, agile, and measureable) and their corresponding life cycles. This analysis paves the path for an in-depth research agenda for developing and operating green business processes in organizations. The framework is explained with five key phases namely, 1) examining business processes with green process characteristics, 2) integrating business processes with the environmental standards, 3) green business process redesign, 4) training programs development and change management, and 5) performance monitoring and process improvement. The paper concludes with a suggestion of the framework validation and future research directions.

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.

Sign in / Sign up

Export Citation Format

Share Document